TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 4037-4038
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18291-18292
No TPTP formula. May not be expressible in strict first order.	emotion.kif 413-413	�tat �motionnel Est reli� � l'int�rieur de SUMO � AppraisalAsUndesirableConsequences
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18290-18290	�tat �motionnel Est une sous-classe de �tat d'esprit

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	emotion.kif 968-968	Colère est une instance de �tat �motionnel
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1177-1177	Anxiété est une instance de �tat �motionnel
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1158-1158	Boredom est une instance de �tat �motionnel
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1010-1010	Compassion est une instance de �tat �motionnel
No TPTP formula. May not be expressible in strict first order.	emotion.kif 919-919	Concern est une instance de �tat �motionnel
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1089-1089	Confusion est une instance de �tat �motionnel
No TPTP formula. May not be expressible in strict first order.	emotion.kif 725-725	Mépris est une instance de �tat �motionnel
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1059-1059	Curiosity est une instance de �tat �motionnel
No TPTP formula. May not be expressible in strict first order.	emotion.kif 938-938	Désespoir est une instance de �tat �motionnel
No TPTP formula. May not be expressible in strict first order.	emotion.kif 948-948	Desilusión est une instance de �tat �motionnel
No TPTP formula. May not be expressible in strict first order.	emotion.kif 829-829	Dégoût est une instance de �tat �motionnel
No TPTP formula. May not be expressible in strict first order.	emotion.kif 979-979	Embarrassment est une instance de �tat �motionnel
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1182-1182	EmotionalStress est une instance de �tat �motionnel
No TPTP formula. May not be expressible in strict first order.	emotion.kif 916-916	Expectant est une instance de �tat �motionnel
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1018-1018	Peur est une instance de �tat �motionnel
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1916-1916	FeelingDubious est une instance de �tat �motionnel
No TPTP formula. May not be expressible in strict first order.	emotion.kif 988-988	Grief est une instance de �tat �motionnel
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1079-1079	Culpabilité est une instance de �tat �motionnel
No TPTP formula. May not be expressible in strict first order.	emotion.kif 816-816	Bonheur est une instance de �tat �motionnel
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1040-1040	Haine est une instance de �tat �motionnel
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1192-1192	Hope est une instance de �tat �motionnel
No TPTP formula. May not be expressible in strict first order.	emotion.kif 995-995	InspirationEmotion est une instance de �tat �motionnel
No TPTP formula. May not be expressible in strict first order.	emotion.kif 723-723	Interesse est une instance de �tat �motionnel
No TPTP formula. May not be expressible in strict first order.	emotion.kif 928-928	Irritation est une instance de �tat �motionnel

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	emotion.kif 156-156	Le nombre 1 argument de actionTendency est une instance de �tat �motionnel
No TPTP formula. May not be expressible in strict first order.	emotion.kif 2125-2125	Le nombre 1 argument de attitudeForFormula est une instance de �tat �motionnel
No TPTP formula. May not be expressible in strict first order.	emotion.kif 2118-2118	Le nombre 1 argument de attitudeForObject est une instance de �tat �motionnel
No TPTP formula. May not be expressible in strict first order.	emotion.kif 141-141	Le nombre 2 argument de emotionTendency est une instance de �tat �motionnel

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 9774-9795

Transf�re est une instance de ing�rer AutonomousAgent exp�rimente transf�re objectTransferred transf�re and objet objet est une instance de MoodStabilizer processus est une instance de processusC involvedInEvent processus and AutonomousAgent processusS est un attribut de AutonomousAgent pendant temps d'existence de processus processusS est une instance de �tat �motionnel processus2 est une instance de processusC involvedInEvent processus2 and AutonomousAgent temps d'existence de processus2 arrive plus t�t que temps d'existence de transf�re
l'argument processusS est un attribut de AutonomousAgent pendant processus2 a la force modale de Unlikely

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21474-21489	Processus est une instance de Blushing AutonomousAgent exp�rimente processus interval temporel interval temporel, entit� and entit� entit� est une instance de �tat �motionnel entit� est une instance de �tat �motionnel entit� est entit� entit� est un attribut de AutonomousAgent pendant interval temporel entit� est un attribut de AutonomousAgent pendant interval temporel temps d'existence de processus commence interval temporel temps d'existence de processus finit interval temporel
No TPTP formula. May not be expressible in strict first order.	emotion.kif 99-106	Entit� est une instance de EmotionalVoiceUtterances entit� entit� entit� est une instance de �tat �motionnel entit� est un attribut de entit� cause entit� est un agent de entit�
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1371-1378	Processus est une instance de PhysiologicalResponseToEmotionalState processus AutonomousAgent processus est une instance de �tat �motionnel AutonomousAgent exp�rimente processus AutonomousAgent exp�rimente processus processus cause processus

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

KB Term:			Term intersection

English Word: