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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Pain
Pain

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


(documentation Pain EnglishLanguage "A physical sensation of discomfort which can vary widely in intensity.") Mid-level-ontology.kif 17142-17143
(externalImage Pain "http://upload.wikimedia.org/wikipedia/commons/0/0b/ Medieval_dentistry.jpg") pictureList.kif 3169-3169
(externalImage Pain "http://upload.wikimedia.org/wikipedia/commons/4/4e/ M%C3%A9tiers-Dentiste%2C_humour-ann%C3%A9es_20.JPG") pictureList.kif 3168-3168
(externalImage Pain "http://upload.wikimedia.org/wikipedia/commons/5/59/ Dental_surgery_aboard_USS_Eisenhower%2C_January_1990.JPEG") pictureList.kif 2981-2981
(subAttribute Pain Unhappiness) Mid-level-ontology.kif 17141-17141 subAttribute Pain and Unhappiness

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


(contraryAttribute Pleasure Pain) emotion.kif 763-763 contraryAttribute Pleasure and Pain
(subAttribute Headache Pain) Mid-level-ontology.kif 17145-17145 subAttribute Headache and Pain
(termFormat ChineseLanguage Pain "痛") domainEnglishFormat.kif 43987-43987
(termFormat ChineseTraditionalLanguage Pain "痛") domainEnglishFormat.kif 43986-43986
(termFormat EnglishLanguage Pain "pain") domainEnglishFormat.kif 43985-43985

consequent
-------------------------


(=>
    (and
        (instance ?ELT ExperiencingDiscomfortInTheStomach)
        (experiencer ?ELT ?A))
    (exists (?P)
        (and
            (instance ?P Perception)
            (holdsDuring
                (WhenFn ?P)
                (attribute ?A Pain))
            (subProcess ?P ?ELT)
            (agent ?P ?A)
            (patient ?P ?T)
            (instance ?T Stomach)
            (part ?T ?A))))
emotion.kif 1551-1565
(=>
    (and
        (instance ?R RelievingPain)
        (patient ?R ?P))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?R))
            (attribute ?P Pain))
        (holdsDuring
            (EndFn
                (WhenFn ?R))
            (not
                (attribute ?P Pain)))))
Mid-level-ontology.kif 5955-5966
(=>
    (attribute ?E Headache)
    (exists (?H)
        (and
            (instance ?H Head)
            (part ?H ?E)
            (attribute ?H Pain))))
Mid-level-ontology.kif 17148-17154


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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