TreeView Knowledge Base Browser

appearance as argument number 1

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

appearance as argument number 2

(termFormat EnglishLanguage Mutton "mutton")	domainEnglishFormat.kif 39475-39475
(termFormat ChineseTraditionalLanguage Mutton "羊肉")	domainEnglishFormat.kif 39476-39476
(termFormat ChineseLanguage Mutton "羊肉")	domainEnglishFormat.kif 39477-39477

antecedent

(=>
    (and
        (instance ?M Mutton)
        (part ?M ?S)
        (instance ?S Sheep)
        (age ?S
            (MeasureFn ?A MonthDuration)))
    (greaterThanOrEqualTo ?A 12))

If X is an instance of mutton, X is a part of Y, Y is an instance of sheep, and the age of Y is Z month duration(s), then Z is greater than or equal to 12