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	Estado Emocional e' relacionado internamente por SUMO a AppraisalAsUndesirableConsequences
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18290-18290	Estado Emocional e' uma sub-classe de Estado de Espirito

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	emotion.kif 968-968	Anger e' uma instancia de Estado Emocional
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1177-1177	Anxiety e' uma instancia de Estado Emocional
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1158-1158	Boredom e' uma instancia de Estado Emocional
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1010-1010	Compassion e' uma instancia de Estado Emocional
No TPTP formula. May not be expressible in strict first order.	emotion.kif 919-919	Concern e' uma instancia de Estado Emocional
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1089-1089	Confusion e' uma instancia de Estado Emocional
No TPTP formula. May not be expressible in strict first order.	emotion.kif 725-725	Contempt e' uma instancia de Estado Emocional
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1059-1059	Curiosity e' uma instancia de Estado Emocional
No TPTP formula. May not be expressible in strict first order.	emotion.kif 938-938	Despair e' uma instancia de Estado Emocional
No TPTP formula. May not be expressible in strict first order.	emotion.kif 948-948	Disappointment e' uma instancia de Estado Emocional
No TPTP formula. May not be expressible in strict first order.	emotion.kif 829-829	Disgust e' uma instancia de Estado Emocional
No TPTP formula. May not be expressible in strict first order.	emotion.kif 979-979	Embarrassment e' uma instancia de Estado Emocional
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1182-1182	EmotionalStress e' uma instancia de Estado Emocional
No TPTP formula. May not be expressible in strict first order.	emotion.kif 916-916	Expectant e' uma instancia de Estado Emocional
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1018-1018	Fear e' uma instancia de Estado Emocional
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1916-1916	FeelingDubious e' uma instancia de Estado Emocional
No TPTP formula. May not be expressible in strict first order.	emotion.kif 988-988	Grief e' uma instancia de Estado Emocional
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1079-1079	Guilt e' uma instancia de Estado Emocional
No TPTP formula. May not be expressible in strict first order.	emotion.kif 816-816	Happiness e' uma instancia de Estado Emocional
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1040-1040	Hate e' uma instancia de Estado Emocional
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1192-1192	Hope e' uma instancia de Estado Emocional
No TPTP formula. May not be expressible in strict first order.	emotion.kif 995-995	InspirationEmotion e' uma instancia de Estado Emocional
No TPTP formula. May not be expressible in strict first order.	emotion.kif 723-723	Interested e' uma instancia de Estado Emocional
No TPTP formula. May not be expressible in strict first order.	emotion.kif 928-928	Irritation e' uma instancia de Estado Emocional

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	O argumento numero 1 de actionTendency e' uma instancia de Estado Emocional
No TPTP formula. May not be expressible in strict first order.	emotion.kif 2125-2125	O argumento numero 1 de attitudeForFormula e' uma instancia de Estado Emocional
No TPTP formula. May not be expressible in strict first order.	emotion.kif 2118-2118	O argumento numero 1 de attitudeForObject e' uma instancia de Estado Emocional
No TPTP formula. May not be expressible in strict first order.	emotion.kif 141-141	O argumento numero 2 de emotionTendency e' uma instancia de Estado Emocional

antecedent

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

Mid-level-ontology.kif 9774-9795

Transferencia e' uma instancia de Ingerir AutonomousAgent experimenta Transferencia objectTransferred Transferencia and Objeto Objeto e' uma instancia de MoodStabilizer Processo e' uma instancia de ProcessoC involvedInEvent Processo and AutonomousAgent ProcessoS e' um atributo de AutonomousAgent vale durante tempo de existencia de Processo ProcessoS e' uma instancia de Estado Emocional Processo2 e' uma instancia de ProcessoC involvedInEvent Processo2 and AutonomousAgent tempo de existencia de Processo2 acontence antes de tempo de existencia de Transferencia
o argumento ProcessoS e' um atributo de AutonomousAgent vale durante Processo2 tem a forca modal de Unlikely

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21474-21489	Processo e' uma instancia de Blushing AutonomousAgent experimenta Processo Intervalo Temporal Intervalo Temporal, Entidade and Entidade Entidade e' uma instancia de Estado Emocional Entidade e' uma instancia de Estado Emocional Entidade e' igual a Entidade Entidade e' um atributo de AutonomousAgent vale durante Intervalo Temporal Entidade e' um atributo de AutonomousAgent vale durante Intervalo Temporal tempo de existencia de Processo comeca em Intervalo Temporal tempo de existencia de Processo termina em Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	emotion.kif 99-106	Entidade e' uma instancia de EmotionalVoiceUtterances Entidade Entidade Entidade e' uma instancia de Estado Emocional Entidade e' um atributo de Entidade causa Entidade e' um agente de Entidade
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1371-1378	Processo e' uma instancia de PhysiologicalResponseToEmotionalState Processo AutonomousAgent Processo e' uma instancia de Estado Emocional AutonomousAgent experimenta Processo AutonomousAgent experimenta Processo Processo causa Processo

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: