Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| HeartHealthyFood(heart_healthy food) |
| appearance as argument number 1 |
|
| (instance HeartHealthyFood FoodAttribute) | Dining.kif 1145-1145 | Heart_healthy food is an instance of food attribute |
| (documentation HeartHealthyFood EnglishLanguage "HeartHealthyFood describes PreparedFood that has is low in sodium and other ingredients that may foster heart disease") | Dining.kif 1146-1148 | Heart_healthy food is an instance of food attribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage HeartHealthyFood "heart_healthy food") | Dining.kif 1149-1149 |
| antecedent |
|
|
| (=> (and (conditionalProbability (attribute ?X ComfortFood) (attribute ?X HeartHealthyFood) ?NUMBER1) (conditionalProbability (attribute ?X ComfortFood) (not (attribute ?X HeartHealthyFood)) ?NUMBER2)) (lessThan ?NUMBER1 ?NUMBER2)) |
Dining.kif 1151-1159 | If probability of comfort food is an attribute of X provided that heart_healthy food is an attribute of X holds is Y and probability of comfort food is an attribute of X provided that heart_healthy food is not an attribute of X holds is Z, then Y is less than Z |
|