No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30591-30591 |
Cheetah 有 VulnerableSpecies 的 attribute |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30398-30398 |
Lion 有 VulnerableSpecies 的 attribute |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30514-30514 |
Panda 有 VulnerableSpecies 的 attribute |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30549-30549 |
驯鹿 有 VulnerableSpecies 的 attribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 65719-65719 |
|