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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TherapeuticProcess
TherapeuticProcessAI, CPR, ECT, EMDA, G-Jo, HRT, Heimlich_maneuver, Heimlich_manoeuvere, ProcessoTerapeutico, Processo_Terapeutico, aarogyakara_prakriyaa, acupressure, acupuncture, administer, administration, adrenergic_agonist_eyedrop, aesculapian, aid, allopathic, allopathy, anaesthetise, anaesthetize, analyse, analysis, analyze, anesthetise, anesthetize, anticoagulation, antipyresis, aromatherapy, arteriogram, arthrogram, artificial_insemination, artificial_respiration, assertiveness_training, audiogram, audiometer, autogenic_therapy, autogenic_training, autogenics, autoplastic, autoradiograph, aversion_therapy, bandage, behavior_modification, behavior_therapy, beta_blocker_eyedrop, birth_control, birth_prevention, bleed...

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


s__documentation(s__TherapeuticProcess,s__ChineseLanguage,'这是为了治疗、改善或舒缓和 DiseaseOrSyndrome 有关的痛楚而执行的 Process。')

Merge.kif 12115-12116
s__documentation(s__TherapeuticProcess,s__EnglishLanguage,'A Process that is carried out for the purpose of curing, improving or reducing the pain associated with a DiseaseOrSyndrome.')

Merge.kif 12112-12114
s__instance(s__TherapeuticProcess,s__SetOrClass)

Merge.kif 12111-12111

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


s__instance(s__TherapeuticProcess,s__SetOrClass)

Mid-level-ontology.kif 5939-5939
s__subclass(s__RelievingPain,s__TherapeuticProcess)

Mid-level-ontology.kif 5945-5945
s__instance(s__TherapeuticProcess,s__SetOrClass)

Merge.kif 12129-12129
s__termFormat(s__ChineseLanguage,s__TherapeuticProcess,'治疗过程')

chinese_format.kif 1158-1158
s__termFormat(s__EnglishLanguage,s__TherapeuticProcess,'therapeutic process')

english_format.kif 845-845
s__termFormat(s__FrenchLanguage,s__TherapeuticProcess,'processus therapeutique')

french_format.kif 836-836
s__termFormat(s__Hindi,s__TherapeuticProcess,'aarogyakara prakriyaa')

terms-hindi.txt 368-368
s__termFormat(s__ItalianLanguage,s__TherapeuticProcess,'ProcessoTerapeutico')

terms-it.txt 369-369
s__termFormat(s__PortugueseLanguage,s__TherapeuticProcess,'Processo Terapeutico')

portuguese_format.kif 788-788
s__termFormat(s__cz__m,s__TherapeuticProcess,'therapeutic process')

terms-cz.txt 407-407
s__termFormat(s__tg__m,s__TherapeuticProcess,'paraan sa panggagamot')

terms-tg.txt 372-372

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


( ! [V__PROC,V__BIO] :
   ((s__instance(V__PROC,s__TherapeuticProcess) &
       s__patient(V__PROC,V__BIO))
   =>
   (s__instance(V__BIO,s__Organism) |
     (? [V__ORG] :
       (s__instance(V__ORG,s__Organism) &
         s__part(V__BIO,V__ORG)))))
)

Merge.kif 12118-12127

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


( ! [V__EV,V__P,V__A] :
   ((s__instance(V__EV,s__Evacuation) &
       s__experiencer(V__EV,V__P)
     &
     s__agent(V__EV,V__A))
=>
(? [V__M,V__MA] :
   (s__instance(V__M,s__TherapeuticProcess) &
     s__subProcess(V__M,V__EV)
   &
   (s__subOrganization(V__MA,V__A)
   |
   s__member(V__MA,V__A)
|
(V__MA = V__A))
&
s__agent(V__M,V__MA)
&
s__experiencer(V__M,V__P))))
)

MilitaryProcesses.kif 2558-2572
( ! [V__DOCTOR] :
   (s__attribute(V__DOCTOR,s__MedicalDoctor) =>
     (? [V__PROCESS1,V__PROCESS2] :
       (s__subclass(V__PROCESS1,s__DiagnosticProcess) &
         s__subclass(V__PROCESS2,s__TherapeuticProcess) &
         s__capability(V__PROCESS1,s__agent__m,V__DOCTOR)
       &
       s__capability(V__PROCESS2,s__agent__m,V__DOCTOR))))
)

Mid-level-ontology.kif 18657-18664
( ! [V__PERSON] :
   (s__attribute(V__PERSON,s__RegisteredNurse) =>
     s__hasExpertise(V__PERSON,s__TherapeuticProcess))
   )

Biography.kif 333-335
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5929-5937
( ! [V__M] :
   (s__instance(V__M,s__Medicine) =>
     (? [V__P] :
       (s__instance(V__P,s__TherapeuticProcess) &
         s__instrument(V__P,V__M))))
)

Mid-level-ontology.kif 8960-8965
( ! [V__MS] :
   (s__instance(V__MS,s__MedicalService) =>
     (? [V__AGENT,V__HUMAN,V__PROC] :
       (s__agent(V__MS,V__AGENT)
       &
       s__employs(V__AGENT,V__HUMAN)
     &
     s__attribute(V__HUMAN,s__MedicalDoctor) &
     s__serviceProvider(V__MS,V__HUMAN)
   &
   (s__instance(V__PROC,s__TherapeuticProcess) |
     s__instance(V__PROC,s__DiagnosticProcess))
   &
   s__subProcess(V__PROC,V__MS))))
)

Hotel.kif 2222-2233
( ! [V__PATIENT,V__DOCTOR] :
   (s__patientMedical(V__PATIENT,V__DOCTOR)
   =>
   (? [V__PROCESS] :
     (s__patient(V__PROCESS,V__PATIENT)
     &
     s__agent(V__PROCESS,V__DOCTOR)
   &
   (s__instance(V__PROCESS,s__DiagnosticProcess) |
     s__instance(V__PROCESS,s__TherapeuticProcess)))))
)

Mid-level-ontology.kif 5916-5924


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