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


KB Term:  Term intersection
English Word: 

  Iftar

 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
-------------------------


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

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


(subclass Steak Beef) Food.kif 3512-3512 Steak is a subclass of beef
(termFormat EnglishLanguage Beef "beef") domainEnglishFormat.kif 10485-10485 Steak is a subclass of beef
(termFormat ChineseTraditionalLanguage Beef "牛肉") domainEnglishFormat.kif 10486-10486 Steak is a subclass of beef
(termFormat ChineseLanguage Beef "牛肉") domainEnglishFormat.kif 10487-10487 Steak is a subclass of beef

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 If X is an instance of steakhouse, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that V is an instance of cooking (3) W is an instance of beef (4) W is a resource for V (5) Z is a result of V (6) Y is an instance of commercial service (7) X is an agent of Y (8) Y is an instance of selling (9) Z is a patient of Y


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