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 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 1265-1267
No TPTP formula. May not be expressible in strict first order. WMD.kif 1313-1317
No TPTP formula. May not be expressible in strict first order. WMD.kif 1279-1281
No TPTP formula. May not be expressible in strict first order. WMD.kif 1306-1308

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 1269-1273

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1132-1132 Anthrax is disease treatment ciprofloxacin for ingesting
No TPTP formula. May not be expressible in strict first order. WMD.kif 1131-1131 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 1570-1570 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 1723-1723 Tuberculosis is disease treatment oral antibiotic for ingesting
No TPTP formula. May not be expressible in strict first order. WMD.kif 1350-1350 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