No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5445-5445 |
棉 是 植物解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9520-9520 |
花 是 植物解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15076-15076 |
水果或蔬菜 是 植物解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9599-9599 |
PlantAreole 是 植物解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9472-9472 |
植物分支 是 植物解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9467-9467 |
PlantLeaf 是 植物解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9499-9499 |
植物根 是 植物解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9575-9575 |
PlantSpinoseStructure 是 植物解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9532-9532 |
PlantStem 是 植物解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15071-15071 |
花粉 是 植物解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15059-15059 |
种子 是 植物解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15084-15084 |
孢子 是 植物解剖结构 的 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 |
|