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 5168-5169
(externalImage Mutton "http://upload.wikimedia.org/wikipedia/commons/f/ff/ Schafh%C3%A4lfte.jpg") pictureList.kif 4783-4783
(meatOfAnimal Mutton Sheep) Economy.kif 5170-5170 Mutton is the meat of sheep
(subclass Mutton Meat) Economy.kif 5167-5167 Mutton is a subclass of meat

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


(termFormat ChineseLanguage Mutton "羊肉") domainEnglishFormat.kif 39501-39501
(termFormat ChineseTraditionalLanguage Mutton "羊肉") domainEnglishFormat.kif 39500-39500
(termFormat EnglishLanguage Mutton "mutton") domainEnglishFormat.kif 39499-39499

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


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


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