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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Ciprofloxacin
Ciprofloxacin(ciprofloxacin)
Cipro, ciprofloxacin

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1303-1306
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5914-5914
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31584-31584 roomTempState ciprofloxacin and solid
No TPTP formula. May not be expressible in strict first order. WMD.kif 1302-1302 Ciprofloxacin is a subclass of oral antibiotic

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1140-1140 Anthrax is disease treatment ciprofloxacin 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. domainEnglishFormat.kif 14856-14856
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14855-14855
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14854-14854


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