No TPTP formula. May not be expressible in strict first order. | Economy.kif 4532-4543 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14404-14404 | 子類 FloweringPlant and Plant |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9356-9356 | 子類 HerbaceousPlant and FloweringPlant |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9364-9364 | 子類 WoodyPlant and FloweringPlant |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6274-6274 | 子類 Vine and FloweringPlant |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6281-6281 | 子類 Succulent and FloweringPlant |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6295-6295 | 子類 Cactus and FloweringPlant |