Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Timber
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Timber WoodProduct) | Economy.kif 5845-5845 | Timber is a subclass of wood product |
| (documentation Timber EnglishLanguage "Timber are PlantStems of felled BotanicalTrees before they are cut and processed into Lumber.") | Economy.kif 5846-5847 | Timber is a subclass of wood product |
| (relatedInternalConcept Timber OrganicObject) | Economy.kif 5848-5848 | Timber is internally related to organic object |
| (relatedInternalConcept Timber BotanicalTree) | Economy.kif 5849-5849 | Timber is internally related to botanical tree |
| (relatedInternalConcept Timber Lumber) | Economy.kif 5850-5850 | Timber is internally related to lumber |
| (roomTempState Timber Solid) | Economy.kif 5851-5851 | room temperature state timber and solid |
| (subclass Timber ForestArtifact) | Society.kif 1382-1382 | Timber is a subclass of ForestArtifact |
| (externalImage Timber "http://upload.wikimedia.org/wikipedia/commons/7/7f/ Cork_oak_trunk_section.jpg") | pictureList.kif 9477-9477 | Timber is a subclass of ForestArtifact |
| appearance as argument number 2 |
|
|
| (industryProductType ForestryAndLogging Timber) | Economy.kif 1899-1899 | Timber is an industry product type of forestry and logging |
| (termFormat EnglishLanguage Timber "timber") | domainEnglishFormat.kif 58105-58105 | Timber is an industry product type of forestry and logging |
| (termFormat ChineseTraditionalLanguage Timber "原木材") | domainEnglishFormat.kif 58106-58106 | Timber is an industry product type of forestry and logging |
| (termFormat ChineseLanguage Timber "原木材") | domainEnglishFormat.kif 58107-58107 | Timber is an industry product type of forestry and logging |
| 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 5853-5872 | If X is an instance of felling, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of botanical tree (3) Y is a patient of X (4) Z is a result of X (5) Z is an instance of timber (6) equal Z (7) W (8) W is an instance of plant stem (9) W is a part of Y holds during the beginning of the time of existence of X (10) W is not a part of Y holds during the end of the time of existence of X |
|
