|
|
  HeartHealthyFood
|
|
|
| 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 1096-1098 | |
| (instance HeartHealthyFood FoodAttribute) | Dining.kif 1095-1095 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage HeartHealthyFood "heart-healthy food") | Dining.kif 1099-1099 |
| antecedent |
|
|
| (=> (and (conditionalProbability (attribute ?X ComfortFood) (attribute ?X HeartHealthyFood) ?NUMBER1) (conditionalProbability (attribute ?X ComfortFood) (not (attribute ?X HeartHealthyFood)) ?NUMBER2)) (lessThan ?NUMBER1 ?NUMBER2)) |
Dining.kif 1101-1109 |
|
|
|