Hardwood(hardwood) | ![]() | hardwood |
appearance as argument number 1 |
![]() |
(disjoint Hardwood Softwood) | Economy.kif 5621-5621 | Hardwood is disjoint from 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 5622-5623 | Hardwood is disjoint from softwood |
(partition Hardwood Softwood) | Economy.kif 5620-5620 | Hardwood is exhaustively partitioned into softwood |
(subclass Hardwood WoodProduct) | Economy.kif 5619-5619 | Hardwood is a subclass of wood product |
appearance as argument number 2 |
![]() |
antecedent |
![]() |
(=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W Hardwood) (subclass ?S PlantStem)) (modalAttribute (initialPart ?S DeciduousTree) Likely)) |
Economy.kif 5625-5632 |
|
![]() |
![]() |