|
|
   WoodyPlant
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9364-9366 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9363-9363 | WoodyPlant is a subclass of flowering plant |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9368-9368 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9369-9369 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9367-9367 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9356-9356 | HerbaceousPlant is disjoint from WoodyPlant |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9477-9477 | Botanical tree is a subclass of WoodyPlant |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6255-6255 | Shrub is a subclass of WoodyPlant |
|
|
|