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