No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30426-30434 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30438-30438 |
habitatOfOrganism Tiger and Asia |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30437-30437 |
Tiger tem um atributo de EndangeredSpecies |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30436-30436 |
Tiger e' uma sub-classe de Felino |