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

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


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 7119-7132
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20818-20825
No TPTP formula. May not be expressible in strict first order. Biography.kif 339-341
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5650-5658
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9208-9213
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. VirusProteinAndCellPart.kif 754-767
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5636-5644


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