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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TherapeuticProcess
TherapeuticProcess(processus therapeutique)

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 12286-12288
No TPTP formula. May not be expressible in strict first order. Merge.kif 12285-12285 Processus therapeutique est une sous-classe de r�parer

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 940-940 Anesthetizing est une sous-classe de processus therapeutique
No TPTP formula. May not be expressible in strict first order. Medicine.kif 62-62 ApplyingTourniquet est une sous-classe de processus therapeutique
No TPTP formula. May not be expressible in strict first order. Medicine.kif 579-579 CPR est une sous-classe de processus therapeutique
No TPTP formula. May not be expressible in strict first order. Medicine.kif 632-632 Defibrillation est une sous-classe de processus therapeutique
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1069-1069 IVTherapy est une sous-classe de processus therapeutique
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1170-1170 IntraosseousInfusion est une sous-classe de processus therapeutique
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5694-5694 Massaging est une sous-classe de processus therapeutique
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5767-5767 RelievingPain est une sous-classe de processus therapeutique
No TPTP formula. May not be expressible in strict first order. Merge.kif 12301-12301 Chirurgie est une sous-classe de processus therapeutique
No TPTP formula. May not be expressible in strict first order. Medicine.kif 877-877 Thoracentesis est une sous-classe de processus therapeutique
No TPTP formula. May not be expressible in strict first order. WMD.kif 1066-1066 Vaccination est une sous-classe de processus therapeutique
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 Le nombre 2 argument de diseaseTreatment est une sous-classe de processus therapeutique

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12290-12299

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 2642-2656
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7186-7199
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21063-21070
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 5684-5692
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9266-9271
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 9679-9692
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5670-5678


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