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 23148-23148
(subclass Diet Plan)	Mid-level-ontology.kif 23147-23147	Diet is a subclass of plan

appearance as argument number 2

(termFormat ChineseLanguage Diet "饮食")	domainEnglishFormat.kif 19491-19491
(termFormat ChineseTraditionalLanguage Diet "飲食")	domainEnglishFormat.kif 19490-19490
(termFormat EnglishLanguage Diet "diet")	domainEnglishFormat.kif 19489-19489

antecedent

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

Mid-level-ontology.kif 23150-23157