No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5446-5446 |
棉 是 植物解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9521-9521 |
花 是 植物解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15054-15054 |
水果或蔬菜 是 植物解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9600-9600 |
PlantAreole 是 植物解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9473-9473 |
植物分支 是 植物解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9468-9468 |
PlantLeaf 是 植物解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9500-9500 |
植物根 是 植物解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9576-9576 |
PlantSpinoseStructure 是 植物解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9533-9533 |
PlantStem 是 植物解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15049-15049 |
花粉 是 植物解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15037-15037 |
种子 是 植物解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15062-15062 |
孢子 是 植物解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46110-46110 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46109-46109 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46108-46108 |
|