| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4365-4372 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15029-15029 | 植物解剖结构 是 解剖结构 的 subclass |
| 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 9467-9467 | PlantLeaf 是 植物解剖结构 的 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 9499-9499 | 植物根 是 植物解剖结构 的 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. | Mid-level-ontology.kif 9532-9532 | PlantStem 是 植物解剖结构 的 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 9599-9599 | PlantAreole 是 植物解剖结构 的 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 15071-15071 | 花粉 是 植物解剖结构 的 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. | Merge.kif 15084-15084 | 孢子 是 植物解剖结构 的 subclass |
|
|