No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30390-30398 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30402-30402 |
habitatOfOrganism Tiger and Asia |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30401-30401 |
Tiger tem um atributo de EndangeredSpecies |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30400-30400 |
Tiger e' uma sub-classe de Felino |