Pain - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Pain

Pain(pain)

Bornholm_disease, ache, aching, aerodontalgia, afterpains, agony, anguish, arthralgia, backache, bellyache, birth_pangs, burn, burning, causalgia, chest_pain, chiralgia, colic, costalgia, diaphragmatic_pleurisy, distress, dysmenorrhea, earache, epidemic_myalgia, epidemic_pleurodynia, excruciation, gastralgia, glossalgia, glossodynia, gripes, griping, growing_pains, haemorrhoid, hemorrhoid, hurting, intestinal_colic, keratalgia, labor_pain, labor_pains, labour_pains, lumbago, lumbar_pain, mastalgia, melagra, meralgia, metralgia, myalgia, myodynia, myosis, nephralgia, neuralgia...

appearance as argument number 1

(documentation Pain EnglishLanguage "A physical sensation of discomfort which can vary widely in intensity.")	Mid-level-ontology.kif 17110-17111
(externalImage Pain "http://upload.wikimedia.org/wikipedia/commons/0/0b/ Medieval_dentistry.jpg")	pictureList.kif 3169-3169	"http://upload.wikimedia.org/wikipedia/commons/0/0b/ Medieval_dentistry.jpg" is a URL depicting pain
(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	"http://upload.wikimedia.org/wikipedia/commons/4/4e/ M%C3%A9tiers-Dentiste%2C_humour-ann%C3%A9es_20.JPG" is a URL depicting pain
(externalImage Pain "http://upload.wikimedia.org/wikipedia/commons/5/59/ Dental_surgery_aboard_USS_Eisenhower%2C_January_1990.JPEG")	pictureList.kif 2981-2981	"http://upload.wikimedia.org/wikipedia/commons/5/59/ Dental_surgery_aboard_USS_Eisenhower%2C_January_1990.JPEG" is a URL depicting pain
(subAttribute Pain Unhappiness)	Mid-level-ontology.kif 17109-17109	Pain is a subattribute of unhappiness

appearance as argument number 2

(subAttribute Headache Pain)	Mid-level-ontology.kif 17113-17113	Headache is a subattribute of pain
(termFormat EnglishLanguage Pain "pain")	domainEnglishFormat.kif 7752-7752	"pain" is the printable form of pain in english language

consequent

(=> (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 5949-5960	If a process is an instance of relieving pain and an entity is a patient of the process, then pain is an attribute of the entity holds during the beginning of the time of existence of the process and pain is not an attribute of the entity holds during the end of the time of existence of the process
(=> (attribute ?E Headache) (exists (?H) (and (instance ?H Head) (part ?H ?E) (attribute ?H Pain))))	Mid-level-ontology.kif 17116-17122	If headache is an attribute of an object, then there exists another object such that the other object is an instance of head and the other object is a part of the object and pain is an attribute of the other object

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