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


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