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


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