|
|
   WoodyPlant
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9392-9394 | |
| 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. | Mid-level-ontology.kif 9396-9396 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9397-9397 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9395-9395 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9384-9384 | HerbaceousPlant est disjoint de WoodyPlant |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9505-9505 | BotanicalTree est une sous-classe de WoodyPlant |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6255-6255 | Shrub est une sous-classe de WoodyPlant |
|
|
|