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	Wenn Object ist ein fall von Meat %n{nicht}, dann es gibt Object und OrganicObject um Object ist ein fall von DeadFn OrganicObject %n{nicht} und Object ist ein teil von Object %n{nicht} und OrganicObject ist eine teilkategorie von Animal
(=> (and (equal ?M (OrganicObjectFn ?A)) (subclass ?M Meat)) (subclass ?A Animal))	Economy.kif 4945-4950	Wenn Object ist gleich OrganicObjectFn OrganicObject %n{nicht} und Object ist eine teilkategorie von Meat, dann OrganicObject ist eine teilkategorie von Animal
(=> (and (subclass ?S Mixture) (initialPart ?S Meat) (initialPart ?S FoodFromPlant) (initialPart ?S DrinkingWater)) (equal ?S SoupStock))	Food.kif 1633-1639	Wenn Object ist eine teilkategorie von Mixture und initialPart Object and Meat und initialPart Object and FoodFromPlant und initialPart Object and DrinkingWater, dann Object ist gleich SoupStock %n{nicht}
(subclass Meat AnimalSubstance)	Merge.kif 14876-14876	Meat ist eine teilkategorie von AnimalSubstance
(subclass Meat Food)	Food.kif 291-291	Meat ist eine teilkategorie von Food
(subclass Beef Meat)	Mid-level-ontology.kif 20367-20367	Beef ist eine teilkategorie von Meat
(subclass ChickenMeat Meat)	Mid-level-ontology.kif 20372-20372	ChickenMeat ist eine teilkategorie von Meat
(subclass Pork Meat)	Mid-level-ontology.kif 20374-20374	Pork ist eine teilkategorie von Meat
(subclass Egg Meat)	Merge.kif 15026-15026	Egg ist eine teilkategorie von Meat
(subclass Seafood Meat)	Food.kif 1921-1921	Seafood ist eine teilkategorie von Meat
(subclass PoultryMeat Meat)	Food.kif 2028-2028	PoultryMeat ist eine teilkategorie von Meat
(subclass CuredMeat Meat)	Food.kif 2126-2126	CuredMeat ist eine teilkategorie von Meat
(subclass GoatMeat Meat)	Food.kif 2588-2588	GoatMeat ist eine teilkategorie von Meat
(subclass LambMeat Meat)	Economy.kif 4952-4952	LambMeat ist eine teilkategorie von Meat
(subclass Mutton Meat)	Economy.kif 4957-4957	Mutton ist eine teilkategorie von Meat
(subclass Veal Meat)	Economy.kif 4970-4970	Veal ist eine teilkategorie von Meat
(subclass WaterBuffaloMeat Meat)	Economy.kif 4975-4975	WaterBuffaloMeat ist eine teilkategorie von 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