Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| FeelingHot(feeling hot) |
| appearance as argument number 1 |
|
| (instance FeelingHot SubjectiveAssessmentAttribute) | emotion.kif 2749-2749 | Feeling hot is an instance of subjective assessment attribute |
| (documentation FeelingHot EnglishLanguage "The subjective state of feeling hot. This could be because the temperature is high for the amount of clothing worn, or it could be because the person is exercising vigorously.") | emotion.kif 2751-2754 | Feeling hot is an instance of subjective assessment attribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage FeelingHot "feeling hot") | domainEnglishFormat.kif 64854-64854 | |
| (utterance EnglishLanguage FeelingHot "hot") | emotion.kif 2750-2750 | utterance english language, feeling hot and "hot" |
| antecedent |
|
|
| (=> (holdsDuring ?T (and (located ?H ?L) (airTemperature ?L (MeasureFn ?T ?TU)) (attribute ?H FeelingHot))) (desires ?H (holdsDuring ?T (and (airTemperature ?L (MeasureFn ?T2 ?TU)) (greaterThan ?T ?T2))))) |
emotion.kif 2757-2769 | If X is located at Y and Z W(s) is an air temperature of Y and feeling hot is an attribute of X holds during Z, then X desires V W(s) is an air temperature of Y and Z is greater than V holds during Z |
|