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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Meat
Meat(viande)

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


(disjoint Meat Beverage) Food.kif 391-391 Viande est disjoint de boisson
(disjoint Meat FoodFromPlant) Food.kif 292-292 Viande est disjoint de FoodFromPlant
(documentation Meat ChineseLanguage "这是任何来自 Animal 一部分的食物,一般不会通过饮用摄入体内, 包括鸡蛋和以食物形式进食动物的血液。注:这个类别同时包括生肉和经过某些方法处理如煮过的肉。再注:涉及 MeatFruitOrVegetable 的制作直接归类于 Food。") chinese_format.kif 3485-3487 Viande est disjoint de FoodFromPlant
(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 15030-15035 Viande est disjoint de FoodFromPlant
(externalImage Meat "http://upload.wikimedia.org/wikipedia/commons/a/ae/ FoodMeat.jpg") pictureList.kif 901-901 Viande est disjoint de FoodFromPlant
(subclass Meat AnimalSubstance) Merge.kif 15029-15029 Viande est une sous-classe de AnimalSubstance
(subclass Meat Food) Food.kif 291-291 Viande est une sous-classe de nourriture

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


(subclass Beef Meat) Mid-level-ontology.kif 21984-21984 Beef est une sous-classe de viande
(subclass ChickenMeat Meat) Mid-level-ontology.kif 21989-21989 ChickenMeat est une sous-classe de viande
(subclass CuredMeat Meat) Food.kif 2133-2133 CuredMeat est une sous-classe de viande
(subclass Egg Meat) Merge.kif 15179-15179 Egg est une sous-classe de viande
(subclass GoatMeat Meat) Food.kif 2595-2595 GoatMeat est une sous-classe de viande
(subclass LambMeat Meat) Economy.kif 5292-5292 LambMeat est une sous-classe de viande
(subclass Mutton Meat) Economy.kif 5297-5297 Mutton est une sous-classe de viande
(subclass Pork Meat) Mid-level-ontology.kif 21991-21991 Pork est une sous-classe de viande
(subclass PoultryMeat Meat) Food.kif 2034-2034 PoultryMeat est une sous-classe de viande
(subclass Seafood Meat) Food.kif 1927-1927 Seafood est une sous-classe de viande
(subclass Veal Meat) Economy.kif 5310-5310 Veal est une sous-classe de viande
(subclass WaterBuffaloMeat Meat) Economy.kif 5315-5315 WaterBuffaloMeat est une sous-classe de viande
(termFormat ChineseLanguage Meat "meat") chinese_format.kif 1013-1013 WaterBuffaloMeat est une sous-classe de viande
(termFormat EnglishLanguage Meat "meat") english_format.kif 1238-1238 WaterBuffaloMeat est une sous-classe de viande
(termFormat FrenchLanguage Meat "viande") french_format.kif 691-691 WaterBuffaloMeat est une sous-classe de viande
(termFormat Hindi Meat "maansa") terms-hindi.txt 222-222 WaterBuffaloMeat est une sous-classe de viande
(termFormat ItalianLanguage Meat "Carne") terms-it.txt 225-225 WaterBuffaloMeat est une sous-classe de viande
(termFormat JapaneseLanguage Meat "肉") japanese_format.kif 2374-2374 WaterBuffaloMeat est une sous-classe de viande
(termFormat PortugueseLanguage Meat "Carne") portuguese_format.kif 643-643 WaterBuffaloMeat est une sous-classe de viande
(termFormat cb Meat "karne") terms-cb.txt 227-227 WaterBuffaloMeat est une sous-classe de viande
(termFormat cz Meat "meat") terms-cz.txt 260-260 WaterBuffaloMeat est une sous-classe de viande
(termFormat de Meat "Fleisch") terms-de.txt 519-519 WaterBuffaloMeat est une sous-classe de viande
(termFormat ro Meat "carne") relations-ro.kif 712-712 WaterBuffaloMeat est une sous-classe de viande
(termFormat tg Meat "karne") terms-tg.txt 226-226 WaterBuffaloMeat est une sous-classe de viande

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 21970-21970 Le nombre 1 argument de meatOfAnimal est une sous-classe de viande

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


(=>
    (and
        (equal ?M
            (OrganicObjectFn ?A))
        (subclass ?M Meat))
    (subclass ?A Animal))
Economy.kif 5285-5290
(=>
    (and
        (subclass ?S Mixture)
        (initialPart ?S Meat)
        (initialPart ?S FoodFromPlant)
        (initialPart ?S DrinkingWater))
    (equal ?S SoupStock))
Food.kif 1639-1645
(=>
    (instance ?M Meat)
    (exists (?DA ?AC)
        (and
            (instance ?DA
                (DeadFn ?AC))
            (part ?M ?DA)
            (subclass ?AC Animal))))
Food.kif 1915-1921
(=>
    (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 15037-15048

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


(=>
    (attribute ?F Vegetarian)
    (not
        (exists (?M)
            (and
                (instance ?M Meat)
                (part ?M ?F)))))
Food.kif 3530-3536


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