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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Insomnia

 Sigma KEE - Insomnia
Insomnia

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 3883-3883 Insomnia 是 對於 Ingesting 的 disease 治癒 Benzodiazepine
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 and DiseaseOrSyndrome
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4055-4055 Escitalopram 是服用 Insomnia 的 side effect
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16442-16442 子類 Insomnia and PathologicProcess

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