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(bonheur)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	emotion.kif 184-184	actionTendency bonheur and HappyFacialExpression
No TPTP formula. May not be expressible in strict first order.	emotion.kif 176-176	actionTendency bonheur and Laughing
No TPTP formula. May not be expressible in strict first order.	emotion.kif 177-177	actionTendency bonheur 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 19284-19286
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	Bonheur est une instance de �tat �motionnel

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19304-19304	Unhappiness est l'oppos� de bonheur
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1220-1220	HappyFacialExpression est reli� � l'int�rieur de SUMO � bonheur
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1980-1980	HappyVoiceUtterance est reli� � l'int�rieur de SUMO � bonheur
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1167-1167	Amusement est un sous-attribut de bonheur
No TPTP formula. May not be expressible in strict first order.	emotion.kif 894-894	Contentement est un sous-attribut de bonheur
No TPTP formula. May not be expressible in strict first order.	emotion.kif 975-975	Elation est un sous-attribut de bonheur
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1151-1151	Euphoria est un sous-attribut de bonheur
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19308-19308	Excitement est un sous-attribut de bonheur
No TPTP formula. May not be expressible in strict first order.	emotion.kif 749-749	Joie est un sous-attribut de bonheur
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19294-19294	Satisfaction est un sous-attribut de bonheur
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1093-1093	Serenity est un sous-attribut de bonheur
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19299-19299	Tranquility est un sous-attribut de bonheur
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, bonheur and "happy"

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19288-19292	Bonheur est un attribut de agent cognitif formule fears agent cognitif and formule
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1226-1235	Bonheur est un attribut de entit� pendant position temporel l'argument entit� entit� est une instance de HappyFacialExpression entit� exp�rimente entit� temps d'existence de entit� prend place pendant position temporel a la force modale de Likely

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23767-23778	Processus est une instance de CausingHappiness entit� est un patient de processus bonheur est un attribut de entit� pendant le d�but de temps d'existence de processus bonheur est un attribut de entit� pendant la fin de temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1983-1991	Processus est une instance de HappyVoiceUtterance processus est un agent de AutonomousAgent processus processus est une instance de bonheur AutonomousAgent exp�rimente processus processus cause processus
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1626-1634	Processus est une instance de Laughing AutonomousAgent exp�rimente processus l'argument bonheur est un attribut de AutonomousAgent pendant temps d'existence de processus a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1614-1622	Processus est une instance de Smiling AutonomousAgent exp�rimente processus l'argument bonheur est un attribut de AutonomousAgent pendant temps d'existence de processus a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13021-13025	Processus est une instance de Smiling processus est un agent de AutonomousAgent bonheur est un attribut de AutonomousAgent pendant temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6394-6401	Depression est un attribut de entit� pendant position temporel l'argument bonheur est un attribut de entit� pendant position temporel a la force modale 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