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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Wood

 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 9162-9165
(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 è interamente correlato a WoodenArtifact
(subclass Wood PlantSubstance) Mid-level-ontology.kif 9161-9161 Wood è una sottoclasse di PlantSubstance
(subclass Wood Tissue) Mid-level-ontology.kif 9160-9160 Wood è una sottoclasse di Tessuto

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


(termFormat ChineseLanguage Wood "木") domainEnglishFormat.kif 63381-63381
(termFormat ChineseTraditionalLanguage Wood "木") domainEnglishFormat.kif 63380-63380
(termFormat EnglishLanguage Wood "wood") domainEnglishFormat.kif 63379-63379

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


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

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 5229-5233
(=>
    (and
        (instance ?SKI SnowSki)
        (material ?MAT ?SKI))
    (or
        (subclass ?MAT Metal)
        (subclass ?MAT Wood)
        (subclass ?MAT Plastic)))		 Sports.kif 1041-1048
(=>
    (instance ?C Carpentry)
    (exists (?B ?W)
        (and
            (instance ?B Building)
            (instance ?W Wood)
            (part ?W ?B)
            (result ?C ?B))))		 Mid-level-ontology.kif 20791-20798
(=>
    (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 1680-1687
(=>
    (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
(=>
    (instance ?W WoodenArtifact)
    (material Wood ?W))		 Economy.kif 5576-5578
(=>
    (instance ?X BotanicalTree)
    (material Wood ?X))		 Mid-level-ontology.kif 9478-9480


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