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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Mutton
Mutton(mutton)
mouton, mutton

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


(documentation Mutton EnglishLanguage "Mutton is the Meat that was originally part of a Sheep which is older than 12 months.") Economy.kif 4958-4959
(externalImage Mutton "http://upload.wikimedia.org/wikipedia/commons/f/ff/ Schafh%C3%A4lfte.jpg") pictureList.kif 4784-4784
(meatOfAnimal Mutton Sheep) Economy.kif 4960-4960 Mutton is the meat of sheep
(subclass Mutton Meat) Economy.kif 4957-4957 Mutton is a subclass of meat

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


(termFormat ChineseLanguage Mutton "羊肉") domainEnglishFormat.kif 39509-39509
(termFormat ChineseTraditionalLanguage Mutton "羊肉") domainEnglishFormat.kif 39508-39508
(termFormat EnglishLanguage Mutton "mutton") domainEnglishFormat.kif 39507-39507

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


(=>
    (and
        (instance ?M Mutton)
        (part ?M ?S)
        (instance ?S Sheep)
        (age ?S
            (MeasureFn ?A MonthDuration)))
    (greaterThanOrEqualTo ?A 12))
Economy.kif 4962-4968


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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