|
|
  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 1143-1145 | |
| (instance HeartHealthyFood FoodAttribute) | Dining.kif 1142-1142 | HeartHealthyFood est une instance de FoodAttribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage HeartHealthyFood "heart-healthy food") | 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 |
|
|
|
|