TreeView Knowledge Base Browser - TherapeuticProcess

appearance as argument number 1

(documentation TherapeuticProcess ChineseLanguage "这是为了治疗、改善或舒缓和 DiseaseOrSyndrome 有关的痛楚而执行的 Process。")	chinese_format.kif 3149-3150
(documentation TherapeuticProcess EnglishLanguage "A Process that is carried out for the purpose of curing, improving or reducing the pain associated with a DiseaseOrSyndrome.")	Merge.kif 12240-12242
(subclass TherapeuticProcess Repairing)	Merge.kif 12239-12239	TherapeuticProcess ist eine teilkategorie von Repairing

appearance as argument number 2

(subclass Anesthetizing TherapeuticProcess)	Medicine.kif 940-940	Anesthetizing ist eine teilkategorie von TherapeuticProcess
(subclass ApplyingTourniquet TherapeuticProcess)	Medicine.kif 62-62	ApplyingTourniquet ist eine teilkategorie von TherapeuticProcess
(subclass CPR TherapeuticProcess)	Medicine.kif 579-579	CPR ist eine teilkategorie von TherapeuticProcess
(subclass Defibrillation TherapeuticProcess)	Medicine.kif 632-632	Defibrillation ist eine teilkategorie von TherapeuticProcess
(subclass IVTherapy TherapeuticProcess)	Medicine.kif 1069-1069	IVTherapy ist eine teilkategorie von TherapeuticProcess
(subclass IntraosseousInfusion TherapeuticProcess)	Medicine.kif 1170-1170	IntraosseousInfusion ist eine teilkategorie von TherapeuticProcess
(subclass Massaging TherapeuticProcess)	Mid-level-ontology.kif 5700-5700	Massaging ist eine teilkategorie von TherapeuticProcess
(subclass RelievingPain TherapeuticProcess)	Mid-level-ontology.kif 5773-5773	RelievingPain ist eine teilkategorie von TherapeuticProcess
(subclass Surgery TherapeuticProcess)	Merge.kif 12255-12255	Surgery ist eine teilkategorie von TherapeuticProcess
(subclass Thoracentesis TherapeuticProcess)	Medicine.kif 877-877	Thoracentesis ist eine teilkategorie von TherapeuticProcess
(subclass Vaccination TherapeuticProcess)	WMD.kif 1066-1066	Vaccination ist eine teilkategorie von TherapeuticProcess
(termFormat ChineseLanguage TherapeuticProcess "治疗过程")	chinese_format.kif 1158-1158
(termFormat EnglishLanguage TherapeuticProcess "therapeutic process")	english_format.kif 1533-1533
(termFormat FrenchLanguage TherapeuticProcess "processus therapeutique")	french_format.kif 836-836
(termFormat Hindi TherapeuticProcess "aarogyakara prakriyaa")	terms-hindi.txt 368-368
(termFormat ItalianLanguage TherapeuticProcess "ProcessoTerapeutico")	terms-it.txt 371-371
(termFormat JapaneseLanguage TherapeuticProcess "治療経過")	japanese_format.kif 2520-2520
(termFormat PortugueseLanguage TherapeuticProcess "Processo Terapeutico")	portuguese_format.kif 788-788
(termFormat cz TherapeuticProcess "therapeutic process")	terms-cz.txt 407-407
(termFormat ro TherapeuticProcess "proces terapeutic")	relations-ro.kif 857-857
(termFormat tg TherapeuticProcess "paraan sa panggagamot")	terms-tg.txt 372-372

appearance as argument number 3

(domainSubclass diseaseTreatment 2 TherapeuticProcess)

Medicine.kif 5819-5819

Die Zahl 2 Argument von diseaseTreatment ist eine teilkategorie von TherapeuticProcess %n{nicht}

antecedent

(=>
    (and
        (instance ?PROC TherapeuticProcess)
        (patient ?PROC ?BIO))
    (or
        (instance ?BIO Organism)
        (exists (?ORG)
            (and
                (instance ?ORG Organism)
                (part ?BIO ?ORG)))))

Merge.kif 12244-12253

Wenn Process ist ein fall von TherapeuticProcess %n{nicht} und Object ist ein patient von ** Process %n{nicht},
dann ** Object ist ein fall von Organism %n{nicht} oder es gibt ** Object um ** ** Object ist ein fall von Organism %n{nicht} und ** Object ist ein teil von ** ** Object %n{nicht}

consequent

(=> (and (instance ?A MedicalPerson) (attribute ?C ?A)) (hasPurpose ?C (exists (?TP) (and (instance ?TP TherapeuticProcess) (agent ?TP ?C)))))	Medicine.kif 6338-6346	Wenn Attribute ist ein fall von MedicalPerson %n{nicht} und Attribute ist ein attribut von Object %n{nicht}, dann Object hat Zweck von es gibt entity um entity ist ein fall von TherapeuticProcess %n{nicht} und entity ist der agent von ** Object %n{nicht} %n{nicht}
(=> (and (instance ?EV Evacuation) (experiencer ?EV ?P) (agent ?EV ?A)) (exists (?M ?MA) (and (instance ?M TherapeuticProcess) (subProcess ?M ?EV) (or (subOrganization ?MA ?A) (member ?MA ?A) (equal ?MA ?A)) (agent ?M ?MA) (experiencer ?M ?P))))	MilitaryProcesses.kif 2591-2605	Wenn Process ist ein fall von Evacuation %n{nicht} und AutonomousAgent erfaehrt Process %n{nicht} und Process ist der agent von Organization %n{nicht}, dann es gibt Process und ProcessA um Process ist ein fall von TherapeuticProcess %n{nicht} und Process ist ein subProzess von Process und subOrganization ProcessA and Organization oder ProcessA ist ein Mitglied von Organization %n{nicht} oder ProcessA ist gleich Organization %n{nicht} und Process ist der agent von ProcessA %n{nicht} und AutonomousAgent erfaehrt Process %n{nicht}
(=> (and (instance ?I HealthInsuranceCompany) (customer ?I ?C)) (hasPurposeForAgent ?I (exists (?D ?P) (and (or (instance ?D DiagnosticProcess) (instance ?D TherapeuticProcess)) (experiencer ?D ?C) (instance ?P Payment) (agent ?P ?I) (refers ?P ?D))) ?C))	Mid-level-ontology.kif 7159-7172	Wenn CognitiveAgent ist ein fall von HealthInsuranceCompany %n{nicht} und customer CognitiveAgent and AutonomousAgent, dann CognitiveAgent hat Zweck von es gibt entity und entity um entity ist ein fall von DiagnosticProcess %n{nicht} oder entity ist ein fall von TherapeuticProcess %n{nicht} und AutonomousAgent erfaehrt entity %n{nicht} und entity ist ein fall von Payment %n{nicht} und entity ist der agent von CognitiveAgent %n{nicht} und entity umfasst einen hinweis auf entity fuer AutonomousAgent %n{nicht}
(=> (attribute ?DOCTOR MedicalDoctor) (exists (?PROCESS1 ?PROCESS2) (and (subclass ?PROCESS1 DiagnosticProcess) (subclass ?PROCESS2 TherapeuticProcess) (capability ?PROCESS1 agent ?DOCTOR) (capability ?PROCESS2 agent ?DOCTOR))))	Mid-level-ontology.kif 21036-21043	Wenn MedicalDoctor ist ein attribut von Object %n{nicht}, dann es gibt Process und Process um Process ist eine teilkategorie von DiagnosticProcess und Process ist eine teilkategorie von TherapeuticProcess und Object ist faehig %n{nicht}, in der Rolle agent Process zu tun und Object ist faehig %n{nicht}, in der Rolle agent ** Process zu tun
(=> (attribute ?H Pulmonologist) (exists (?P1 ?P2 ?PAT ?L) (and (subclass ?PROCESS1 DiagnosticProcess) (subclass ?PROCESS2 TherapeuticProcess) (patient ?P1 ?PAT) (patient ?P2 ?PAT) (instance ?L Lung) (part ?L ?PAT) (located ?P1 Lung) (located ?P2 Lung))))	Medicine.kif 4481-4492	Wenn Pulmonologist ist ein attribut von Object %n{nicht}, dann es gibt Process, Process,, , Object, and und Object um Class ist eine teilkategorie von DiagnosticProcess und Class ist eine teilkategorie von TherapeuticProcess und Object ist ein patient von Process %n{nicht} und Object ist ein patient von Process %n{nicht} und Object ist ein fall von Lung %n{nicht} und Object ist ein teil von Object %n{nicht} und Process befindet sich an %n{nicht} und Process befindet sich an %n{nicht}
(=> (attribute ?PERSON RegisteredNurse) (hasExpertise ?PERSON TherapeuticProcess))	Biography.kif 571-573	Wenn RegisteredNurse ist ein attribut von Human %n{nicht}, dann hasExpertise ** Human and TherapeuticProcess
(=> (instance ?B Bandage) (hasPurpose ?B (exists (?TP ?C) (and (instance ?TP TherapeuticProcess) (instance ?C Covering) (subProcess ?C ?TP) (instrument ?C ?B)))))	Mid-level-ontology.kif 5690-5698	Wenn Physical ist ein fall von Bandage %n{nicht}, dann Physical hat Zweck von es gibt entity und entity um entity ist ein fall von TherapeuticProcess %n{nicht} und entity ist ein fall von Covering %n{nicht} und entity ist ein subProzess von entity und Physical ist ein instrument fuer ** entity %n{nicht} %n{nicht}
(=> (instance ?M Medicine) (exists (?P) (and (instance ?P TherapeuticProcess) (resource ?P ?M))))	Mid-level-ontology.kif 9239-9244	Wenn Object ist ein fall von Medicine %n{nicht}, dann es gibt Process um Process ist ein fall von TherapeuticProcess %n{nicht} und Object ist ein hilfmittel fuer ** Process %n{nicht}
(=> (instance ?MD MedicalDevice) (hasPurpose ?MD (exists (?TP ?DP) (and (instance ?TP TherapeuticProcess) (instance ?DP DiagnosticProcess) (or (instrument ?TP ?MD) (instrument ?DP ?MD))))))	Medicine.kif 666-675	Wenn Physical ist ein fall von MedicalDevice %n{nicht}, dann Physical hat Zweck von es gibt entity und entity um entity ist ein fall von TherapeuticProcess %n{nicht} und entity ist ein fall von DiagnosticProcess %n{nicht} und Physical ist ein instrument fuer entity %n{nicht} oder Physical ist ein instrument fuer entity %n{nicht} %n{nicht}
(=> (instance ?MS MedicalService) (exists (?AGENT ?HUMAN ?PROC) (and (agent ?MS ?AGENT) (employs ?AGENT ?HUMAN) (attribute ?HUMAN MedicalDoctor) (serviceProvider ?MS ?HUMAN) (or (instance ?PROC TherapeuticProcess) (instance ?PROC DiagnosticProcess)) (subProcess ?PROC ?MS))))	Hotel.kif 2281-2292	Wenn ServiceProcess ist ein fall von MedicalService %n{nicht}, dann es gibt AutonomousAgent, CognitiveAgent, and und Process um ServiceProcess ist der agent von AutonomousAgent %n{nicht} und AutonomousAgent beschaeftigt CognitiveAgent %n{nicht} und MedicalDoctor ist ein attribut von CognitiveAgent %n{nicht} und serviceProvider ServiceProcess and CognitiveAgent und Process ist ein fall von TherapeuticProcess %n{nicht} oder Process ist ein fall von DiagnosticProcess %n{nicht} und Process ist ein subProzess von ** ServiceProcess
(=> (medicine ?MC ?D) (exists (?DOC) (and (instance ?DOC MedicalDoctor) (believes ?DOC (exists (?T ?H ?M) (and (instance ?M ?MC) (instance ?T TherapeuticProcess) (instance ?H Human) (patientMedical ?H ?DOC) (resource ?T ?M) (benefits ?T ?H)))))))	Mid-level-ontology.kif 9652-9665	Wenn medicine Medicine and DiseaseOrSyndrome, dann es gibt DiseaseOrSyndromeOC um DiseaseOrSyndromeOC ist ein fall von MedicalDoctor %n{nicht} und DiseaseOrSyndromeOC glaubt %n{nicht}, dass es gibt entity, entity, and und entity um entity ist ein fall von Medicine %n{nicht} und entity ist ein fall von TherapeuticProcess %n{nicht} und entity ist ein fall von Human %n{nicht} und patientMedical entity and DiseaseOrSyndromeOC und entity ist ein hilfmittel fuer entity %n{nicht} und benefits entity and ** entity
(=> (patientMedical ?PATIENT ?DOCTOR) (exists (?PROCESS) (and (patient ?PROCESS ?PATIENT) (agent ?PROCESS ?DOCTOR) (or (instance ?PROCESS DiagnosticProcess) (instance ?PROCESS TherapeuticProcess)))))	Mid-level-ontology.kif 5676-5684	Wenn patientMedical Human and CognitiveAgent, dann es gibt Process um Human ist ein patient von Process %n{nicht} und Process ist der agent von CognitiveAgent %n{nicht} und Process ist ein fall von DiagnosticProcess %n{nicht} oder Process ist ein fall von TherapeuticProcess %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: