TreeView Knowledge Base Browser - FeelingCold

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

No TPTP formula. May not be expressible in strict first order.	emotion.kif 1859-1862
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1857-1857	FeelingCold e' uma instancia de Atributo Subjectivo

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	emotion.kif 1863-1863
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1900-1900
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1858-1858	utterance EnglishLanguage, FeelingCold and "cold"

antecedent

No TPTP formula. May not be expressible in strict first order.

emotion.kif 1865-1877

Agente Cognitivo e' situado em Entidade airTemperature Entidade and Posicao Temporal Posicao TemporalU(s) FeelingCold e' um atributo de Agente Cognitivo vale durante Posicao Temporal
Agente Cognitivo deseja airTemperature Entidade and Posicao Temporal2 Posicao TemporalU(s) Posicao Temporal2 e' maior que Posicao Temporal vale durante Posicao Temporal

consequent

No TPTP formula. May not be expressible in strict first order.

emotion.kif 1886-1892

Processo e' uma instancia de Chills AutonomousAgent experimenta Processo
FeelingCold e' um atributo de AutonomousAgent vale durante tempo de existencia de Processo

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