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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Doxycycline

Sigma KEE - Doxycycline
Doxycycline(doxycycline)
Vibramycin, doxycycline

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1297-1300
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3802-3810
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4661-4661
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31596-31596 roomTempState doxycycline and solid
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3812-3812 Diarrhea is a side effect of taking doxycycline
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3811-3811 Nausea is a side effect of taking doxycycline
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3813-3813 Vomiting is a side effect of taking doxycycline
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3800-3800 Doxycycline is a subclass of antibiotic
No TPTP formula. May not be expressible in strict first order. WMD.kif 1296-1296 Doxycycline is a subclass of oral antibiotic

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1139-1139 Anthrax is disease treatment doxycycline for ingesting
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20292-20292
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20291-20291
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20290-20290


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