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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 12240-12242
No TPTP formula. May not be expressible in strict first order. Merge.kif 12239-12239 Therapeutic process is a subclass of repairing

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 940-940 Anesthetizing is a subclass of therapeutic process
No TPTP formula. May not be expressible in strict first order. Medicine.kif 62-62 Applying a tourniquet is a subclass of therapeutic process
No TPTP formula. May not be expressible in strict first order. Medicine.kif 579-579 Cardio-pulmonary resuscitation is a subclass of therapeutic process
No TPTP formula. May not be expressible in strict first order. Medicine.kif 632-632 Defibrillation is a subclass of therapeutic process
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1069-1069 IV Therapy is a subclass of therapeutic process
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1170-1170 Intraosseous infusion is a subclass of therapeutic process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5700-5700 Massaging is a subclass of therapeutic process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5773-5773 Relieving pain is a subclass of therapeutic process
No TPTP formula. May not be expressible in strict first order. Merge.kif 12255-12255 Surgery is a subclass of therapeutic process
No TPTP formula. May not be expressible in strict first order. Medicine.kif 877-877 Needle decompression 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
No TPTP formula. May not be expressible in strict first order. french_format.kif 836-836
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 368-368
No TPTP formula. May not be expressible in strict first order. terms-it.txt 371-371
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2520-2520
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 788-788
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 407-407
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 857-857
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 372-372

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Medicine.kif 5819-5819 The number 2 argument of diseaseTreatment is a subclass of therapeutic process

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12244-12253

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 6338-6346
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2591-2605
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7159-7172
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21036-21043
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4481-4492
No TPTP formula. May not be expressible in strict first order. Biography.kif 571-573
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5690-5698
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9239-9244
No TPTP formula. May not be expressible in strict first order. Medicine.kif 666-675
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2281-2292
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9652-9665
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5676-5684


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