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 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 牛肉母牛meat
(subclass Beef Meat) Mid-level-ontology.kif 20367-20367 牛肉meatsubclass

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


(subclass Steak Beef) Food.kif 3476-3476 Steak牛肉subclass
(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