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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Doxycycline

 Sigma KEE - Doxycycline
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 多西環素 and 固體
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3812-3812 腹瀉 是服用 多西環素 的 side effect
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3811-3811 Nausea 是服用 多西環素 的 side effect
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3813-3813 Vomiting 是服用 多西環素 的 side effect
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3800-3800 子類 多西環素 and 抗生素
No TPTP formula. May not be expressible in strict first order. WMD.kif 1296-1296 子類 多西環素 and 口服抗生素

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1139-1139 炭疽病 是 對於 Ingesting 的 disease 治癒 多西環素
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