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