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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Ciprofloxacin
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 环丙沙星 and 固体
No TPTP formula. May not be expressible in strict first order. WMD.kif 1302-1302 环丙沙星口服抗生素subclass

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1140-1140 炭疽病 是 对于 消化dis​​ease 治愈 环丙沙星
No TPTP formula. May not be expressible in strict first order. WMD.kif 359-359 Burkholderia mallei 是 对于 消化dis​​ease 治愈 环丙沙星
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