Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W Hardwood)
        (subclass ?S PlantStem))
    (modalAttribute
        (initialPart ?S DeciduousTree) Likely))
Economy.kif 5284-5291
(subclass Hardwood WoodProduct) Economy.kif 5278-5278
(subclass BalsaWood Hardwood) Economy.kif 5293-5293
(subclass BeechWood Hardwood) Economy.kif 5303-5303
(subclass BirchWood Hardwood) Economy.kif 5313-5313
(subclass CherryWood Hardwood) Economy.kif 5323-5323
(subclass MapleWood Hardwood) Economy.kif 5335-5335
(subclass OkoumeWood Hardwood) Economy.kif 5345-5345
(subclass PoplarWood Hardwood) Economy.kif 5355-5355
(subclass RedOakWood Hardwood) Economy.kif 5365-5365
(subclass SapeleWood Hardwood) Economy.kif 5375-5375
(subclass WalnutWood Hardwood) Economy.kif 5385-5385
(subclass WhiteOakWood Hardwood) Economy.kif 5395-5395


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