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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Insomnia

Sigma KEE - Insomnia
Insomnia(insomnia)

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 3883-3883 Insomnia is disease treatment benzodiazepine for ingesting
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16443-16444
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2084-2092
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2082-2082 Insomnia is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4055-4055 Escitalopram is a side effect of taking insomnia
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16442-16442 Insomnia is a subclass of pathologic process

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 2093-2093

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16447-16459
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2105-2114
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2095-2103


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