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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TemperatureRisingExperiencedAsFeelingWarm
TemperatureRisingExperiencedAsFeelingWarmtemperature_rising_(experienced_as_feeling_warm)

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


s__instance(s__TemperatureRisingExperiencedAsFeelingWarm,s__SetOrClass)

emotion.kif 1528-1529

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


s__subAttribute(s__ExperiencingHeatInCheeksOrChest,s__TemperatureRisingExperiencedAsFeelingWarm)

emotion.kif 1690-1691
s__subAttribute(s__ExperiencingWarmSensationInWholeBody,s__TemperatureRisingExperiencedAsFeelingWarm)

emotion.kif 1687-1688
s__termFormat(s__EnglishLanguage,s__TemperatureRisingExperiencedAsFeelingWarm,'temperature rising (experienced as feeling warm)')

emotion.kif 1526-1527

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. emotion.kif 1531-1538


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners