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 多西环素 是 抗生素 的 subclass
No TPTP formula. May not be expressible in strict first order. WMD.kif 1296-1296 多西环素 是 口服抗生素 的 subclass

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1139-1139 炭疽病 是 对于 消化 的 dis​​ease 治愈 多西环素
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