Headache - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Headache (PainFn Head))	Mid-level-ontology.kif 21225-21225	Headache is a subclass of pain in the head
(subclass Headache PathologicProcess)	Mid-level-ontology.kif 21226-21226	Headache is a subclass of pathologic process
(documentation Headache EnglishLanguage "Pain that that is restricted to the Head.")	Mid-level-ontology.kif 21227-21227	Headache is a subclass of pathologic process
(externalImage Headache "http://articulatesoftware.com/SUMOpictures/medical/ headache.png")	pictureList.kif 494-494	Headache is a subclass of pathologic process

appearance as argument number 2

(sideEffect Clarithromycin Headache)	Medicine.kif 3633-3633	Headache is a side effect of taking clarithromycin
(sideEffect Adalimumab Headache)	Medicine.kif 3657-3657	Headache is a side effect of taking adalimumab
(sideEffect Loratadine Headache)	Medicine.kif 3730-3730	Headache is a side effect of taking loratadine
(sideEffect Cetirizine Headache)	Medicine.kif 3743-3743	Headache is a side effect of taking cetirizine
(sideEffect Sulfasalazine Headache)	Medicine.kif 3952-3952	Headache is a side effect of taking sulfasalazine
(sideEffect Roflumilast Headache)	Medicine.kif 3968-3968	Headache is a side effect of taking roflumilast
(sideEffect Ondansetron Headache)	Medicine.kif 5112-5112	Headache is a side effect of taking ondansetron
(sideEffect Hydroxychloroquine Headache)	Medicine.kif 5642-5642	Headache is a side effect of taking hydroxychloroquine
(termFormat EnglishLanguage Headache "headache")	domainEnglishFormat.kif 27692-27692	Headache is a side effect of taking hydroxychloroquine
(termFormat ChineseTraditionalLanguage Headache "頭痛")	domainEnglishFormat.kif 27693-27693	Headache is a side effect of taking hydroxychloroquine
(termFormat ChineseLanguage Headache "头痛")	domainEnglishFormat.kif 27694-27694	Headache is a side effect of taking hydroxychloroquine

antecedent

(=>
    (instance ?E Headache)
    (exists (?H)
        (and
            (instance ?H Head)
            (located ?E ?H))))

If X is an instance of headache, then there exists Y such that Y is an instance of head and X is located at Y