Wood - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

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 10387-10390
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 5913-5913	Wood is internally related to wood artifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10386-10386	Wood is a subclass of plant substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10385-10385	Wood is a subclass of tissue

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63404-63404
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63403-63403
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63402-63402

antecedent

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

Mid-level-ontology.kif 10392-10397

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 5570-5574	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 1054-1061	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 10415-10438	If a real number pound force(s) is equal to The Janka Hardness of a kind of botanical tree is, then the statement 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 a kind of botanical tree and the other entity is a part of the entity and the other entity is an instance of wood and the third entity is an instance of pushing and the third entity ends up at the other entity and the fourth entity is an instance of ball and steel is made of the fourth entity and the fourth entity is a patient of the third entity and the radius of the fourth entity is 5.64 millimeter(s) and the fifth entity is a result of the third entity and the fifth entity is an instance of hole and the fifth entity is a part of the other entity and the sixth entity is a surface of the other entity and the distance between the sixth entity and the fifth entity is 5.64 millimeter(s) and the measure of the third entity is the real number pound force(s) has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22426-22433	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 3587-3589	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 1681-1688	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 6415-6434	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 5918-5920	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 10826-10828	If a corpuscular object is an instance of botanical tree, then the corpuscular object is made of wood

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