Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  RelievingPain

 Sigma KEE - RelievingPain
RelievingPain(relieving pain)comfort, ease

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


(subclass RelievingPain TherapeuticProcess) Mid-level-ontology.kif 6892-6892 Relieving pain is a subclass of therapeutic process
(documentation RelievingPain EnglishLanguage "Any TherapeuticProcess that removes Pain from the patient of the process.") Mid-level-ontology.kif 6893-6894 Relieving pain is a subclass of therapeutic process

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


(termFormat EnglishLanguage RelievingPain "relieving pain") domainEnglishFormat.kif 49377-49377
(termFormat ChineseTraditionalLanguage RelievingPain "緩解疼痛") domainEnglishFormat.kif 49378-49378
(termFormat ChineseLanguage RelievingPain "缓解疼痛") domainEnglishFormat.kif 49379-49379

antecedent
-------------------------


(=>
    (and
        (instance ?R RelievingPain)
        (patient ?R ?H))
    (and
        (exists (?P1)
            (and
                (overlapsTemporally
                    (WhenFn ?P1)
                    (ImmediatePastFn
                        (WhenFn ?R)))
                (instance ?P1 Pain)
                (located ?P1 ?H)))
        (not
            (exists (?P2)
                (and
                    (overlapsTemporally
                        (WhenFn ?P2)
                        (ImmediateFutureFn
                            (WhenFn ?R)))
                    (instance ?P2 Pain)
                    (located ?P2 ?H))))))		 Mid-level-ontology.kif 6898-6917 If X is an instance of relieving pain and Y is a patient of X, then there exists Z such that immediately before the time of existence of X overlaps the time of existence of Z, Z is an instance of pain, and Z is located at Y and there doesn't exist W such that immediately after the time of existence of X overlaps the time of existence of W, W is an instance of pain, and W is located at Y


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners