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 931-935
No TPTP formula. May not be expressible in strict first order. WMD.kif 928-928 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 929-929 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 930-930 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 927-927 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 19815-19815
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19814-19814
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19813-19813

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 950-954
No TPTP formula. May not be expressible in strict first order. WMD.kif 956-960
No TPTP formula. May not be expressible in strict first order. WMD.kif 937-948
No TPTP formula. May not be expressible in strict first order. WMD.kif 1264-1266
No TPTP formula. May not be expressible in strict first order. WMD.kif 1312-1316
No TPTP formula. May not be expressible in strict first order. WMD.kif 1278-1280
No TPTP formula. May not be expressible in strict first order. WMD.kif 1305-1307

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 950-954
No TPTP formula. May not be expressible in strict first order. WMD.kif 956-960
No TPTP formula. May not be expressible in strict first order. WMD.kif 1268-1272

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1131-1131 Anthrax is disease treatment ciprofloxacin for ingesting
No TPTP formula. May not be expressible in strict first order. WMD.kif 1130-1130 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 1569-1569 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 1722-1722 Tuberculosis is disease treatment oral antibiotic for ingesting
No TPTP formula. May not be expressible in strict first order. WMD.kif 1349-1349 Typhoid fever is 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 3.0 is open source software produced by Articulate Software and its partners