No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30591-30591 |
Cheetah tem um atributo de VulnerableSpecies |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30398-30398 |
Lion tem um atributo de VulnerableSpecies |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30514-30514 |
Panda tem um atributo de VulnerableSpecies |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30549-30549 |
Reindeer tem um atributo de VulnerableSpecies |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 65719-65719 |
|