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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Beef

Sigma KEE - Beef
Beef(beef)
Chateaubriand, New_York_strip, aitchbone, beef, beef_jerky, beef_loin, beef_neck, beef_patty, beef_roast, beef_tenderloin, blade, blade_roast, boeuf, bottom_round, bully_beef, carbonado, chop_steak, chopped_steak, chopsteak, chuck, chuck_short_ribs, corn_beef, corned_beef, cut_of_beef, entrecote, flank_steak, ground_beef, hamburger, hamburger_steak, minute_steak, neck, pastrami, pot_roast, rib, roast_beef, round, round_steak, rump, rump_steak, short_ribs, shoulder, side_of_beef, sirloin_steak, sirloin_tip, strip_steak, top_round

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


(documentation Beef EnglishLanguage "Meat that was originally part of a Cow.") Mid-level-ontology.kif 20368-20368
(externalImage Beef "http://upload.wikimedia.org/wikipedia/commons/5/5e/ Beef_inspection_USDA.jpg") pictureList.kif 922-922
(externalImage Beef "http://upload.wikimedia.org/wikipedia/commons/thumb/ 6/ 64/ Beef_cuts.svg/ 511px-Beef_cuts.svg.png") pictureList.kif 923-923
(meatOfAnimal Beef Cow) Mid-level-ontology.kif 20369-20369 Beef is the meat of cow
(subclass Beef Meat) Mid-level-ontology.kif 20367-20367 Beef is a subclass of meat

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


(subclass Steak Beef) Food.kif 3476-3476 Steak is a subclass of beef
(termFormat ChineseLanguage Beef "牛肉") domainEnglishFormat.kif 10481-10481
(termFormat ChineseTraditionalLanguage Beef "牛肉") domainEnglishFormat.kif 10480-10480
(termFormat EnglishLanguage Beef "beef") domainEnglishFormat.kif 10479-10479

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


(=>
    (instance ?STEAKHOUSE Steakhouse)
    (exists (?SERVICE ?STEAK ?BEEF ?COOK)
        (and
            (instance ?COOK Cooking)
            (instance ?BEEF Beef)
            (resource ?COOK ?BEEF)
            (result ?COOK ?STEAK)
            (instance ?SERVICE CommercialService)
            (agent ?SERVICE ?STEAKHOUSE)
            (instance ?SERVICE Selling)
            (patient ?SERVICE ?STEAK))))
Dining.kif 88-99


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