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

Formal Language: 



Term 1: Term 2:

(=>
    (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
(=>
    (and
        (equal ?C
            (OrganicObjectFn ?S))
        (subclass ?C CocoaBean)
        (subclass ?S Seed))
    (initialPart ?S CocoaTree))		 Economy.kif 4693-4699
(=>
    (and
        (equal ?B
            (OrganicObjectFn ?P))
        (subclass ?B CoffeeBean)
        (subclass ?P Seed))
    (initialPart ?P CoffeePlant))		 Economy.kif 4629-4634
(=>
    (and
        (subclass ?CLASS Seed)
        (equal ?CLASS Clover))
    (initialPart ?CLASS CloverPlant))		 Economy.kif 4839-4843
(subclass Seed ReproductiveBody) Merge.kif 15036-15036 Seed は 生殖体 の subclass では %n
(subclass Seed PlantAnatomicalStructure) Merge.kif 15037-15037 Seed は PlantAnatomicalStructure の subclass では %n
(subclass Sesame Seed) Food.kif 3391-3391 Sesame は Seed の subclass では %n
(subclass CerealGrain Seed) Economy.kif 4026-4026 CerealGrain は Seed の subclass では %n
(subclass Pea Seed) Economy.kif 4112-4112 Pea は Seed の subclass では %n
(subclass NorfolkIslandPineSeed Seed) Economy.kif 4497-4497 NorfolkIslandPineSeed は Seed の subclass では %n
(subclass KentiaPalmSeed Seed) Economy.kif 4500-4500 KentiaPalmSeed は Seed の subclass では %n
(subclass SunflowerSeed Seed) Economy.kif 4503-4503 SunflowerSeed は Seed の subclass では %n
(subclass Oilseed Seed) Economy.kif 4509-4509 Oilseed は Seed の subclass では %n
(subclass CoffeeBean Seed) Economy.kif 4624-4624 CoffeeBean は Seed の subclass では %n
(subclass CocoaBean Seed) Economy.kif 4686-4686 CocoaBean は Seed の 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