Deductions
- Boole family has quality class ⇐ (quality is a class), (Boole family has quality quality)
- Boole family has quality existence ⇐ (Boole family has quality occurrent), (occurrent has quality existence), (has quality is a transitive relation)
- Boole family has quality occurrent ⇐ (regulation of biological process is a occurrent), (Boole family has quality regulation of biological process)
- Boole family has quality spatio-temporal entity ⇐ (regulation of biological process is a spatio-temporal entity), (Boole family has quality regulation of biological process)
- Boole family has quality entity ⇐ (biological process is a entity), (Boole family has quality biological process)
- human social group is for example Boole family ⇐ (Boole family is a human social group), (is a is inverse of is for example)
- Boole family has quality topic ⇐ (Boole family is a human social group), (human social group has quality topic)
- Boole family has quality group behaviour ⇐ (Boole family is a human social group), (human social group has quality group behaviour)
- Boole family has quality regulation of biological process ⇐ (Boole family is a human social group), (human social group has quality regulation of biological process)
- Boole family has quality field of study ⇐ (Boole family is a human social group), (human social group has quality field of study)
- Boole family has quality social behavior ⇐ (Boole family is a human social group), (human social group has quality social behavior)
- Boole family has quality animal behavior ⇐ (Boole family is a human social group), (human social group has quality animal behavior)
- Boole family has quality biological process ⇐ (Boole family is a human social group), (human social group has quality biological process)
- Boole family has quality quality ⇐ (Boole family is a human social group), (human social group has quality quality)
- Boole family is a human social group ⇐ (family is subclass of human social group), (Boole family is a family)
- family is for example Boole family ⇐ (Boole family is a family), (is a is inverse of is for example)