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
(subclass FloweringPlant Plant) Merge.kif 14426-14426 FloweringPlant ist eine teilkategorie von Plant
(subclass HerbaceousPlant FloweringPlant) Mid-level-ontology.kif 9355-9355 HerbaceousPlant ist eine teilkategorie von FloweringPlant
(subclass WoodyPlant FloweringPlant) Mid-level-ontology.kif 9363-9363 WoodyPlant ist eine teilkategorie von FloweringPlant
(subclass Vine FloweringPlant) Geography.kif 6274-6274 Vine ist eine teilkategorie von FloweringPlant
(subclass Succulent FloweringPlant) Geography.kif 6281-6281 Succulent ist eine teilkategorie von FloweringPlant
(subclass Cactus FloweringPlant) Geography.kif 6295-6295 Cactus ist eine teilkategorie von FloweringPlant


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