No TPTP formula. May not be expressible in strict first order. | Cars.kif 3374-3402 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 1909-1915 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 2876-2882 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4945-4950 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3516-3537 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14492-14492 | Animal e' uma sub-classe de Organismo |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4400-4400 | Biped e' uma sub-classe de Animal |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20044-20044 | DomesticAnimal e' uma sub-classe de Animal |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14546-14546 | Vertebrado e' uma sub-classe de Animal |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14549-14549 | Invertebrado e' uma sub-classe de Animal |