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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Mutton
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 羊肉meat
(subclass Mutton Meat) Economy.kif 4957-4957 羊肉meatsubclass

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


(termFormat ChineseLanguage Mutton "羊肉") domainEnglishFormat.kif 39471-39471
(termFormat ChineseTraditionalLanguage Mutton "羊肉") domainEnglishFormat.kif 39470-39470
(termFormat EnglishLanguage Mutton "mutton") domainEnglishFormat.kif 39469-39469

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