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

(actionTendency Happiness HappyFacialExpression)	emotion.kif 184-184	actionTendency Happiness and HappyFacialExpression
(actionTendency Happiness Laughing)	emotion.kif 176-176	actionTendency Happiness and Laughing
(actionTendency Happiness Smiling)	emotion.kif 177-177	actionTendency Happiness and Smiling
(documentation Happiness EnglishLanguage "A positive emotion which is experienced in reaction to a positive experience or event. [Source: OCEAS]")	emotion.kif 817-818
(documentation Happiness EnglishLanguage "The state of being happy, experiencing pleasure, joy or contentment. Note that this Attribute covers both active enjoyment, as well as the emotional state of simply being free from anxiety or fear.")	Mid-level-ontology.kif 19285-19287
(externalImage Happiness "http://upload.wikimedia.org/wikipedia/commons/ e/ eb/ MGD06FrenchmenShine.jpg")	pictureList.kif 2476-2476
(instance Happiness EmotionalState)	emotion.kif 816-816	Happiness は感情状態の instance では %n

appearance as argument number 2

(contraryAttribute Unhappiness Happiness)	Mid-level-ontology.kif 19305-19305	Unhappiness は Happiness の disjoint では %n
(relatedInternalConcept HappyFacialExpression Happiness)	emotion.kif 1220-1220	HappyFacialExpression は Happiness に internally 関連して %n
(relatedInternalConcept HappyVoiceUtterance Happiness)	emotion.kif 1980-1980	HappyVoiceUtterance は Happiness に internally 関連して %n
(subAttribute Amusement Happiness)	emotion.kif 1167-1167	Amusement は Happiness の subattribute では %n
(subAttribute Contentment Happiness)	emotion.kif 894-894	Contentment は Happiness の subattribute では %n
(subAttribute Elation Happiness)	emotion.kif 975-975	Elation は Happiness の subattribute では %n
(subAttribute Euphoria Happiness)	emotion.kif 1151-1151	Euphoria は Happiness の subattribute では %n
(subAttribute Excitement Happiness)	Mid-level-ontology.kif 19309-19309	Excitement は Happiness の subattribute では %n
(subAttribute Joy Happiness)	emotion.kif 749-749	Joy は Happiness の subattribute では %n
(subAttribute Satisfaction Happiness)	Mid-level-ontology.kif 19295-19295	Satisfaction は Happiness の subattribute では %n
(subAttribute Serenity Happiness)	emotion.kif 1093-1093	Serenity は Happiness の subattribute では %n
(subAttribute Tranquility Happiness)	Mid-level-ontology.kif 19300-19300	Tranquility は Happiness の subattribute では %n
(termFormat ChineseLanguage Happiness "幸福")	domainEnglishFormat.kif 27390-27390
(termFormat ChineseTraditionalLanguage Happiness "幸福")	domainEnglishFormat.kif 27389-27389
(termFormat EnglishLanguage Happiness "happiness")	domainEnglishFormat.kif 27388-27388
(termFormat FrenchLanguage Happiness "bonheur")	emotion.kif 811-811
(termFormat GermanLanguage Happiness "glück")	emotion.kif 814-814
(termFormat SpanishLanguage Happiness "felicidad")	emotion.kif 815-815
(utterance EnglishLanguage Happiness "happy")	emotion.kif 813-813	utterance EnglishLanguage, Happiness and "happy"

antecedent

(=> (attribute ?PERSON Happiness) (not (exists (?PROP) (fears ?PERSON ?PROP))))	Mid-level-ontology.kif 19289-19293	Happiness は認識エージェントの attribute では %n 公式 fears 認識エージェント and 公式
(=> (holdsDuring ?T (attribute ?A Happiness)) (modalAttribute (exists (?HF) (and (instance ?HF HappyFacialExpression) (experiencer ?HF ?A) (during (WhenFn ?HF) ?T))) Likely))	emotion.kif 1226-1235	Happiness はエンティティーの attribute では %n は時間位置の during holds %n{ない} ステートメントエンティティーエンティティーは HappyFacialExpression の instance では %n エンティティーがエンティティーを experiences %n{ない} エンティティーの time の existence は時間位置の during に takes %n{ない} には Likely の modal force がある

consequent

(=> (and (instance ?C CausingHappiness) (patient ?C ?P)) (and (holdsDuring (BeginFn (WhenFn ?C)) (not (attribute ?P Happiness))) (holdsDuring (EndFn (WhenFn ?C)) (attribute ?P Happiness))))	Mid-level-ontology.kif 23768-23779	工程は CausingHappiness の instance では %n エンティティーは工程の patient では %n Happiness はエンティティーの attribute ではは工程の time の existence の beginning の during holds %n{ない} Happiness はエンティティーの attribute では %n は工程の time の existence の end の during holds %n{ない}
(=> (and (instance ?HVU HappyVoiceUtterance) (agent ?HVU ?A)) (exists (?H) (and (instance ?H Happiness) (experiencer ?H ?A) (causes ?H ?HVU))))	emotion.kif 1983-1991	工程は HappyVoiceUtterance の instance では %n AutonomousAgent は工程の agent では %n 工程工程は Happiness の instance では %n AutonomousAgent が工程を experiences %n{ない} 工程は工程を causes %n{ない}
(=> (and (instance ?S Laughing) (experiencer ?S ?A)) (modalAttribute (holdsDuring (WhenFn ?S) (attribute ?A Happiness)) Likely))	emotion.kif 1626-1634	工程は Laughing の instance では %n AutonomousAgent が工程を experiences %n{ない} ステートメント Happiness は AutonomousAgent の attribute では %n は工程の time の existence の during holds %n{ない} には Likely の modal force がある
(=> (and (instance ?S Smiling) (experiencer ?S ?A)) (modalAttribute (holdsDuring (WhenFn ?S) (attribute ?A Happiness)) Likely))	emotion.kif 1614-1622	工程は Smiling の instance では %n AutonomousAgent が工程を experiences %n{ない} ステートメント Happiness は AutonomousAgent の attribute では %n は工程の time の existence の during holds %n{ない} には Likely の modal force がある
(=> (and (instance ?SMILE Smiling) (agent ?SMILE ?AGENT)) (holdsDuring (WhenFn ?SMILE) (attribute ?AGENT Happiness)))	Mid-level-ontology.kif 13022-13026	工程は Smiling の instance では %n AutonomousAgent は工程の agent では %n Happiness は AutonomousAgent の attribute では %n は工程の time の existence の during holds %n{ない}
(=> (holdsDuring ?T (attribute ?H Depression)) (modalAttribute (holdsDuring ?T (not (attribute ?H Happiness))) Likely))	Mid-level-ontology.kif 6395-6402	Depression はエンティティーの attribute では %n は時間位置の during holds %n{ない} ステートメント Happiness はエンティティーの attribute ではは時間位置の during holds %n{ない} には Likely の modal force がある

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