Sigma KB Term Intersection

(=> (instance ?M Meat) (exists (?DA ?AC) (and (instance ?DA (DeadFn ?AC)) (part ?M ?DA) (subclass ?AC Animal))))	Food.kif 1909-1915	例 Object and Meat Object OrganicObject 例 Object and 一個 dead OrganicObject 部分 Object and Object 子類 OrganicObject and Animal
(=> (and (equal ?M (OrganicObjectFn ?A)) (subclass ?M Meat)) (subclass ?A Animal))	Economy.kif 4945-4950	等於 Object and OrganicObjectFn OrganicObject 子類 Object and Meat 子類 OrganicObject and Animal
(=> (and (subclass ?S Mixture) (initialPart ?S Meat) (initialPart ?S FoodFromPlant) (initialPart ?S DrinkingWater)) (equal ?S SoupStock))	Food.kif 1633-1639	子類 Object and Mixture %每個 Object 是 Meat 的 initially part %每個 Object 是 FoodFromPlant 的 initially part %每個 Object 是飲用水的 initially part 等於 Object and 高湯
(subclass Meat AnimalSubstance)	Merge.kif 14876-14876	子類 Meat and 動物物質
(subclass Meat Food)	Food.kif 291-291	子類 Meat and Food
(subclass Beef Meat)	Mid-level-ontology.kif 20367-20367	子類牛肉 and Meat
(subclass ChickenMeat Meat)	Mid-level-ontology.kif 20372-20372	子類雞肉 and Meat
(subclass Pork Meat)	Mid-level-ontology.kif 20374-20374	子類豬肉 and Meat
(subclass Egg Meat)	Merge.kif 15026-15026	子類蛋 and Meat
(subclass Seafood Meat)	Food.kif 1921-1921	子類海鮮 and Meat
(subclass PoultryMeat Meat)	Food.kif 2028-2028	子類 PoultryMeat and Meat
(subclass CuredMeat Meat)	Food.kif 2126-2126	子類 CuredMeat and Meat
(subclass GoatMeat Meat)	Food.kif 2588-2588	子類 GoatMeat and Meat
(subclass LambMeat Meat)	Economy.kif 4952-4952	子類羔羊肉 and Meat
(subclass Mutton Meat)	Economy.kif 4957-4957	子類羊肉 and Meat
(subclass Veal Meat)	Economy.kif 4970-4970	子類小牛肉 and Meat
(subclass WaterBuffaloMeat Meat)	Economy.kif 4975-4975	子類水牛肉 and Meat

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