TreeView Knowledge Base Browser - Headache

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Headache

Headache(headache)

cephalalgia, cluster_headache, head_ache, headache, hemicrania, histamine_headache, megrim, migraine, sick_headache, sinus_headache, tension_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	Headache is a subclass of pain in the head
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19334-19334	Headache is a subclass of pathologic process

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3626-3626	Headache is a side effect of taking adalimumab
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4284-4284	Headache is a side effect of taking cetirizine
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3602-3602	Headache is a side effect of taking clarithromycin
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5619-5619	Headache is a side effect of taking hydroxychloroquine
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3699-3699	Headache is a side effect of taking loratadine
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5091-5091	Headache is a side effect of taking ondansetron
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3934-3934	Headache is a side effect of taking roflumilast
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3918-3918	Headache is a side effect of taking sulfasalazine
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

If a physical is an instance of headache,
then there exists an object such that the object is an instance of head and the physical is located at the object

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