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


KB Term:  Term intersection
English Word: 

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 Food) Food.kif 291-291 Meat is a subclass of food
(disjoint Meat FoodFromPlant) Food.kif 292-292 Meat is disjoint from food from a plant
(disjoint Meat Beverage) Food.kif 391-391 Meat is disjoint from beverage
(subclass Meat AnimalSubstance) Merge.kif 15051-15051 Meat is a subclass of animal substance
(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 15052-15057 Meat is a subclass of animal substance
(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 LambMeat Meat) Economy.kif 5287-5287 Lamb meat is a subclass of meat
(subclass Mutton Meat) Economy.kif 5292-5292 Mutton is a subclass of meat
(subclass Veal Meat) Economy.kif 5305-5305 Veal is a subclass of meat
(subclass WaterBuffaloMeat Meat) Economy.kif 5310-5310 Water buffalo meat is a subclass of meat
(subclass Seafood Meat) Food.kif 1927-1927 Seafood is a subclass of meat
(subclass PoultryMeat Meat) Food.kif 2034-2034 Poultry is a subclass of meat
(subclass CuredMeat Meat) Food.kif 2133-2133 Cured meat is a subclass of meat
(subclass GoatMeat Meat) Food.kif 2595-2595 Goat meat is a subclass of meat
(subclass Egg Meat) Merge.kif 15201-15201 Egg is a subclass of meat
(subclass Beef Meat) Mid-level-ontology.kif 22643-22643 Beef is a subclass of meat
(subclass ChickenMeat Meat) Mid-level-ontology.kif 22648-22648 Chicken meat is a subclass of meat
(subclass Pork Meat) Mid-level-ontology.kif 22650-22650 Pork is a subclass of meat
(termFormat EnglishLanguage Meat "meat") english_format.kif 1238-1238 Pork is a subclass of meat

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


(domainSubclass meatOfAnimal 1 Meat) Mid-level-ontology.kif 22629-22629 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 5280-5285 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 1639-1645 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 1915-1921 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
(=>
    (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 15059-15070 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

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


(=>
    (attribute ?F Vegetarian)
    (not
        (exists (?M)
            (and
                (instance ?M Meat)
                (part ?M ?F)))))		 Food.kif 3532-3538 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 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