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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WoodProduct
WoodProduct(wood product)

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


(documentation WoodProduct EnglishLanguage "Products made from Wood material.") Economy.kif 5227-5227
(externalImage WoodProduct "http://upload.wikimedia.org/wikipedia/commons/ 6/ 63/ Drva.JPG") pictureList.kif 8805-8805
(externalImage WoodProduct "http://upload.wikimedia.org/wikipedia/commons/ 7/ 71/ LightningVolt_Wood_Floor.jpg") pictureList.kif 9844-9844
(subclass WoodProduct ForestProduct) Economy.kif 5224-5224 Wood product is a subclass of forest product
(subclass WoodProduct OrganicCompound) Economy.kif 5225-5225 Wood product is a subclass of organic compound
(subclass WoodProduct PlantSubstance) Economy.kif 5226-5226 Wood product is a subclass of plant substance

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


(subclass Hardwood WoodProduct) Economy.kif 5278-5278 Hardwood is a subclass of wood product
(subclass Lumber WoodProduct) Economy.kif 5532-5532 Lumber is a subclass of wood product
(subclass Softwood WoodProduct) Economy.kif 5405-5405 Softwood is a subclass of wood product
(subclass Timber WoodProduct) Economy.kif 5495-5495 Timber is a subclass of wood product
(subclass WoodenArtifact WoodProduct) Economy.kif 5572-5572 Wood artifact is a subclass of wood product
(termFormat EnglishLanguage WoodProduct "wood product") domainEnglishFormat.kif 65747-65747

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


(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W WoodProduct)
        (subclass ?S PlantStem))
    (exists (?T)
        (and
            (subclass ?T BotanicalTree)
            (initialPart ?S ?T))))
Economy.kif 5235-5244
(=>
    (and
        (instance ?P WoodProduct)
        (part ?W ?P))
    (instance ?W Wood))
Economy.kif 5229-5233


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