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

appearance as argument number 2

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

antecedent

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

Mid-level-ontology.kif 21791-21798