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

afterglow, alleviation, amiability, amusement, assuagement, awe, beatification, beatitude, belonging, blessedness, blithely, blitheness, bonheur, buoyancy, cheerful, cheerfully, cheerfulness, cheery, comfort, delectation, delight, delighted, ecstasy, elated, enjoyment, enlightenment, entrancement, exaltation, excitement, exhilaration, felicity, gaiety, gay, gayly, glad, gladfulness, gladness, gladsomeness, glee, gleeful, gleefulness, good_humor, good_humour, good_temper, gusto, happily, happiness, happy, hilarity, intoxication...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	emotion.kif 184-184	action tendency happiness and happy facial expression
No TPTP formula. May not be expressible in strict first order.	emotion.kif 176-176	action tendency happiness and laughing
No TPTP formula. May not be expressible in strict first order.	emotion.kif 177-177	action tendency 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 is an instance of emotional state

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19305-19305	Unhappiness is the opposite of happiness
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1220-1220	Happy facial expression is internally related to happiness
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1980-1980	Happy voice utterance is internally related to happiness
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1167-1167	Amusement is a subattribute of happiness
No TPTP formula. May not be expressible in strict first order.	emotion.kif 894-894	Contentment is a subattribute of happiness
No TPTP formula. May not be expressible in strict first order.	emotion.kif 975-975	Elation is a subattribute of happiness
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1151-1151	Euphoria is a subattribute of happiness
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19309-19309	Excitement is a subattribute of happiness
No TPTP formula. May not be expressible in strict first order.	emotion.kif 749-749	Joy is a subattribute of happiness
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19295-19295	Satisfaction is a subattribute of happiness
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1093-1093	Serenity is a subattribute of happiness
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19300-19300	Tranquility is a subattribute of 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 english language, happiness and "happy"

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19289-19293	If happiness is an attribute of a cognitive agent, then there doesn't exist a formula such that the cognitive agent fears the formula
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1226-1235	If happiness is an attribute of an entity holds during a time position, then the statement there exists another entity such that the other entity is an instance of happy facial expression and the entity experiences the other entity and the time of existence of the other entity takes place during the time position has the modal force of likely

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23768-23779	If a process is an instance of causing happiness and an entity is a patient of the process, then happiness is not an attribute of the entity holds during the beginning of the time of existence of the process and happiness is an attribute of the entity holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1983-1991	If a process is an instance of happy voice utterance and an agent is an agent of the process, then there exists another process such that the other process is an instance of happiness and the agent experiences the other process and the other process causes the process
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1626-1634	If a process is an instance of laughing and an agent experiences the process, then the statement happiness is an attribute of the agent holds during the time of existence of the process has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1614-1622	If a process is an instance of smiling and an agent experiences the process, then the statement happiness is an attribute of the agent holds during the time of existence of the process has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13022-13026	If a process is an instance of smiling and an agent is an agent of the process, then happiness is an attribute of the agent holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6395-6402	If depressed is an attribute of an entity holds during a time position, then the statement happiness is not an attribute of the entity holds during the time position has the modal force of 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