Timber - Sigma Knowledge base Browser

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 is internally related to botanical tree
(relatedInternalConcept Timber Lumber)	Economy.kif 5500-5500	Timber is internally related to lumber
(relatedInternalConcept Timber OrganicObject)	Economy.kif 5498-5498	Timber is internally related to organic object
(roomTempState Timber Solid)	Mid-level-ontology.kif 31929-31929	roomTempState timber and solid
(subclass Timber WoodProduct)	Economy.kif 5495-5495	Timber is a subclass of wood product

appearance as argument number 2

(industryProductType ForestryAndLogging Timber)	Economy.kif 1779-1779	Timber is an industry product type of forestry and logging
(termFormat ChineseLanguage Timber "原木材")	domainEnglishFormat.kif 58150-58150	Timber is an industry product type of forestry and logging
(termFormat ChineseTraditionalLanguage Timber "原木材")	domainEnglishFormat.kif 58149-58149	Timber is an industry product type of forestry and logging
(termFormat EnglishLanguage Timber "timber")	domainEnglishFormat.kif 58148-58148	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 5502-5521

If a physical is an instance of felling,
then the physical has the purpose there exist an entity, the entityIMB and a third entity such that the entity is an instance of botanical tree and the entity is a patient of the physical and the entityIMB is a result of the physical and the entityIMB is an instance of timber and the entityIMB is equal to the third entity and the third entity is an instance of plant stem and the third entity is a part of the entity holds during the beginning of the time of existence of the physical and the third entity is not a part of the entity holds during the end of the time of existence of the physical

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: