TreeView Knowledge Base Browser

appearance as argument number 1

(documentation RelievingPain EnglishLanguage "Any TherapeuticProcess that removes Pain from the patient of the process.")	Mid-level-ontology.kif 5773-5774
(subclass RelievingPain TherapeuticProcess)	Mid-level-ontology.kif 5772-5772	RelievingPain ist eine teilkategorie von TherapeuticProcess

appearance as argument number 2

(termFormat ChineseLanguage RelievingPain "缓解疼痛")	domainEnglishFormat.kif 49382-49382
(termFormat ChineseTraditionalLanguage RelievingPain "緩解疼痛")	domainEnglishFormat.kif 49381-49381
(termFormat EnglishLanguage RelievingPain "relieving pain")	domainEnglishFormat.kif 49380-49380

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 5778-5797

Wenn Process ist ein fall von RelievingPain %n{nicht} und Object ist ein patient von ** Process %n{nicht},
dann es gibt Physical um direkt vor die zeit des Bestehens von ** Process deckt sich mit die zeit des Bestehens von ** Physical %n{nicht} und ** Physical ist ein fall von Pain %n{nicht} und ** Physical befindet sich an %n{nicht} und es gibt nicht ** Physical um sofort nach die zeit des Bestehens von ** Process deckt sich mit die zeit des Bestehens von ** ** Physical %n{nicht} und ** ** Physical ist ein fall von Pain %n{nicht} und ** ** Physical befindet sich an %n{nicht}

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 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: