No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7475-7475 | GroupOfAnimals e' uma sub-classe de Grupo |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7488-7488 | Brood e' uma sub-classe de GroupOfAnimals |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7513-7513 | AnimalTeam e' uma sub-classe de GroupOfAnimals |
![]() |