Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Meat

 Sigma KEE - Meat
Meat(meat)
Bovril, Salisbury_steak, beef_tea, beef_tongue, biltong, bird, blood_meal, bone_marrow, bouillon_cube, brain, breast_of_lamb, brisket, buffalo, calf's_brain, calf's_liver, calf's_tongue, calves'_feet, calves'_liver, chicken_liver, chine, chitlings, chitlins, chitterlings, chop, confit, cracklings, crown_roast, cut, cut_of_meat, cut_of_mutton, cutlet, dark_meat, drippings, escallop, fatback, filet, fillet, fish_filet, fish_fillet, fish_steak, flank, flat_bone, forequarter, foreshank, fowl, frog_legs, game, gigot, gobbet, goose_liver...

appearance as argument number 1
-------------------------


(subclass Meat AnimalSubstance) Merge.kif 15184-15184 Meat is a subclass of animal substance
(subclass Meat Food) Merge.kif 15185-15185 Meat is a subclass of food
(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 15186-15191 Meat is a subclass of food
(disjoint Meat Beverage) Mid-level-ontology.kif 2583-2583 Meat is disjoint from beverage
(subclass Meat AnimalAgriculturalArtifact) Society.kif 1063-1063 Meat is a subclass of AnimalAgriculturalArtifact
(externalImage Meat "http://upload.wikimedia.org/wikipedia/commons/a/ae/ FoodMeat.jpg") pictureList.kif 901-901 Meat is a subclass of AnimalAgriculturalArtifact

appearance as argument number 2
-------------------------


(subclass Egg Meat) Merge.kif 15322-15322 Egg is a subclass of meat
(subclass Beef Meat) Mid-level-ontology.kif 22606-22606 Beef is a subclass of meat
(subclass ChickenMeat Meat) Mid-level-ontology.kif 22611-22611 Chicken meat is a subclass of meat
(subclass Pork Meat) Mid-level-ontology.kif 22613-22613 Pork is a subclass of meat
(subclass LambMeat Meat) Economy.kif 5300-5300 Lamb meat is a subclass of meat
(subclass Mutton Meat) Economy.kif 5305-5305 Mutton is a subclass of meat
(subclass Veal Meat) Economy.kif 5318-5318 Veal is a subclass of meat
(subclass WaterBuffaloMeat Meat) Economy.kif 5323-5323 Water buffalo meat is a subclass of meat
(disjoint FoodFromPlant Meat) Food.kif 292-292 Food from a plant is disjoint from meat
(subclass Seafood Meat) Food.kif 1934-1934 Seafood is a subclass of meat
(subclass PoultryMeat Meat) Food.kif 2042-2042 Poultry is a subclass of meat
(subclass CuredMeat Meat) Food.kif 2145-2145 Cured meat is a subclass of meat
(subclass GoatMeat Meat) Food.kif 2612-2612 Goat meat is a subclass of meat
(termFormat EnglishLanguage Meat "meat") english_format.kif 1242-1242 Goat meat is a subclass of meat

appearance as argument number 3
-------------------------


(domainSubclass meatOfAnimal 1 Meat) Mid-level-ontology.kif 22592-22592 The number 1 argument of meat of animal is a subclass of meat

antecedent
-------------------------


(=>
    (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 15193-15204 If X is an instance of meat, then For all Object Y: if Y is a part of X, then there exist Z, W, V such that Z is a part of Y, V is an instance of animal, and Z is a part of V holds during W
(=>
    (and
        (equal ?M
            (OrganicObjectFn ?A))
        (subclass ?M Meat))
    (subclass ?A Animal))		 Economy.kif 5293-5298 If equal X and Object made from Y and X is a subclass of meat, then Y is a subclass of animal
(=>
    (and
        (subclass ?S Mixture)
        (initialPart ?S Meat)
        (initialPart ?S FoodFromPlant)
        (initialPart ?S DrinkingWater))
    (equal ?S SoupStock))		 Food.kif 1619-1625 If X is a subclass of mixture, every X is initially part of a meat, every X is initially part of a food from a plant, and every X is initially part of a potable water, then equal X and soup stock
(=>
    (instance ?M Meat)
    (exists (?DA ?AC)
        (and
            (instance ?DA
                (DeadFn ?AC))
            (part ?M ?DA)
            (subclass ?AC Animal))))		 Food.kif 1922-1928 If X is an instance of meat, then there exist Y, Z such that Y is an instance of a dead Z, X is a part of Y, and Z is a subclass of animal

consequent
-------------------------


(=>
    (attribute ?F Vegetarian)
    (not
        (exists (?M)
            (and
                (instance ?M Meat)
                (part ?M ?F)))))		 Food.kif 3561-3567 If vegetarian is an attribute of X, then there doesn't exist Y such that Y is an instance of meat and Y is a part of X


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

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners