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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - WoodProduct

appearance as argument number 1

(documentation WoodProduct EnglishLanguage "Products made from Wood material.") Economy.kif 5227-5227
(externalImage WoodProduct " 6/ 63/ Drva.JPG") pictureList.kif 8805-8805
(externalImage WoodProduct " 7/ 71/ LightningVolt_Wood_Floor.jpg") pictureList.kif 9844-9844
(subclass WoodProduct ForestProduct) Economy.kif 5224-5224 WoodProductForestProductsubclass
(subclass WoodProduct OrganicCompound) Economy.kif 5225-5225 WoodProduct有机化合物subclass
(subclass WoodProduct PlantSubstance) Economy.kif 5226-5226 WoodProduct植物物质subclass

appearance as argument number 2

(subclass Hardwood WoodProduct) Economy.kif 5278-5278 HardwoodWoodProductsubclass
(subclass Lumber WoodProduct) Economy.kif 5532-5532 木料WoodProductsubclass
(subclass Softwood WoodProduct) Economy.kif 5405-5405 SoftwoodWoodProductsubclass
(subclass Timber WoodProduct) Economy.kif 5495-5495 原木材WoodProductsubclass
(subclass WoodenArtifact WoodProduct) Economy.kif 5572-5572 木制神器WoodProductsubclass
(termFormat EnglishLanguage WoodProduct "wood product") domainEnglishFormat.kif 65745-65745


        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W WoodProduct)
        (subclass ?S PlantStem))
    (exists (?T)
            (subclass ?T BotanicalTree)
            (initialPart ?S ?T))))
Economy.kif 5235-5244
        (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