TreeView Knowledge Base Browser - Wood

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Wood

Sigma KEE - Wood

Wood(wood)

bentwood, knotty_pine, matchstick, matchwood, pine, sawdust, splint, white_pine, wood, wooden, xylem, yellow_pine

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9163-9166
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 43-43
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5571-5571	Wood is internally related to wood artifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9162-9162	Wood is a subclass of plant substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9161-9161	Wood is a subclass of tissue

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63381-63381
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63380-63380
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63379-63379

antecedent

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

Mid-level-ontology.kif 9168-9173

If an object is an instance of wood,
then there exists another object such that the other object is an instance of cellulose and the other object is a part of the object

consequent

No TPTP formula. May not be expressible in strict first order.	naics.kif 2563-2581	If a collection is an instance of organization and wood product manufacturing is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exist a corpuscular object, the process2 and the agent2 such that the agent is an instance of manufacture and the corpuscular object is an instance of wood or the corpuscular object is made of wood and the corpuscular object is a patient of the agent and the process2 is a member of the collection and the agent2 is an instance of selling and the process2 is an agent of the agent2 and the corpuscular object is a patient of the agent2
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
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1040-1047	If a corpuscular object is an instance of ski and the corpuscular object is made of a kind of substance, then a kind of substance is a subclass of metal or the kind of substance is a subclass of wood or the kind of substance is a subclass of plastic
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20792-20799	If a process is an instance of carpentry, then there exist an object and another object such that the object is an instance of building and the other object is an instance of wood and the other object is a part of the object and the object is a result of the process
No TPTP formula. May not be expressible in strict first order.	Food.kif 3580-3582	If a corpuscular object is an instance of cask, then the corpuscular object is made of wood
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1674-1681	If an entity is an instance of charcoal, then there exist a process and an object such that the process is an instance of burning and the object is an instance of wood and the entity is a result of the process and the object is a resource for the process
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6017-6036	If a physical is an instance of planer, then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity,, , a fifth entity and a sixth entity such that the entity is an instance of cutting and the physical is an instrument for the entity and the other entity is a resource for the entity and the other entity is an instance of object and wood is made of the other entity and the third entity is a result of the entity and the third entity is an instance of object and the third entity is made of wood and flat is an attribute of the third entity and the fourth entity is an instance of unit of length and the height of the other entity is the fifth entity the fourth entity(s) and the height of the third entity is the sixth entity the fourth entity(s) and the fifth entity is greater than the sixth entity
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5576-5578	If a corpuscular object is an instance of wood artifact, then the corpuscular object is made of wood
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9479-9481	If a corpuscular object is an instance of botanical tree, then the corpuscular object is made 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