HeartHealthyFood - Sigma Knowledge base Browser

appearance as argument number 1

(documentation HeartHealthyFood EnglishLanguage "HeartHealthyFood describes PreparedFood that has is low in sodium and other ingredients that may foster heart disease")	Dining.kif 1143-1145
(instance HeartHealthyFood FoodAttribute)	Dining.kif 1142-1142	Heart-healthy food is an instance of food attribute

appearance as argument number 2

Dining.kif 1146-1146

antecedent

(=>
    (and
        (conditionalProbability
            (attribute ?X ComfortFood)
            (attribute ?X HeartHealthyFood) ?NUMBER1)
        (conditionalProbability
            (attribute ?X ComfortFood)
            (not
                (attribute ?X HeartHealthyFood)) ?NUMBER2))
    (lessThan ?NUMBER1 ?NUMBER2))

Dining.kif 1148-1156