SpruceWood(Spruce wood) |
appearance as argument number 1 |
![]() |
(documentation SpruceWood EnglishLanguage "SpruceWood is made from logs of Spruce trees.") | Economy.kif 5659-5659 | |
(subclass SpruceWood Softwood) | Economy.kif 5658-5658 | Spruce wood is a subclass of softwood |
appearance as argument number 2 |
![]() |
(relatedInternalConcept SpruceTree SpruceWood) | Geography.kif 6661-6661 | Spruce tree is internally related to Spruce wood |
(termFormat EnglishLanguage SpruceWood "Spruce wood") | domainEnglishFormat.kif 65555-65555 | Spruce tree is internally related to Spruce wood |
antecedent |
![]() |
(=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W SpruceWood) (subclass ?S PlantStem)) (initialPart ?S SpruceTree)) |
Economy.kif 5661-5666 |
|
![]() |
![]() |