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 Hardwood ist eine teilkategorie von WoodProduct
(subclass BalsaWood Hardwood) Economy.kif 5293-5293 BalsaWood ist eine teilkategorie von Hardwood
(subclass BeechWood Hardwood) Economy.kif 5303-5303 BeechWood ist eine teilkategorie von Hardwood
(subclass BirchWood Hardwood) Economy.kif 5313-5313 BirchWood ist eine teilkategorie von Hardwood
(subclass CherryWood Hardwood) Economy.kif 5323-5323 CherryWood ist eine teilkategorie von Hardwood
(subclass MapleWood Hardwood) Economy.kif 5335-5335 MapleWood ist eine teilkategorie von Hardwood
(subclass OkoumeWood Hardwood) Economy.kif 5345-5345 OkoumeWood ist eine teilkategorie von Hardwood
(subclass PoplarWood Hardwood) Economy.kif 5355-5355 PoplarWood ist eine teilkategorie von Hardwood
(subclass RedOakWood Hardwood) Economy.kif 5365-5365 RedOakWood ist eine teilkategorie von Hardwood
(subclass SapeleWood Hardwood) Economy.kif 5375-5375 SapeleWood ist eine teilkategorie von Hardwood
(subclass WalnutWood Hardwood) Economy.kif 5385-5385 WalnutWood ist eine teilkategorie von Hardwood
(subclass WhiteOakWood Hardwood) Economy.kif 5395-5395 WhiteOakWood ist eine teilkategorie von Hardwood


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