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

appearance as argument number 2

(termFormat ChineseLanguage Diet "饮食")	domainEnglishFormat.kif 19497-19497
(termFormat ChineseTraditionalLanguage Diet "飲食")	domainEnglishFormat.kif 19496-19496
(termFormat EnglishLanguage Diet "diet")	domainEnglishFormat.kif 19495-19495

antecedent

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

Mid-level-ontology.kif 22622-22629