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 8741-8744
(externalImage Wood "http://upload.wikimedia.org/wikipedia/commons/5/54/ Board.agr.jpg") pictureList.kif 43-43
(relatedInternalConcept Wood WoodArtifact) Mid-level-ontology.kif 8753-8753
(subclass Wood PlantSubstance) Mid-level-ontology.kif 8740-8740
(subclass Wood Tissue) Mid-level-ontology.kif 8739-8739

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

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 19964-19971
(=>
    (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 4903-4922
(=>
    (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 8759-8761
(=>
    (instance ?X BotanicalTree)
    (material Wood ?X))
Mid-level-ontology.kif 9051-9053


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