No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20081-20081 | DomesticCat e' uma sub-classe de DomesticAnimal |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20082-20082 | DomesticCat e' uma sub-classe de Felino |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20086-20086 | Kitten e' uma sub-classe de DomesticCat |
![]() |