TreeView Knowledge Base Browser - WoodProduct

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - WoodProduct

WoodProduct(wood product)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 5227-5227
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8805-8805
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9844-9844
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5224-5224	Wood product is a subclass of forest product
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5225-5225	Wood product is a subclass of organic compound
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5226-5226	Wood product is a subclass of plant substance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 5278-5278	Hardwood is a subclass of wood product
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5532-5532	Lumber is a subclass of wood product
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5405-5405	Softwood is a subclass of wood product
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5495-5495	Timber is a subclass of wood product
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5572-5572	Wood artifact is a subclass of wood product
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65745-65745

antecedent

No TPTP formula. May not be expressible in strict first order.	Economy.kif 5235-5244	If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of wood product and another kind of object is a subclass of plant stem, then there exists a third kind of object such that a third kind of object is a subclass of botanical tree and every the other kind of object is initially part of a the third kind of object
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5229-5233	If an object is an instance of wood product and another object is a part of the object, then the other object is an instance of wood

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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