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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Headache

Sigma KEE - Headache
Headache(頭痛)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19335-19335
No TPTP formula. May not be expressible in strict first order. pictureList.kif 494-494
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19333-19333 子類 頭痛 and PainFn
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19334-19334 子類 頭痛 and PathologicProcess

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 3626-3626 頭痛 是服用 Adalimumabside effect
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4284-4284 頭痛 是服用 Cetirizineside effect
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3602-3602 頭痛 是服用 Clarithromycinside effect
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5619-5619 頭痛 是服用 Hydroxychloroquineside effect
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3699-3699 頭痛 是服用 Loratadineside effect
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5091-5091 頭痛 是服用 Ondansetronside effect
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3934-3934 頭痛 是服用 Roflumilastside effect
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3918-3918 頭痛 是服用 Sulfasalazineside effect
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27690-27690
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27689-27689
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27688-27688

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


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


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