| 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 15053-15053 | 植物解剖结构 是 解剖结构 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5440-5440 | 棉 是 植物解剖结构 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9495-9495 | 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 9527-9527 | 植物根 是 植物解剖结构 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9548-9548 | 花 是 植物解剖结构 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9560-9560 | PlantStem 是 植物解剖结构 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9603-9603 | PlantSpinoseStructure 是 植物解剖结构 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9627-9627 | PlantAreole 是 植物解剖结构 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15083-15083 | 种子 是 植物解剖结构 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15095-15095 | 花粉 是 植物解剖结构 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15100-15100 | 水果或蔬菜 是 植物解剖结构 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15108-15108 | 孢子 是 植物解剖结构 的 subclass |
|
|