No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14431-14431 |
不相交的 NonFloweringPlant and FloweringPlant |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6295-6295 |
子類 Cactus and FloweringPlant |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9355-9355 |
子類 HerbaceousPlant 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 6274-6274 |
子類 Vine and FloweringPlant |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9363-9363 |
子類 WoodyPlant and FloweringPlant |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 966-966 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1139-1139 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 643-643 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 174-174 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 177-177 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2327-2327 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 595-595 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 211-211 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 664-664 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 178-178 |
|