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 15015-15020	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 15014-15014	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 22001-22001	Beef is a subclass of meat
(subclass ChickenMeat Meat)	Mid-level-ontology.kif 22006-22006	Chicken meat is a subclass of meat
(subclass CuredMeat Meat)	Food.kif 2133-2133	Cured meat is a subclass of meat
(subclass Egg Meat)	Merge.kif 15164-15164	Egg is a subclass of meat
(subclass GoatMeat Meat)	Food.kif 2595-2595	Goat meat is a subclass of meat
(subclass LambMeat Meat)	Economy.kif 5292-5292	Lamb meat is a subclass of meat
(subclass Mutton Meat)	Economy.kif 5297-5297	Mutton is a subclass of meat
(subclass Pork Meat)	Mid-level-ontology.kif 22008-22008	Pork is a subclass of meat
(subclass PoultryMeat Meat)	Food.kif 2034-2034	Poultry is a subclass of meat
(subclass Seafood Meat)	Food.kif 1927-1927	Seafood is a subclass of meat
(subclass Veal Meat)	Economy.kif 5310-5310	Veal is a subclass of meat
(subclass WaterBuffaloMeat Meat)	Economy.kif 5315-5315	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 21987-21987

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 5285-5290	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 1639-1645	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 1915-1921	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 15022-15033	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 3530-3536

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: