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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FeelingCold

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 1867-1870
(instance FeelingCold SubjectiveAssessmentAttribute) emotion.kif 1865-1865

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


(termFormat EnglishLanguage FeelingCold "feeling cold") emotion.kif 1871-1871
(termFormat EnglishLanguage FeelingCold "feeling hot") emotion.kif 1908-1908
(utterance EnglishLanguage FeelingCold "cold") emotion.kif 1866-1866

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 1873-1885

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


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


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