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

Formal Language: 



Term 1: Term 2:

(=>
    (and
        (subclass ?CLASS Fruit)
        (equal ?CLASS Eggplant))
    (initialPart ?CLASS EggplantPlant))		 Economy.kif 4277-4281
(=>
    (and
        (subclass ?CLASS Fruit)
        (equal ?CLASS Cucumber))
    (initialPart ?CLASS CucumberPlant))		 Economy.kif 4223-4227
(=>
    (and
        (equal ?O
            (OrganicObjectFn ?S))
        (subclass ?O OilFromPlant)
        (or
            (subclass ?S Seed)
            (subclass ?S Fruit)))
    (exists (?P)
        (and
            (subclass ?P FloweringPlant)
            (initialPart ?S ?P))))		 Economy.kif 4532-4543
(subclass Fruit FruitOrVegetable) Food.kif 2175-2175 Fruit は 果物または野菜 の subclass では %n
(subclass Apple Fruit) Food.kif 2179-2179 Apple は Fruit の subclass では %n
(subclass DateFruit Fruit) Food.kif 2188-2188 DateFruit は Fruit の subclass では %n
(subclass PearFruit Fruit) Food.kif 2193-2193 PearFruit は Fruit の subclass では %n
(subclass Berry Fruit) Food.kif 2198-2198 Berry は Fruit の subclass では %n
(subclass Avocado Fruit) Food.kif 2281-2281 Avocado は Fruit の subclass では %n
(subclass Tomato Fruit) Food.kif 2286-2286 Tomato は Fruit の subclass では %n
(subclass Grape Fruit) Food.kif 2288-2288 Grape は Fruit の subclass では %n
(subclass Melon Fruit) Food.kif 2290-2290 Melon は Fruit の subclass では %n
(subclass Olive Fruit) Food.kif 2294-2294 Olive は Fruit の subclass では %n
(subclass CitrusFruit Fruit) Food.kif 2325-2325 CitrusFruit は Fruit の subclass では %n
(subclass TropicalFruit Fruit) Food.kif 2364-2364 TropicalFruit は Fruit の subclass では %n
(subclass Peach Fruit) Food.kif 2758-2758 Peach は Fruit の subclass では %n
(subclass Strawberry Fruit) Food.kif 3481-3481 Strawberry は Fruit の subclass では %n
(subclass TamarindFruit Fruit) Food.kif 3487-3487 TamarindFruit は Fruit の subclass では %n
(subclass WineGrape Fruit) Economy.kif 4730-4730 WineGrape は Fruit の 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