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, ProcessoTerapeutico, Processo_Terapeutico, aarogyakara_prakriyaa, 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...

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 12036-12037
No TPTP formula. May not be expressible in strict first order. Merge.kif 12033-12035
No TPTP formula. May not be expressible in strict first order. Merge.kif 12032-12032 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 5935-5935 Massaging is a subclass of therapeutic process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5941-5941 Relieving pain is a subclass of therapeutic process
No TPTP formula. May not be expressible in strict first order. Merge.kif 12050-12050 Surgery is a subclass of therapeutic process
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1158-1158 "治疗过程" is the printable form of therapeutic process in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 845-845 "therapeutic process" is the printable form of therapeutic process in english language
No TPTP formula. May not be expressible in strict first order. french_format.kif 836-836 "processus therapeutique" is the printable form of therapeutic process in french language
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 368-368 "aarogyakara prakriyaa" is the printable form of therapeutic process in Hindi
No TPTP formula. May not be expressible in strict first order. terms-it.txt 369-369 "ProcessoTerapeutico" is the printable form of therapeutic process in italian language
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 788-788 "Processo Terapeutico" is the printable form of therapeutic process in portuguese language
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 407-407 "therapeutic process" is the printable form of therapeutic process in cz
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 372-372 "paraan sa panggagamot" is the printable form of therapeutic process in tg

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12039-12048

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2558-2572
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18296-18303
No TPTP formula. May not be expressible in strict first order. Biography.kif 333-335
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5925-5933
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8948-8953
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2222-2233
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5912-5920


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners