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 12010-12012
No TPTP formula. May not be expressible in strict first order. Merge.kif 12009-12009 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 5384-5384 Massaging is a subclass of therapeutic process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5457-5457 Relieving pain is a subclass of therapeutic process
No TPTP formula. May not be expressible in strict first order. Merge.kif 12025-12025 Surgery is a subclass of therapeutic process
No TPTP formula. May not be expressible in strict first order. WMD.kif 1060-1060 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 12014-12023

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2590-2604
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6819-6832
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20373-20380
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 5374-5382
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8850-8855
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2254-2265
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 754-763
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5360-5368


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