Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  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
-------------------------


No TPTP formula. May not be expressible in strict first order. Food.kif 391-391 Meat is disjoint from beverage
No TPTP formula. May not be expressible in strict first order. Food.kif 292-292 Meat is disjoint from food from plant
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3485-3487
No TPTP formula. May not be expressible in strict first order. Merge.kif 14877-14882
No TPTP formula. May not be expressible in strict first order. pictureList.kif 901-901
No TPTP formula. May not be expressible in strict first order. Merge.kif 14876-14876 Meat is a subclass of animal substance
No TPTP formula. May not be expressible in strict first order. Food.kif 291-291 Meat is a subclass of food

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20367-20367 Beef is a subclass of meat
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20372-20372 Chicken meat is a subclass of meat
No TPTP formula. May not be expressible in strict first order. Food.kif 2126-2126 Cured meat is a subclass of meat
No TPTP formula. May not be expressible in strict first order. Merge.kif 15026-15026 Egg is a subclass of meat
No TPTP formula. May not be expressible in strict first order. Food.kif 2588-2588 Goat meat is a subclass of meat
No TPTP formula. May not be expressible in strict first order. Economy.kif 4952-4952 Lamb meat is a subclass of meat
No TPTP formula. May not be expressible in strict first order. Economy.kif 4957-4957 Mutton is a subclass of meat
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20374-20374 Pork is a subclass of meat
No TPTP formula. May not be expressible in strict first order. Food.kif 2028-2028 Poultry is a subclass of meat
No TPTP formula. May not be expressible in strict first order. Food.kif 1921-1921 Seafood is a subclass of meat
No TPTP formula. May not be expressible in strict first order. Economy.kif 4970-4970 Veal is a subclass of meat
No TPTP formula. May not be expressible in strict first order. Economy.kif 4975-4975 Water buffalo meat is a subclass of meat
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1013-1013
No TPTP formula. May not be expressible in strict first order. english_format.kif 1238-1238
No TPTP formula. May not be expressible in strict first order. french_format.kif 691-691
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 222-222
No TPTP formula. May not be expressible in strict first order. terms-it.txt 225-225
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2374-2374
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 643-643
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 227-227
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 260-260
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 712-712
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 226-226

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20353-20353 The number 1 argument of meat of animal is a subclass of meat

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 4945-4950
No TPTP formula. May not be expressible in strict first order. Food.kif 1633-1639
No TPTP formula. May not be expressible in strict first order. Food.kif 1909-1915
No TPTP formula. May not be expressible in strict first order. Merge.kif 14884-14895

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


No TPTP formula. May not be expressible in strict first order. Food.kif 3523-3529


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 is open source software produced by Articulate Software and its partners