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 5838-5839
(externalImage Timber "http://upload.wikimedia.org/wikipedia/commons/7/7f/ Cork_oak_trunk_section.jpg")	pictureList.kif 9477-9477
(relatedInternalConcept Timber BotanicalTree)	Economy.kif 5841-5841	Timber is internally related to botanical tree
(relatedInternalConcept Timber Lumber)	Economy.kif 5842-5842	Timber is internally related to lumber
(relatedInternalConcept Timber OrganicObject)	Economy.kif 5840-5840	Timber is internally related to organic object
(roomTempState Timber Solid)	Mid-level-ontology.kif 33368-33368	room temperature state timber and solid
(subclass Timber WoodProduct)	Economy.kif 5837-5837	Timber is a subclass of wood product

appearance as argument number 2

(industryProductType ForestryAndLogging Timber)	Economy.kif 1904-1904	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 5844-5863

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: