PineWood
|
|
appearance as argument number 1 |
(documentation PineWood EnglishLanguage "PineWood is made from logs of PineTrees.") | Economy.kif 5459-5459 | |
(subclass PineWood Softwood) | Economy.kif 5458-5458 | 子類 PineWood and Softwood |
appearance as argument number 2 |
(relatedInternalConcept PineTree PineWood) | Geography.kif 6560-6560 | 相關的內部概念 松樹 and PineWood |
antecedent |
(=> (and (equal ?W (OrganicObjectFn ?S)) (subclass ?W PineWood) (subclass ?S PlantStem)) (initialPart ?S PineTree)) |
Economy.kif 5461-5466 |