Sigma KB Term Intersection

(=> (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	等於 Object and OrganicObjectFn Object 子類 Object and OilFromPlant 子類 Object and 種子子類 Object and 水果 Object 子類 Object and FloweringPlant %每個 Object 是 Object 的 initially part
(=> (and (equal ?C (OrganicObjectFn ?S)) (subclass ?C CocoaBean) (subclass ?S Seed)) (initialPart ?S CocoaTree))	Economy.kif 4693-4699	等於 Object and OrganicObjectFn Object 子類 Object and 可可豆子類 Object and 種子 %每個 Object 是可可樹的 initially part
(=> (and (equal ?B (OrganicObjectFn ?P)) (subclass ?B CoffeeBean) (subclass ?P Seed)) (initialPart ?P CoffeePlant))	Economy.kif 4629-4634	等於 Object and OrganicObjectFn Object 子類 Object and 咖啡豆子類 Object and 種子 %每個 Object 是 CoffeePlant 的 initially part
(=> (and (subclass ?CLASS Seed) (equal ?CLASS Clover)) (initialPart ?CLASS CloverPlant))	Economy.kif 4839-4843	子類 Object and 種子等於 Object and 苜 %每個 Object 是 CloverPlant 的 initially part
(subclass Seed ReproductiveBody)	Merge.kif 15036-15036	子類種子 and ReproductiveBody
(subclass Seed PlantAnatomicalStructure)	Merge.kif 15037-15037	子類種子 and 植物解剖結構
(subclass Sesame Seed)	Food.kif 3391-3391	子類芝麻 and 種子
(subclass CerealGrain Seed)	Economy.kif 4026-4026	子類穀物 and 種子
(subclass Pea Seed)	Economy.kif 4112-4112	子類豌豆 and 種子
(subclass NorfolkIslandPineSeed Seed)	Economy.kif 4497-4497	子類諾福克島松籽 and 種子
(subclass KentiaPalmSeed Seed)	Economy.kif 4500-4500	子類 kentia棕櫚種子 and 種子
(subclass SunflowerSeed Seed)	Economy.kif 4503-4503	子類葵花籽 and 種子
(subclass Oilseed Seed)	Economy.kif 4509-4509	子類油籽 and 種子
(subclass CoffeeBean Seed)	Economy.kif 4624-4624	子類咖啡豆 and 種子
(subclass CocoaBean Seed)	Economy.kif 4686-4686	子類可可豆 and 種子

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