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

Formal Language: 



KB Term:  Term intersection
English Word: 

  diseaseTreatment

Sigma KEE - diseaseTreatment
diseaseTreatment

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 893-897
No TPTP formula. May not be expressible in strict first order. WMD.kif 890-890 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 891-891 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 892-892 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 889-889 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 780-780
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 779-779
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 778-778
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19756-19756
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19755-19755
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19754-19754

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 912-916
No TPTP formula. May not be expressible in strict first order. WMD.kif 918-922
No TPTP formula. May not be expressible in strict first order. WMD.kif 899-910
No TPTP formula. May not be expressible in strict first order. WMD.kif 1192-1194
No TPTP formula. May not be expressible in strict first order. WMD.kif 1240-1244
No TPTP formula. May not be expressible in strict first order. WMD.kif 1206-1208
No TPTP formula. May not be expressible in strict first order. WMD.kif 1233-1235

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 912-916
No TPTP formula. May not be expressible in strict first order. WMD.kif 918-922
No TPTP formula. May not be expressible in strict first order. WMD.kif 1196-1200

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1059-1059 Anthrax is disease treatment ciprofloxacin for ingesting
No TPTP formula. May not be expressible in strict first order. WMD.kif 1058-1058 Anthrax is disease treatment doxycycline for ingesting
No TPTP formula. May not be expressible in strict first order. WMD.kif 359-359 Burkholderia mallei is disease treatment ciprofloxacin for ingesting
No TPTP formula. May not be expressible in strict first order. WMD.kif 273-273 Louse borne typhus is disease treatment oral antibiotic for ingesting
No TPTP formula. May not be expressible in strict first order. WMD.kif 1444-1444 Pertussis is disease treatment antibiotic for ingesting
No TPTP formula. May not be expressible in strict first order. WMD.kif 261-261 Rocky mountain spotted fever is disease treatment oral antibiotic for ingesting
No TPTP formula. May not be expressible in strict first order. WMD.kif 1598-1598 Tuberculosis is disease treatment oral antibiotic for ingesting
No TPTP formula. May not be expressible in strict first order. WMD.kif 1277-1277 Typhoid fever is disease treatment antibiotic for ingesting


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