Meat - Sigma Knowledge base Browser

appearance as argument number 1

(disjoint Meat Beverage)	Food.kif 391-391	Meat is disjoint from beverage
(disjoint Meat FoodFromPlant)	Food.kif 292-292	Meat is disjoint from food from plant
(documentation Meat ChineseLanguage "这是任何来自 Animal 一部分的食物，一般不会通过饮用摄入体内，包括鸡蛋和以食物形式进食动物的血液。注：这个类别同时包括生肉和经过某些方法处理如煮过的肉。再注：涉及 Meat 和 FruitOrVegetable 的制作直接归类于 Food。")	chinese_format.kif 3485-3487	Meat is disjoint from food from plant
(documentation Meat EnglishLanguage "Any food which was originally part of an Animal and is not ingested by drinking, including eggs and animal blood that is eaten as food. Note that this class covers both raw meat and meat that has been prepared in some way, e.g. by cooking. Note too that preparations involving Meat and FruitOrVegetable are classed directly under Food.")	Merge.kif 14951-14956	Meat is disjoint from food from plant
(externalImage Meat "http://upload.wikimedia.org/wikipedia/commons/a/ae/ FoodMeat.jpg")	pictureList.kif 901-901	Meat is disjoint from food from plant
(subclass Meat AnimalSubstance)	Merge.kif 14950-14950	Meat is a subclass of animal substance
(subclass Meat Food)	Food.kif 291-291	Meat is a subclass of food

appearance as argument number 2

(subclass Beef Meat)	Mid-level-ontology.kif 21456-21456	Beef is a subclass of meat
(subclass ChickenMeat Meat)	Mid-level-ontology.kif 21461-21461	Chicken meat is a subclass of meat
(subclass CuredMeat Meat)	Food.kif 2126-2126	Cured meat is a subclass of meat
(subclass Egg Meat)	Merge.kif 15100-15100	Egg is a subclass of meat
(subclass GoatMeat Meat)	Food.kif 2588-2588	Goat meat is a subclass of meat
(subclass LambMeat Meat)	Economy.kif 5162-5162	Lamb meat is a subclass of meat
(subclass Mutton Meat)	Economy.kif 5167-5167	Mutton is a subclass of meat
(subclass Pork Meat)	Mid-level-ontology.kif 21463-21463	Pork is a subclass of meat
(subclass PoultryMeat Meat)	Food.kif 2028-2028	Poultry is a subclass of meat
(subclass Seafood Meat)	Food.kif 1921-1921	Seafood is a subclass of meat
(subclass Veal Meat)	Economy.kif 5180-5180	Veal is a subclass of meat
(subclass WaterBuffaloMeat Meat)	Economy.kif 5185-5185	Water buffalo meat is a subclass of meat
(termFormat ChineseLanguage Meat "meat")	chinese_format.kif 1013-1013	Water buffalo meat is a subclass of meat
(termFormat EnglishLanguage Meat "meat")	english_format.kif 1238-1238	Water buffalo meat is a subclass of meat
(termFormat FrenchLanguage Meat "viande")	french_format.kif 691-691	Water buffalo meat is a subclass of meat
(termFormat Hindi Meat "maansa")	terms-hindi.txt 222-222	Water buffalo meat is a subclass of meat
(termFormat ItalianLanguage Meat "Carne")	terms-it.txt 225-225	Water buffalo meat is a subclass of meat
(termFormat JapaneseLanguage Meat "肉")	japanese_format.kif 2374-2374	Water buffalo meat is a subclass of meat
(termFormat PortugueseLanguage Meat "Carne")	portuguese_format.kif 643-643	Water buffalo meat is a subclass of meat
(termFormat cb Meat "karne")	terms-cb.txt 227-227	Water buffalo meat is a subclass of meat
(termFormat cz Meat "meat")	terms-cz.txt 260-260	Water buffalo meat is a subclass of meat
(termFormat de Meat "Fleisch")	terms-de.txt 519-519	Water buffalo meat is a subclass of meat
(termFormat ro Meat "carne")	relations-ro.kif 712-712	Water buffalo meat is a subclass of meat
(termFormat tg Meat "karne")	terms-tg.txt 226-226	Water buffalo meat is a subclass of meat

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

(domainSubclass meatOfAnimal 1 Meat)

Mid-level-ontology.kif 21442-21442

The number 1 argument of meat of animal is a subclass of meat

antecedent

(=> (and (equal ?M (OrganicObjectFn ?A)) (subclass ?M Meat)) (subclass ?A Animal))	Economy.kif 5155-5160	If a kind of object is equal to Object made from a kind of organic object and a kind of object is a subclass of meat, then a kind of organic object is a subclass of animal
(=> (and (subclass ?S Mixture) (initialPart ?S Meat) (initialPart ?S FoodFromPlant) (initialPart ?S DrinkingWater)) (equal ?S SoupStock))	Food.kif 1633-1639	If a kind of object is a subclass of mixture and every a kind of object is initially part of a meat and every the kind of object is initially part of a food from plant and every the kind of object is initially part of a potable water, then the kind of object is equal to soup stock
(=> (instance ?M Meat) (exists (?DA ?AC) (and (instance ?DA (DeadFn ?AC)) (part ?M ?DA) (subclass ?AC Animal))))	Food.kif 1909-1915	If an object is an instance of meat, then there exist another object and a kind of organic object such that the other object is an instance of a dead a kind of organic object and the object is a part of the other object and the kind of organic object is a subclass of animal
(=> (instance ?MEAT Meat) (forall (?PART) (=> (part ?PART ?MEAT) (exists (?SUBPART ?TIME ?ANIMAL) (and (part ?SUBPART ?PART) (holdsDuring ?TIME (and (instance ?ANIMAL Animal) (part ?SUBPART ?ANIMAL))))))))	Merge.kif 14958-14969	If an object is an instance of meat, then for all another object if the other object is a part of the object, then there exist a third object, a time position and an entity such that the third object is a part of the other object and the entity is an instance of animal and the third object is a part of the entity holds during the time position

consequent

(=>
    (attribute ?F Vegetarian)
    (not
        (exists (?M)
            (and
                (instance ?M Meat)
                (part ?M ?F)))))

Food.kif 3523-3529

If vegetarian is an attribute of an object,
then there doesn't exist another object such that the other object is an instance of meat and the other object is a part of the object

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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

KB Term:			Term intersection

English Word: