Diet - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Diet EnglishLanguage "A Plan regarding what one is allowed to eat.")	Mid-level-ontology.kif 21530-21530
(subclass Diet Plan)	Mid-level-ontology.kif 21529-21529	子類飲食 and Plan

appearance as argument number 2

(termFormat ChineseLanguage Diet "饮食")	domainEnglishFormat.kif 19482-19482
(termFormat ChineseTraditionalLanguage Diet "飲食")	domainEnglishFormat.kif 19481-19481
(termFormat EnglishLanguage Diet "diet")	domainEnglishFormat.kif 19480-19480

antecedent

(=>
    (and
        (instance ?D Diet)
        (realization ?P ?D))
    (exists (?E)
        (and
            (subProcess ?E ?P)
            (instance ?E Eating))))

Mid-level-ontology.kif 21532-21539