|
|
   WoodyPlant
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9365-9367 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9364-9364 | WoodyPlant 是 开花植物 的 subclass |
| 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 9370-9370 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9368-9368 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9357-9357 | HerbaceousPlant 和 % 2 是 disjoint |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9478-9478 | 植物树 是 WoodyPlant 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6255-6255 | 灌木 是 WoodyPlant 的 subclass |
|
|
|