| 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 5611-5612 | |
| (externalImage Timber "http://upload.wikimedia.org/wikipedia/commons/7/7f/ Cork_oak_trunk_section.jpg") | pictureList.kif 9477-9477 | |
| (relatedInternalConcept Timber BotanicalTree) | Economy.kif 5614-5614 | |
| (relatedInternalConcept Timber Lumber) | Economy.kif 5615-5615 | |
| (relatedInternalConcept Timber OrganicObject) | Economy.kif 5613-5613 | |
| (roomTempState Timber Solid) | Mid-level-ontology.kif 31929-31929 | |
| (subclass Timber WoodProduct) | Economy.kif 5610-5610 |
| appearance as argument number 2 |
|
|
| (industryProductType ForestryAndLogging Timber) | Economy.kif 1779-1779 | |
| (termFormat ChineseLanguage Timber "原木材") | domainEnglishFormat.kif 58145-58145 | |
| (termFormat ChineseTraditionalLanguage Timber "原木材") | domainEnglishFormat.kif 58144-58144 | |
| (termFormat EnglishLanguage Timber "timber") | domainEnglishFormat.kif 58143-58143 |
| 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 5617-5636 |
|
|
|