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 水果 是 水果或蔬菜 的 subclass
(subclass Apple Fruit) Food.kif 2179-2179 苹果 是 水果 的 subclass
(subclass DateFruit Fruit) Food.kif 2188-2188 日期水果 是 水果 的 subclass
(subclass PearFruit Fruit) Food.kif 2193-2193 梨果 是 水果 的 subclass
(subclass Berry Fruit) Food.kif 2198-2198 浆果 是 水果 的 subclass
(subclass Avocado Fruit) Food.kif 2281-2281 鳄梨 是 水果 的 subclass
(subclass Tomato Fruit) Food.kif 2286-2286 番茄 是 水果 的 subclass
(subclass Grape Fruit) Food.kif 2288-2288 葡萄 是 水果 的 subclass
(subclass Melon Fruit) Food.kif 2290-2290 瓜 是 水果 的 subclass
(subclass Olive Fruit) Food.kif 2294-2294 橄榄 是 水果 的 subclass
(subclass CitrusFruit Fruit) Food.kif 2325-2325 柑橘类水果 是 水果 的 subclass
(subclass TropicalFruit Fruit) Food.kif 2364-2364 热带水果 是 水果 的 subclass
(subclass Peach Fruit) Food.kif 2758-2758 Peach 是 水果 的 subclass
(subclass Strawberry Fruit) Food.kif 3481-3481 Strawberry 是 水果 的 subclass
(subclass TamarindFruit Fruit) Food.kif 3487-3487 TamarindFruit 是 水果 的 subclass
(subclass WineGrape Fruit) Economy.kif 4730-4730 酿酒葡萄 是 水果 的 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