| Hardwood | |
| appearance as argument number 1 |
|
|
| (disjoint Hardwood Softwood) | Economy.kif 5280-5280 | Hardwood e' disjunto de 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 | O conceito Hardwood e' completamente decomposto em Softwood |
| (subclass Hardwood WoodProduct) | Economy.kif 5278-5278 | Hardwood e' uma sub-classe de WoodProduct |
| appearance as argument number 2 |
|
|
| (subclass BalsaWood Hardwood) | Economy.kif 5293-5293 | BalsaWood e' uma sub-classe de Hardwood |
| (subclass BeechWood Hardwood) | Economy.kif 5303-5303 | BeechWood e' uma sub-classe de Hardwood |
| (subclass BirchWood Hardwood) | Economy.kif 5313-5313 | BirchWood e' uma sub-classe de Hardwood |
| (subclass CherryWood Hardwood) | Economy.kif 5323-5323 | CherryWood e' uma sub-classe de Hardwood |
| (subclass MapleWood Hardwood) | Economy.kif 5335-5335 | MapleWood e' uma sub-classe de Hardwood |
| (subclass OkoumeWood Hardwood) | Economy.kif 5345-5345 | OkoumeWood e' uma sub-classe de Hardwood |
| (subclass PoplarWood Hardwood) | Economy.kif 5355-5355 | PoplarWood e' uma sub-classe de Hardwood |
| (subclass RedOakWood Hardwood) | Economy.kif 5365-5365 | RedOakWood e' uma sub-classe de Hardwood |
| (subclass SapeleWood Hardwood) | Economy.kif 5375-5375 | SapeleWood e' uma sub-classe de Hardwood |
| (subclass WalnutWood Hardwood) | Economy.kif 5385-5385 | WalnutWood e' uma sub-classe de Hardwood |
| (subclass WhiteOakWood Hardwood) | Economy.kif 5395-5395 | WhiteOakWood e' uma sub-classe de 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 |
|
|
|
|