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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FeelingCold

Sigma KEE - FeelingCold
FeelingCold(feeling hot)

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 Feeling hot is an instance of subjective assessment attribute

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