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

KB Term:  Term intersection
English Word: 

Sigma KEE - Wood
Wood

appearance as argument number 1
-------------------------


(subclass Wood Tissue) Mid-level-ontology.kif 10539-10539
(subclass Wood PlantSubstance) Mid-level-ontology.kif 10540-10540
(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 10541-10544
(relatedInternalConcept Wood WoodenArtifact) Economy.kif 5922-5922
(externalImage Wood "http://upload.wikimedia.org/wikipedia/commons/5/54/ Board.agr.jpg") pictureList.kif 43-43

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


(termFormat EnglishLanguage Wood "wood") domainEnglishFormat.kif 63382-63382
(termFormat ChineseTraditionalLanguage Wood "木") domainEnglishFormat.kif 63383-63383
(termFormat ChineseLanguage Wood "木") domainEnglishFormat.kif 63384-63384

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


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

consequent
-------------------------


(=>
    (equal
        (MeasureFn ?X PoundForce)
        (JankaHardnessFn ?CLASS))
    (modalAttribute
        (exists (?T ?W ?P ?B ?H ?S)
            (and
                (instance ?T ?CLASS)
                (part ?W ?T)
                (instance ?W Wood)
                (instance ?P Pushing)
                (destination ?P ?W)
                (instance ?B Ball)
                (material ?B Steel)
                (patient ?P ?B)
                (sphereRadius ?B
                    (MeasureFn 5.64 Millimeter))
                (result ?P ?H)
                (instance ?H HoleRegion)
                (part ?H ?W)
                (surface ?S ?W)
                (distance ?S ?H
                    (MeasureFn 5.64 Millimeter))
                (measure ?P
                    (MeasureFn ?X PoundForce)))) Likely))		 Mid-level-ontology.kif 10569-10592
(=>
    (instance ?X BotanicalTree)
    (material Wood ?X))		 Mid-level-ontology.kif 10970-10972
(=>
    (instance ?C Carpentry)
    (exists (?B ?W)
        (and
            (instance ?B Building)
            (instance ?W Wood)
            (part ?W ?B)
            (result ?C ?B))))		 Mid-level-ontology.kif 23034-23041
(=>
    (instance ?CH Charcoal)
    (exists (?C ?W)
        (and
            (instance ?C Combustion)
            (instance ?W Wood)
            (result ?C ?CH)
            (resource ?C ?W))))		 Cars.kif 1561-1568
(=>
    (and
        (instance ?P WoodProduct)
        (part ?W ?P))
    (instance ?W Wood))		 Economy.kif 5578-5582
(=>
    (instance ?W WoodenArtifact)
    (material Wood ?W))		 Economy.kif 5927-5929
(=>
    (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 6439-6458
(=>
    (instance ?C Cask)
    (material Wood ?C))		 Food.kif 3617-3619
(=>
    (and
        (instance ?SKI SnowSki)
        (material ?MAT ?SKI))
    (or
        (subclass ?MAT Metal)
        (subclass ?MAT Wood)
        (subclass ?MAT Plastic)))		 Sports.kif 1068-1075
(=>
    (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 2557-2575


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners