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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - OralAntibiotic
OralAntibiotic(口服抗生素)

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1285-1286
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11577-11577
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10174-10174
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11579-11579
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11578-11578
No TPTP formula. May not be expressible in strict first order. WMD.kif 1284-1284 口服抗生素抗生素subclass

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 273-273 虱传斑疹伤寒 是 对于 消化dis​​ease 治愈 口服抗生素
No TPTP formula. May not be expressible in strict first order. WMD.kif 261-261 落基山斑疹热 是 对于 消化dis​​ease 治愈 口服抗生素
No TPTP formula. May not be expressible in strict first order. WMD.kif 1732-1732 结核 是 对于 消化dis​​ease 治愈 口服抗生素
No TPTP formula. May not be expressible in strict first order. WMD.kif 1302-1302 环丙沙星口服抗生素subclass
No TPTP formula. May not be expressible in strict first order. WMD.kif 1296-1296 多西环素口服抗生素subclass
No TPTP formula. May not be expressible in strict first order. WMD.kif 1308-1308 对头抱菌素IV口服抗生素subclass
No TPTP formula. May not be expressible in strict first order. WMD.kif 1292-1292 青霉素口服抗生素subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42390-42390
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42389-42389
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42388-42388

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. WMD.kif 1288-1290


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