|
|
   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 5496-5497 | |
| (externalImage Timber "http://upload.wikimedia.org/wikipedia/commons/7/7f/ Cork_oak_trunk_section.jpg") | pictureList.kif 9478-9478 | |
| (relatedInternalConcept Timber BotanicalTree) | Economy.kif 5499-5499 | Timber è interamente correlato a BotanicalTree |
| (relatedInternalConcept Timber Lumber) | Economy.kif 5500-5500 | Timber è interamente correlato a Lumber |
| (relatedInternalConcept Timber OrganicObject) | Economy.kif 5498-5498 | Timber è interamente correlato a Entit�Organica |
| (roomTempState Timber Solid) | Mid-level-ontology.kif 31696-31696 | roomTempState Timber and Solid |
| (subclass Timber WoodProduct) | Economy.kif 5495-5495 | Timber è una sottoclasse di WoodProduct |
| appearance as argument number 2 |
|
|
| (industryProductType ForestryAndLogging Timber) | Economy.kif 1779-1779 | industryProductType ForestryAndLogging and Timber |
| (termFormat ChineseLanguage Timber "原木材") | domainEnglishFormat.kif 58108-58108 | |
| (termFormat ChineseTraditionalLanguage Timber "原木材") | domainEnglishFormat.kif 58107-58107 | |
| (termFormat EnglishLanguage Timber "timber") | domainEnglishFormat.kif 58106-58106 |
| 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 5502-5521 |
|
|
|
|
