No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7541-7541 |
AnimalTeam e' uma sub-classe de GroupOfAnimals |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7516-7516 |
Brood e' uma sub-classe de GroupOfAnimals |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26808-26808 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26807-26807 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26806-26806 |
|