| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7503-7503 | GroupOfAnimals est une sous-classe de groupe |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7516-7516 | Brood est une sous-classe de GroupOfAnimals |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7541-7541 | AnimalTeam est une sous-classe de GroupOfAnimals |
|
|