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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MapleWood
MapleWood

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


(documentation MapleWood EnglishLanguage "MapleWood is made from logs of Maple trees.") Economy.kif 5451-5451
(subclass MapleWood Hardwood) Economy.kif 5450-5450

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


(relatedInternalConcept MapleTree MapleWood) Geography.kif 6504-6504
(termFormat EnglishLanguage MapleWood "maple wood") domainEnglishFormat.kif 65175-65175

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


(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W MapleWood)
        (subclass ?S PlantStem))
    (initialPart ?S MapleTree))
Economy.kif 5453-5458


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