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 14426-14426 | Plant florissante est une sous-classe de plante |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9355-9355 | HerbaceousPlant est une sous-classe de plant florissante |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9363-9363 | WoodyPlant 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. | 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 6295-6295 | Cactus est une sous-classe de plant florissante |
![]() |