Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Wood
Wood

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 9390-9393
(externalImage Wood "http://upload.wikimedia.org/wikipedia/commons/5/54/ Board.agr.jpg") pictureList.kif 43-43
(relatedInternalConcept Wood WoodenArtifact) Economy.kif 5686-5686
(subclass Wood PlantSubstance) Mid-level-ontology.kif 9389-9389
(subclass Wood Tissue) Mid-level-ontology.kif 9388-9388

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


(termFormat ChineseLanguage Wood "木") domainEnglishFormat.kif 63406-63406
(termFormat ChineseTraditionalLanguage Wood "木") domainEnglishFormat.kif 63405-63405
(termFormat EnglishLanguage Wood "wood") domainEnglishFormat.kif 63404-63404

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


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

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
(=>
    (and
        (instance ?P WoodProduct)
        (part ?W ?P))
    (instance ?W Wood))
Economy.kif 5344-5348
(=>
    (and
        (instance ?SKI SnowSki)
        (material ?MAT ?SKI))
    (or
        (subclass ?MAT Metal)
        (subclass ?MAT Wood)
        (subclass ?MAT Plastic)))
Sports.kif 1042-1049
(=>
    (instance ?C Carpentry)
    (exists (?B ?W)
        (and
            (instance ?B Building)
            (instance ?W Wood)
            (part ?W ?B)
            (result ?C ?B))))
Mid-level-ontology.kif 21091-21098
(=>
    (instance ?C Cask)
    (material Wood ?C))
Food.kif 3580-3582
(=>
    (instance ?CH Charcoal)
    (exists (?C ?W)
        (and
            (instance ?C Combustion)
            (instance ?W Wood)
            (result ?C ?CH)
            (resource ?C ?W))))
Cars.kif 1681-1688
(=>
    (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 6132-6151
(=>
    (instance ?W WoodenArtifact)
    (material Wood ?W))
Economy.kif 5691-5693
(=>
    (instance ?X BotanicalTree)
    (material Wood ?X))
Mid-level-ontology.kif 9706-9708


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