| Hardwood | |
| appearance as argument number 1 |
|
|
| (disjoint Hardwood Softwood) | Economy.kif 5280-5280 | 不相交的 Hardwood and Softwood |
| (documentation Hardwood EnglishLanguage "Hardwood comes from the stems or tree trunks of dicot trees. In temperate and boreal latitudes, they are mostly DeciduousTrees.") | Economy.kif 5281-5282 | |
| (partition Hardwood Softwood) | Economy.kif 5279-5279 | 劃分 Hardwood and Softwood |
| (subclass Hardwood WoodProduct) | Economy.kif 5278-5278 | 子類 Hardwood and WoodProduct |
| appearance as argument number 2 |
|
|
| (subclass BalsaWood Hardwood) | Economy.kif 5293-5293 | 子類 BalsaWood and Hardwood |
| (subclass BeechWood Hardwood) | Economy.kif 5303-5303 | 子類 BeechWood and Hardwood |
| (subclass BirchWood Hardwood) | Economy.kif 5313-5313 | 子類 BirchWood and Hardwood |
| (subclass CherryWood Hardwood) | Economy.kif 5323-5323 | 子類 CherryWood and Hardwood |
| (subclass MapleWood Hardwood) | Economy.kif 5335-5335 | 子類 MapleWood and Hardwood |
| (subclass OkoumeWood Hardwood) | Economy.kif 5345-5345 | 子類 OkoumeWood and Hardwood |
| (subclass PoplarWood Hardwood) | Economy.kif 5355-5355 | 子類 PoplarWood and Hardwood |
| (subclass RedOakWood Hardwood) | Economy.kif 5365-5365 | 子類 RedOakWood and Hardwood |
| (subclass SapeleWood Hardwood) | Economy.kif 5375-5375 | 子類 SapeleWood and Hardwood |
| (subclass WalnutWood Hardwood) | Economy.kif 5385-5385 | 子類 WalnutWood and Hardwood |
| (subclass WhiteOakWood Hardwood) | Economy.kif 5395-5395 | 子類 WhiteOakWood and Hardwood |
| (termFormat EnglishLanguage Hardwood "hardwood") | domainEnglishFormat.kif 64967-64967 |
| antecedent |
|
|
| (=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W Hardwood) (subclass ?S PlantStem)) (modalAttribute (initialPart ?S DeciduousTree) Likely)) |
Economy.kif 5284-5291 |
|
|
|
|