No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14455-14455 |
Plante non florissante est disjoint de plant florissante |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6295-6295 |
Cactus est une sous-classe de plant florissante |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9383-9383 |
HerbaceousPlant est une sous-classe de plant florissante |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6281-6281 |
Succulent est une sous-classe de plant florissante |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6274-6274 |
Vine est une sous-classe de plant florissante |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9391-9391 |
WoodyPlant est une sous-classe de plant florissante |
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 |
|