Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Anxiety
Anxiety(anxiété)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Medicine.kif 3882-3882 diseaseMedicine anxiété, Benzodiazepine and ing�rer
No TPTP formula. May not be expressible in strict first order. emotion.kif 1172-1176
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19313-19313
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. Medicine.kif 4054-4054 sideEffect anxiété and Escitalopram
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19312-19312 Anxiété est un sous-attribut de Unhappiness

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19300-19300 Tranquility est l'oppos� de anxiété
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7932-7932
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7931-7931
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7930-7930
No TPTP formula. May not be expressible in strict first order. emotion.kif 1169-1169
No TPTP formula. May not be expressible in strict first order. emotion.kif 1178-1178
No TPTP formula. May not be expressible in strict first order. emotion.kif 1170-1170
No TPTP formula. May not be expressible in strict first order. emotion.kif 1171-1171 utterance EnglishLanguage, anxiété and "anxious"

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19315-19318

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Medicine.kif 983-992
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18248-18254


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