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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WoodProduct
WoodProduct

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
(subclass WoodProduct OrganicCompound) Economy.kif 5225-5225
(subclass WoodProduct PlantSubstance) Economy.kif 5226-5226

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


(subclass Hardwood WoodProduct) Economy.kif 5278-5278
(subclass Lumber WoodProduct) Economy.kif 5532-5532
(subclass Softwood WoodProduct) Economy.kif 5405-5405
(subclass Timber WoodProduct) Economy.kif 5495-5495
(subclass WoodenArtifact WoodProduct) Economy.kif 5572-5572
(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