No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7476-7476 | Group of animals is a subclass of group |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7489-7489 | Brood is a subclass of group of animals |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7514-7514 | Animal team is a subclass of group of animals |