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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TopicalAntibiotic

Sigma KEE - TopicalAntibiotic
TopicalAntibiotic(topical antibiotic)

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1303-1304
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9748-9748
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8762-8762
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9749-9749
No TPTP formula. May not be expressible in strict first order. WMD.kif 1302-1302 Topical antibiotic is a subclass of antibiotic

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1310-1310 Bacitracin is a subclass of topical antibiotic
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58421-58421
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58420-58420
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58419-58419

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1306-1308


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