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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SubjectiveEmotionalFeeling

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 and SubjectiveAssessmentAttribute

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 英語, 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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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