![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ComfortFood(comfort food) | comfort_food |
| appearance as argument number 1 |
|
|
| (instance ComfortFood FoodAttribute) | Dining.kif 1139-1139 | Comfort food is an instance of food attribute |
| (documentation ComfortFood EnglishLanguage "ComfortFood describes PreparedFood that gives a sense of well_being, typically associated with childhood or with home cooking") | Dining.kif 1140-1142 | Comfort food is an instance of food attribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ComfortFood "comfort food") | Dining.kif 1143-1143 |
| 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 |