Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| FeelingCold(feeling hot) |
| appearance as argument number 1 |
|
| (instance FeelingCold SubjectiveAssessmentAttribute) | emotion.kif 2712-2712 | Feeling hot is an instance of subjective assessment attribute |
| (documentation FeelingCold EnglishLanguage "The subjective state of feeling cold. This could be because the temperature is low for the amount of clothing worn, or it could be because the person is running a Fever.") | emotion.kif 2714-2717 | Feeling hot is an instance of subjective assessment attribute |
| appearance as argument number 2 |
|
|
| (utterance EnglishLanguage FeelingCold "cold") | emotion.kif 2713-2713 | utterance english language, feeling hot and "cold" |
| (termFormat EnglishLanguage FeelingCold "feeling cold") | emotion.kif 2718-2718 | utterance english language, feeling hot and "cold" |
| (termFormat EnglishLanguage FeelingCold "feeling hot") | emotion.kif 2755-2755 | utterance english language, feeling hot and "cold" |
| antecedent |
|
|
| (=> (holdsDuring ?T (and (located ?H ?L) (airTemperature ?L (MeasureFn ?T ?TU)) (attribute ?H FeelingCold))) (desires ?H (holdsDuring ?T (and (airTemperature ?L (MeasureFn ?T2 ?TU)) (greaterThan ?T2 ?T))))) |
emotion.kif 2720-2732 | 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 V is greater than Z holds during Z |
| consequent |
|
|
| (=> (and (instance ?C Chills) (experiencer ?C ?H)) (holdsDuring (WhenFn ?C) (attribute ?H FeelingCold))) |
emotion.kif 2741-2747 | If X is an instance of chills and Y experiences X, then feeling hot is an attribute of Y holds during the time of existence of X |
|