TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Diet Plan)	Mid-level-ontology.kif 23770-23770	Diet is a subclass of plan
(documentation Diet EnglishLanguage "A Plan regarding what one is allowed to eat.")	Mid-level-ontology.kif 23771-23771	Diet is a subclass of plan

appearance as argument number 2

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

antecedent

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

If X is an instance of diet and Y expresses the content of X, then there exists Z such that Z is a subprocess of Y and Z is an instance of eating