No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30573-30573 | Ferret e' uma sub-classe de Mamifero |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30574-30574 | Ferret e' uma sub-classe de DomesticAnimal |
![]() |