Wood - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Wood EnglishLanguage "Tissue that comprises the inner trunk of BotanicalTrees. It is often used in constructing Buildings and other Artifacts. Wood is the principal substance making up a tree, and is distinguished from the bark, roots, flowers, seeds, fruit and leaves.")	Mid-level-ontology.kif 9381-9384
(externalImage Wood "http://upload.wikimedia.org/wikipedia/commons/5/54/ Board.agr.jpg")	pictureList.kif 43-43
(relatedInternalConcept Wood WoodenArtifact)	Economy.kif 5571-5571	Wood is internally related to wood artifact
(subclass Wood PlantSubstance)	Mid-level-ontology.kif 9380-9380	Wood is a subclass of plant substance
(subclass Wood Tissue)	Mid-level-ontology.kif 9379-9379	Wood is a subclass of tissue

appearance as argument number 2

(termFormat ChineseLanguage Wood "木")	domainEnglishFormat.kif 63429-63429
(termFormat ChineseTraditionalLanguage Wood "木")	domainEnglishFormat.kif 63428-63428
(termFormat EnglishLanguage Wood "wood")	domainEnglishFormat.kif 63427-63427

antecedent

(=>
    (instance ?X Wood)
    (exists (?CELL)
        (and
            (instance ?CELL Cellulose)
            (part ?CELL ?X))))

Mid-level-ontology.kif 9386-9391

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

(=> (and (instance ?ORG Organization) (attribute ?ORG WoodProductManufacturing)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (instance ?EV Manufacture) (or (instance ?THING Wood) (material Wood ?THING)) (patient ?EV ?THING) (member ?MEM2 ?ORG) (instance ?EV2 Selling) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING))))))	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
(=> (and (instance ?P WoodProduct) (part ?W ?P)) (instance ?W Wood))	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
(=> (and (instance ?SKI SnowSki) (material ?MAT ?SKI)) (or (subclass ?MAT Metal) (subclass ?MAT Wood) (subclass ?MAT Plastic)))	Sports.kif 1041-1048	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
(=> (instance ?C Carpentry) (exists (?B ?W) (and (instance ?B Building) (instance ?W Wood) (part ?W ?B) (result ?C ?B))))	Mid-level-ontology.kif 21050-21057	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
(=> (instance ?C Cask) (material Wood ?C))	Food.kif 3580-3582	If a corpuscular object is an instance of cask, then the corpuscular object is made of wood
(=> (instance ?CH Charcoal) (exists (?C ?W) (and (instance ?C Combustion) (instance ?W Wood) (result ?C ?CH) (resource ?C ?W))))	Cars.kif 1680-1687	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
(=> (instance ?PLANER Planer) (hasPurpose ?PLANER (exists (?CUT ?OBJ1 ?OBJ2 ?U ?H1 ?H2) (and (instance ?CUT Cutting) (instrument ?CUT ?PLANER) (resource ?CUT ?OBJ1) (instance ?OBJ1 Object) (material ?OBJ1 Wood) (result ?CUT ?OBJ2) (instance ?OBJ2 Object) (material Wood ?OBJ2) (attribute ?OBJ2 Flat) (instance ?U UnitOfLength) (height ?OBJ1 (MeasureFn ?H1 ?U)) (height ?OBJ2 (MeasureFn ?H2 ?U)) (greaterThan ?H1 ?H2)))))	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
(=> (instance ?W WoodenArtifact) (material Wood ?W))	Economy.kif 5576-5578	If a corpuscular object is an instance of wood artifact, then the corpuscular object is made of wood
(=> (instance ?X BotanicalTree) (material Wood ?X))	Mid-level-ontology.kif 9697-9699	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

KB Term:			Term intersection

English Word: