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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - diseaseTreatment
diseaseTreatment

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 884-888
No TPTP formula. May not be expressible in strict first order. WMD.kif 881-881 The number 1 argument of disease treatment is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. WMD.kif 882-882 The number 2 argument of disease treatment is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. WMD.kif 883-883 The number 3 argument of disease treatment is a subclass of process
No TPTP formula. May not be expressible in strict first order. WMD.kif 880-880 disease treatment is an instance of ternary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 204-204
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3725-3725 "disease treatment" is the printable form of disease treatment in english language

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 903-907
No TPTP formula. May not be expressible in strict first order. WMD.kif 909-913
No TPTP formula. May not be expressible in strict first order. WMD.kif 890-901
No TPTP formula. May not be expressible in strict first order. WMD.kif 1176-1178
No TPTP formula. May not be expressible in strict first order. WMD.kif 1223-1227
No TPTP formula. May not be expressible in strict first order. WMD.kif 1189-1191
No TPTP formula. May not be expressible in strict first order. WMD.kif 1216-1218

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 903-907
No TPTP formula. May not be expressible in strict first order. WMD.kif 909-913
No TPTP formula. May not be expressible in strict first order. WMD.kif 1180-1183

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. WMD.kif 1050-1050 Anthrax disease treatment ciprofloxacin for ingesting
No TPTP formula. May not be expressible in strict first order. WMD.kif 1049-1049 Anthrax disease treatment doxycycline for ingesting
No TPTP formula. May not be expressible in strict first order. WMD.kif 359-359 Burkholderia mallei disease treatment ciprofloxacin for ingesting
No TPTP formula. May not be expressible in strict first order. WMD.kif 273-273 Louse borne typhus disease treatment oral antibiotic for ingesting
No TPTP formula. May not be expressible in strict first order. WMD.kif 1427-1427 Pertussis disease treatment antibiotic for ingesting
No TPTP formula. May not be expressible in strict first order. WMD.kif 261-261 Rocky mountain spotted fever disease treatment oral antibiotic for ingesting
No TPTP formula. May not be expressible in strict first order. WMD.kif 1581-1581 Tuberculosis disease treatment oral antibiotic for ingesting
No TPTP formula. May not be expressible in strict first order. WMD.kif 1260-1260 Typhoid fever disease treatment antibiotic for ingesting


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