Hardwood
|
|
appearance as argument number 1 |
(disjoint Hardwood Softwood) | Economy.kif 5280-5280 | Hardwood è disgiunto da 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 è esaustivamente partizionato in Softwood |
(subclass Hardwood WoodProduct) | Economy.kif 5278-5278 | Hardwood è una sottoclasse di WoodProduct |
appearance as argument number 2 |
antecedent |
(=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W Hardwood) (subclass ?S PlantStem)) (modalAttribute (initialPart ?S DeciduousTree) Likely)) |
Economy.kif 5284-5291 |
|