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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Pain
Pain

VerbNet: marvel-31.3|anguish, admire-31.2|suffer,


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


(documentation Pain EnglishLanguage "A physical sensation of discomfort which can vary widely in intensity.") Mid-level-ontology.kif 17164-17165
(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 17163-17163

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


(contraryAttribute Pleasure Pain) emotion.kif 763-763
(subAttribute Headache Pain) Mid-level-ontology.kif 17167-17167
(termFormat ChineseLanguage Pain "痛") domainEnglishFormat.kif 43891-43891
(termFormat ChineseTraditionalLanguage Pain "痛") domainEnglishFormat.kif 43890-43890
(termFormat EnglishLanguage Pain "pain") domainEnglishFormat.kif 43889-43889

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 17170-17176


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners