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

Formal Language: 



Term 1: Term 2:

(=>
    (equal ?P
        (PlantFn CashewNut))
    (subclass ?P BotanicalTree))		 Food.kif 2421-2423
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W WoodProduct)
        (subclass ?S PlantStem))
    (exists (?T)
        (and
            (subclass ?T BotanicalTree)
            (initialPart ?S ?T))))		 Economy.kif 5235-5244
(=>
    (equal ?P
        (PlantFn TamarindFruit))
    (subclass ?P BotanicalTree))		 Food.kif 3489-3491
(subclass BotanicalTree WoodyPlant) Mid-level-ontology.kif 9478-9478 BotanicalTree ist eine teilkategorie von WoodyPlant
(subclass DeciduousTree BotanicalTree) Geography.kif 6388-6388 DeciduousTree ist eine teilkategorie von BotanicalTree
(subclass EvergreenTree BotanicalTree) Geography.kif 6544-6544 EvergreenTree ist eine teilkategorie von BotanicalTree


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