TreeView Knowledge Base Browser - Happiness

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Happiness

Happiness

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	emotion.kif 184-184	actionTendency Happiness and HappyFacialExpression
No TPTP formula. May not be expressible in strict first order.	emotion.kif 176-176	actionTendency Happiness and Laughing
No TPTP formula. May not be expressible in strict first order.	emotion.kif 177-177	actionTendency Happiness and Smiling
No TPTP formula. May not be expressible in strict first order.	emotion.kif 817-818
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19285-19287
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2476-2476
No TPTP formula. May not be expressible in strict first order.	emotion.kif 816-816	Happiness e' uma instancia de Estado Emocional

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19305-19305	Unhappiness e' &o oposto de Happiness
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1220-1220	HappyFacialExpression e' relacionado internamente por SUMO a Happiness
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1980-1980	HappyVoiceUtterance e' relacionado internamente por SUMO a Happiness
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1167-1167	Amusement e' um sub-atributo de Happiness
No TPTP formula. May not be expressible in strict first order.	emotion.kif 894-894	Contentment e' um sub-atributo de Happiness
No TPTP formula. May not be expressible in strict first order.	emotion.kif 975-975	Elation e' um sub-atributo de Happiness
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1151-1151	Euphoria e' um sub-atributo de Happiness
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19309-19309	Excitement e' um sub-atributo de Happiness
No TPTP formula. May not be expressible in strict first order.	emotion.kif 749-749	Joy e' um sub-atributo de Happiness
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19295-19295	Satisfaction e' um sub-atributo de Happiness
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1093-1093	Serenity e' um sub-atributo de Happiness
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19300-19300	Tranquility e' um sub-atributo de Happiness
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27390-27390
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27389-27389
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27388-27388
No TPTP formula. May not be expressible in strict first order.	emotion.kif 811-811
No TPTP formula. May not be expressible in strict first order.	emotion.kif 814-814
No TPTP formula. May not be expressible in strict first order.	emotion.kif 815-815
No TPTP formula. May not be expressible in strict first order.	emotion.kif 813-813	utterance EnglishLanguage, Happiness and "happy"

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19289-19293	Happiness e' um atributo de Agente Cognitivo Formula fears Agente Cognitivo and Formula
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1226-1235	Happiness e' um atributo de Entidade vale durante Posicao Temporal o argumento Entidade Entidade e' uma instancia de HappyFacialExpression Entidade experimenta Entidade tempo de existencia de Entidade acontece durante Posicao Temporal tem a forca modal de Likely

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23768-23779	Processo e' uma instancia de CausingHappiness Entidade e' um patient de Processo Happiness e' um atributo de Entidade vale durante o comeco de tempo de existencia de Processo Happiness e' um atributo de Entidade vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1983-1991	Processo e' uma instancia de HappyVoiceUtterance Processo e' um agente de AutonomousAgent Processo Processo e' uma instancia de Happiness AutonomousAgent experimenta Processo Processo causa Processo
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1626-1634	Processo e' uma instancia de Laughing AutonomousAgent experimenta Processo o argumento Happiness e' um atributo de AutonomousAgent vale durante tempo de existencia de Processo tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1614-1622	Processo e' uma instancia de Smiling AutonomousAgent experimenta Processo o argumento Happiness e' um atributo de AutonomousAgent vale durante tempo de existencia de Processo tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13022-13026	Processo e' uma instancia de Smiling Processo e' um agente de AutonomousAgent Happiness e' um atributo de AutonomousAgent vale durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6395-6402	Depression e' um atributo de Entidade vale durante Posicao Temporal o argumento Happiness e' um atributo de Entidade vale durante Posicao Temporal tem a forca modal de Likely

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