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 5706-5707
(externalImage Timber "http://upload.wikimedia.org/wikipedia/commons/7/7f/ Cork_oak_trunk_section.jpg")	pictureList.kif 9477-9477
(relatedInternalConcept Timber BotanicalTree)	Economy.kif 5709-5709	Timber is internally related to botanical tree
(relatedInternalConcept Timber Lumber)	Economy.kif 5710-5710	Timber is internally related to lumber
(relatedInternalConcept Timber OrganicObject)	Economy.kif 5708-5708	Timber is internally related to organic object
(roomTempState Timber Solid)	Mid-level-ontology.kif 32787-32787	roomTempState timber and solid
(subclass Timber WoodProduct)	Economy.kif 5705-5705	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 58143-58143	Timber is an industry product type of forestry and logging
(termFormat ChineseTraditionalLanguage Timber "原木材")	domainEnglishFormat.kif 58142-58142	Timber is an industry product type of forestry and logging
(termFormat EnglishLanguage Timber "timber")	domainEnglishFormat.kif 58141-58141	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 5712-5731

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: