Happiness - Sigma Knowledge base Browser

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 19312-19314
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 19332-19332	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 19336-19336	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 19322-19322	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 19327-19327	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 19316-19320	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 23825-23836	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 13049-13053	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 6389-6396	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 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 3.0 is open source software produced by Articulate Software and its partners