Timber![]() | ![]() |
appearance as argument number 1 |
![]() |
(documentation Timber EnglishLanguage "Timber are PlantStems of felled BotanicalTrees before they are cut and processed into Lumber.") | Economy.kif 5838-5839 | |
(externalImage Timber "http://upload.wikimedia.org/wikipedia/commons/7/7f/ Cork_oak_trunk_section.jpg") | pictureList.kif 9477-9477 | |
(relatedInternalConcept Timber BotanicalTree) | Economy.kif 5841-5841 | |
(relatedInternalConcept Timber Lumber) | Economy.kif 5842-5842 | |
(relatedInternalConcept Timber OrganicObject) | Economy.kif 5840-5840 | |
(roomTempState Timber Solid) | Mid-level-ontology.kif 33609-33609 | |
(subclass Timber WoodProduct) | Economy.kif 5837-5837 |
appearance as argument number 2 |
![]() |
(industryProductType ForestryAndLogging Timber) | Economy.kif 1904-1904 | |
(termFormat ChineseLanguage Timber "原木材") | domainEnglishFormat.kif 58114-58114 | |
(termFormat ChineseTraditionalLanguage Timber "原木材") | domainEnglishFormat.kif 58113-58113 | |
(termFormat EnglishLanguage Timber "timber") | domainEnglishFormat.kif 58112-58112 |
consequent |
![]() |
(=> (instance ?F Felling) (hasPurpose ?F (exists (?T ?TIMB ?S) (and (instance ?T BotanicalTree) (patient ?F ?T) (result ?F ?TIMB) (instance ?TIMB Timber) (equal ?TIMB ?S) (instance ?S PlantStem) (holdsDuring (BeginFn (WhenFn ?F)) (part ?S ?T)) (holdsDuring (EndFn (WhenFn ?F)) (not (part ?S ?T))))))) |
Economy.kif 5844-5863 |
![]() |
![]() |