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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Beef

Sigma KEE - Beef
Beef

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


(documentation Beef EnglishLanguage "Meat that was originally part of a Cow.") Mid-level-ontology.kif 20395-20395
(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 20396-20396 meatOfAnimal Beef and Cow
(subclass Beef Meat) Mid-level-ontology.kif 20394-20394 Beef e' uma sub-classe de Carne

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


(subclass Steak Beef) Food.kif 3476-3476 Steak e' uma sub-classe de 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