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
-------------------------


(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 8769-8772
(externalImage Wood "http://upload.wikimedia.org/wikipedia/commons/5/54/ Board.agr.jpg") pictureList.kif 43-43
(relatedInternalConcept Wood WoodArtifact) Mid-level-ontology.kif 8781-8781 Wood is internally related to wood product
(subclass Wood PlantSubstance) Mid-level-ontology.kif 8768-8768 Wood is a subclass of plant substance
(subclass Wood Tissue) Mid-level-ontology.kif 8767-8767 Wood is a subclass of tissue

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage Wood "木") domainEnglishFormat.kif 63348-63348
(termFormat ChineseTraditionalLanguage Wood "木") domainEnglishFormat.kif 63347-63347
(termFormat EnglishLanguage Wood "wood") domainEnglishFormat.kif 63346-63346

antecedent
-------------------------


(=>
    (instance ?X Wood)
    (exists (?CELL)
        (and
            (instance ?CELL Cellulose)
            (part ?CELL ?X))))
Mid-level-ontology.kif 8774-8779

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 ?THING Wood))
                    (patient ?EV ?THING)
                    (member ?MEM2 ?ORG)
                    (instance ?EV2 Selling)
                    (agent ?EV2 ?MEM2)
                    (patient ?EV2 ?THING))))))
naics.kif 2563-2581
(=>
    (instance ?C Carpentry)
    (exists (?B)
        (and
            (instance ?B Building)
            (instance ?W Wood)
            (part ?W ?B)
            (result ?C ?B))))
Mid-level-ontology.kif 20133-20140
(=>
    (instance ?C Cask)
    (material Wood ?C))
Food.kif 993-995
(=>
    (instance ?CH Charcoal)
    (exists (?C ?W)
        (and
            (subclass ?C Combustion)
            (instance ?W Wood)
            (result ?C ?CH)
            (resource ?C ?W))))
Cars.kif 1674-1681
(=>
    (instance ?PLANER Planer)
    (hasPurpose ?PLANER
        (exists (?CUT ?OBJ1 ?OBJ2)
            (and
                (instance ?CUT Cutting)
                (instrument ?CUT ?PLANER)
                (resource ?CUT ?OBJ1)
                (instance ?OBJ1 Object)
                (material ?OBJ1 Wood)
                (result ?CUT ?OBJ2)
                (instance ?OBJ2 Object)
                (material ?OBJ2 Wood)
                (attribute ?OBJ2 Flat)
                (instance ?U UnitOfLength)
                (height ?OBJ1
                    (MeasureFn ?H1 ?U))
                (height ?OBJ2
                    (MeasureFn ?H2 ?U))
                (greaterThan ?H1 ?H2)))))
Economy.kif 5058-5077
(=>
    (instance ?SKI SnowSki)
    (exists (?MAT)
        (and
            (material ?SKI ?MAT)
            (or
                (instance ?MAT Metal)
                (instance ?MAT Wood)
                (instance ?MAT Plastic)))))
Sports.kif 967-975
(=>
    (instance ?W WoodArtifact)
    (material Wood ?W))
Mid-level-ontology.kif 8787-8789
(=>
    (instance ?X BotanicalTree)
    (material Wood ?X))
Mid-level-ontology.kif 9079-9081


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