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 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	Timber is internally related to botanical tree
(relatedInternalConcept Timber Lumber)	Economy.kif 5615-5615	Timber is internally related to lumber
(relatedInternalConcept Timber OrganicObject)	Economy.kif 5613-5613	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 5610-5610	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 58145-58145	Timber is an industry product type of forestry and logging
(termFormat ChineseTraditionalLanguage Timber "原木材")	domainEnglishFormat.kif 58144-58144	Timber is an industry product type of forestry and logging
(termFormat EnglishLanguage Timber "timber")	domainEnglishFormat.kif 58143-58143	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 5617-5636

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: