TherapeuticProcess - Sigma Knowledge base Browser

appearance as argument number 3

(domainSubclass diseaseTreatment 2 TherapeuticProcess)

Medicine.kif 5831-5831

The number 2 argument of disease treatment is a subclass of therapeutic process

antecedent

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

Merge.kif 12379-12388

If a process is an instance of therapeutic process and an object is a patient of the process,
then the object is an instance of organism or there exists another object such that the other object is an instance of organism and the object is a part of the other object

consequent

(=> (and (instance ?A MedicalPerson) (attribute ?C ?A)) (hasPurpose ?C (exists (?TP) (and (instance ?TP TherapeuticProcess) (agent ?TP ?C)))))	Medicine.kif 6355-6363	If an attribute is an instance of medical person and the attribute is an attribute of an object, then the object has the purpose there exists an entity such that the entity is an instance of therapeutic process and the object is an agent of the entity
(=> (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 2625-2639	If a process is an instance of evacuating and an agent experiences the process and an organization is an agent of the process, then there exist another process and the other processA such that the other process is an instance of therapeutic process and the other process is a subprocess of the process and the other processA is a part of the organization the organization or the other processA is a member of the organization or the other processA is equal to the organization and the other processA is an agent of the other process and the agent experiences the other process
(=> (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 8339-8352	If a cognitive agent is an instance of health insurance company and an agent is a customer of the cognitive agent, then the cognitive agent has the purpose there exist an entity and another entity such that the entity is an instance of diagnostic process or the entity is an instance of therapeutic process and the agent experiences the entity and the other entity is an instance of payment and the cognitive agent is an agent of the other entity and the other entity includes a reference to the entity for the agent
(=> (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 22670-22677	If medical doctor is an attribute of an object, then there exist a kind of process and another kind of process such that a kind of process is a subclass of diagnostic process and another kind of process is a subclass of therapeutic process and the object is capable of doing the kind of process as a agent and the object is capable of doing the other kind of process as a agent
(=> (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 4488-4499	If pulmonologist is an attribute of an object, then there exist a process, another process,, , another object and a third object such that a class is a subclass of diagnostic process and another class is a subclass of therapeutic process and the other object is a patient of the process and the other object is a patient of the other process and the third object is an instance of lung and the third object is a part of the other object and the process is located at lung and the other process is located at lung
(=> (attribute ?PERSON RegisteredNurse) (hasExpertise ?PERSON TherapeuticProcess))	Biography.kif 579-581	If registered nurse is an attribute of a human, then therapeutic process has an expertise in the human
(=> (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 6646-6654	If a physical is an instance of bandage, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of therapeutic process and the other entity is an instance of covering and the other entity is a subprocess of the entity and the physical is an instrument for the other entity
(=> (instance ?M Medicine) (exists (?P) (and (instance ?P TherapeuticProcess) (resource ?P ?M))))	Mid-level-ontology.kif 10586-10591	If an object is an instance of medicine, then there exists a process such that the process is an instance of therapeutic process and the object is a resource for the process
(=> (instance ?MD MedicalDevice) (hasPurpose ?MD (exists (?TP ?DP) (and (instance ?TP TherapeuticProcess) (instance ?DP DiagnosticProcess) (or (instrument ?TP ?MD) (instrument ?DP ?MD))))))	Medicine.kif 657-666	If a physical is an instance of medical device, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of therapeutic process and the other entity is an instance of diagnostic process and the physical is an instrument for the entity or the physical is an instrument for the other entity
(=> (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 2292-2303	If a service is an instance of medical service, then there exist an agent, a cognitive agent and a process such that the agent is an agent of the service and the agent employs the cognitive agent and medical doctor is an attribute of the cognitive agent and the cognitive agent provides a service during the service and the process is an instance of therapeutic process or the process is an instance of diagnostic process and the process is a subprocess of the service
(=> (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 10999-11012	If a kind of medicine is medicine for a disease or syndrome, then there exists the disease or syndromeOC such that the disease or syndromeOC is an instance of medical doctor and the disease or syndromeOC believes there exist an entity, another entity and a third entity such that the third entity is an instance of a kind of medicine and the entity is an instance of therapeutic process and the other entity is an instance of human and the disease or syndromeOC is a patient medical of the other entity and the third entity is a resource for the entity and the other entity is a beneficiary of the entity
(=> (patientMedical ?PATIENT ?DOCTOR) (exists (?PROCESS) (and (patient ?PROCESS ?PATIENT) (agent ?PROCESS ?DOCTOR) (or (instance ?PROCESS DiagnosticProcess) (instance ?PROCESS TherapeuticProcess)))))	Mid-level-ontology.kif 6632-6640	If a cognitive agent is a patient medical of a human, then there exists a process such that the human is a patient of the process and the cognitive agent is an agent of the process and the process is an instance of diagnostic process or the process is an instance of therapeutic process

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

(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 12375-12377
(subclass TherapeuticProcess Repairing)	Merge.kif 12374-12374	Therapeutic process is a subclass of repairing

(subclass Anesthetizing TherapeuticProcess)	Medicine.kif 931-931	Anesthetizing is a subclass of therapeutic process
(subclass ApplyingTourniquet TherapeuticProcess)	Medicine.kif 62-62	Applying a tourniquet is a subclass of therapeutic process
(subclass CPR TherapeuticProcess)	Medicine.kif 569-569	Cardio pulmonary resuscitation is a subclass of therapeutic process
(subclass Defibrillation TherapeuticProcess)	Medicine.kif 622-622	Defibrillation is a subclass of therapeutic process
(subclass IVTherapy TherapeuticProcess)	Medicine.kif 1061-1061	IV Therapy is a subclass of therapeutic process
(subclass IntraosseousInfusion TherapeuticProcess)	Medicine.kif 1162-1162	Intraosseous infusion is a subclass of therapeutic process
(subclass Massaging TherapeuticProcess)	Mid-level-ontology.kif 6656-6656	Massaging is a subclass of therapeutic process
(subclass RelievingPain TherapeuticProcess)	Mid-level-ontology.kif 6729-6729	Relieving pain is a subclass of therapeutic process
(subclass Surgery TherapeuticProcess)	Merge.kif 12390-12390	Surgery is a subclass of therapeutic process
(subclass Thoracentesis TherapeuticProcess)	Medicine.kif 868-868	Needle decompression is a subclass of therapeutic process
(subclass Vaccination TherapeuticProcess)	WMD.kif 1066-1066	Vaccination is a subclass of therapeutic process
(termFormat ChineseLanguage TherapeuticProcess "治疗过程")	chinese_format.kif 1158-1158	Vaccination is a subclass of therapeutic process
(termFormat EnglishLanguage TherapeuticProcess "therapeutic process")	english_format.kif 1533-1533	Vaccination is a subclass of therapeutic process
(termFormat FrenchLanguage TherapeuticProcess "processus therapeutique")	french_format.kif 836-836	Vaccination is a subclass of therapeutic process
(termFormat Hindi TherapeuticProcess "aarogyakara prakriyaa")	terms-hindi.txt 368-368	Vaccination is a subclass of therapeutic process
(termFormat ItalianLanguage TherapeuticProcess "ProcessoTerapeutico")	terms-it.txt 371-371	Vaccination is a subclass of therapeutic process
(termFormat JapaneseLanguage TherapeuticProcess "治療経過")	japanese_format.kif 2520-2520	Vaccination is a subclass of therapeutic process
(termFormat PortugueseLanguage TherapeuticProcess "Processo Terapeutico")	portuguese_format.kif 788-788	Vaccination is a subclass of therapeutic process
(termFormat cz TherapeuticProcess "therapeutic process")	terms-cz.txt 407-407	Vaccination is a subclass of therapeutic process
(termFormat de TherapeuticProcess "therapeutischer Prozess")	terms-de.txt 666-666	Vaccination is a subclass of therapeutic process
(termFormat ro TherapeuticProcess "proces terapeutic")	relations-ro.kif 857-857	Vaccination is a subclass of therapeutic process
(termFormat tg TherapeuticProcess "paraan sa panggagamot")	terms-tg.txt 372-372	Vaccination is a subclass of therapeutic process

KB Term:			Term intersection

English Word: