Lumber - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Lumber

Lumber(lumber)

lumber, planking, post, stock, timber

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 5533-5534
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5532-5532	Lumber is a subclass of wood product

appearance as argument number 2

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 5558-5558	FinishedLumber is a subclass of lumber
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5544-5544	Rough sawn lumber is a subclass of lumber
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35285-35285
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35284-35284
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35283-35283

antecedent

No TPTP formula. May not be expressible in strict first order.	Economy.kif 5523-5530	If an entity is an instance of lumber, then there exist a process and another entity such that the process is an instance of cutting and the entity is a result of the process and the other entity is a patient of the process and the other entity is an instance of lumber
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5536-5542	If a physical is an instance of lumber, then the physical has the purpose there exists an entity such that the entity is an instance of carpentry and the physical is a patient of the entity

consequent

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

Economy.kif 5523-5530

If an entity is an instance of lumber,
then there exist a process and another entity such that the process is an instance of cutting and the entity is a result of the process and the other entity is a patient of the process and the other entity is an instance of lumber

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