TreeView Knowledge Base Browser - TherapeuticProcess

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

TherapeuticProcess

Sigma KEE - TherapeuticProcess

TherapeuticProcess(therapeutic process)

AI, CPR, ECT, EMDA, G-Jo, HRT, Heimlich_maneuver, Heimlich_manoeuvere, 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, block, booster, booster_dose...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3149-3150
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12099-12101
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12098-12098	Therapeutic process is a subclass of repairing

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5660-5660	Massaging is a subclass of therapeutic process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5733-5733	Relieving pain is a subclass of therapeutic process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12114-12114	Surgery is a subclass of therapeutic process
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1066-1066	Vaccination is a subclass of therapeutic process
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1158-1158
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1533-1533

antecedent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 12103-12112

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

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2591-2605	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7119-7132	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20818-20825	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
No TPTP formula. May not be expressible in strict first order.	Biography.kif 339-341	If registered nurse is an attribute of a human, then therapeutic process has an expertise in the human
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5650-5658	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9208-9213	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 an instrument for the process
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2281-2292	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
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 754-767	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5636-5644	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 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