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 meatOfAnimal Mutton and Sheep
(subclass Mutton Meat) Economy.kif 4957-4957 Mutton è una sottoclasse di Carne

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


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

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