Timber - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Timber

Timber(timber)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 5496-5497
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9478-9478
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5499-5499	Timber is internally related to botanical tree
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5500-5500	Timber is internally related to lumber
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5498-5498	Timber is internally related to organic object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31664-31664	roomTempState timber and solid
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5495-5495	Timber is a subclass of wood product

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 1779-1779	Timber is an industry product type of forestry and logging
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58106-58106
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58105-58105
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58104-58104

consequent

No TPTP formula. May not be expressible in strict first order.

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