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

Formal Language: 



KB Term:  Term intersection
English Word: 

  OralAntibiotic

 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 子類 口服抗生素 and 抗生素

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 273-273 蝨傳斑疹傷寒 是 對於 Ingesting 的 disease 治癒 口服抗生素
No TPTP formula. May not be expressible in strict first order. WMD.kif 261-261 落基山斑疹熱 是 對於 Ingesting 的 disease 治癒 口服抗生素
No TPTP formula. May not be expressible in strict first order. WMD.kif 1732-1732 結核 是 對於 Ingesting 的 disease 治癒 口服抗生素
No TPTP formula. May not be expressible in strict first order. WMD.kif 1302-1302 子類 環丙沙星 and 口服抗生素
No TPTP formula. May not be expressible in strict first order. WMD.kif 1296-1296 子類 多西環素 and 口服抗生素
No TPTP formula. May not be expressible in strict first order. WMD.kif 1308-1308 子類 對頭抱菌素IV and 口服抗生素
No TPTP formula. May not be expressible in strict first order. WMD.kif 1292-1292 子類 青黴素 and 口服抗生素
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 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