Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FeelingCold
FeelingCold

appearance as argument number 1
-------------------------


(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 1859-1862
(instance FeelingCold SubjectiveAssessmentAttribute) emotion.kif 1857-1857 FeelingCold主観評価属性instance では %n

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage FeelingCold "feeling cold") emotion.kif 1863-1863
(termFormat EnglishLanguage FeelingCold "feeling hot") emotion.kif 1900-1900
(utterance EnglishLanguage FeelingCold "cold") emotion.kif 1858-1858 utterance EnglishLanguage, FeelingCold 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 1865-1877

consequent
-------------------------


(=>
    (and
        (instance ?C Chills)
        (experiencer ?C ?H))
    (holdsDuring
        (WhenFn ?C)
        (attribute ?H FeelingCold)))
emotion.kif 1886-1892


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners