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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Bacitracin
Bacitracin(bacitracin)
bacitracin

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


s__documentation(s__Bacitracin,s__EnglishLanguage,'"A common topical antibiotic."')

WMD.kif 1305-1305
s__externalImage(s__Bacitracin,'"http://upload.wikimedia.org/wikipedia/commons/ 3/ 34/ Bacitracin.png"')

pictureList.kif 4522-4522
s__instance(s__Bacitracin,s__SetOrClass)

s__subclass(s__Bacitracin,s__TopicalAntibiotic)

s__instance(s__TopicalAntibiotic,s__SetOrClass)

WMD.kif 1304-1304 Bacitracin is a subclass of topical antibiotic

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


s__termFormat(s__ChineseLanguage,s__Bacitracin,'"杆菌肽"')

domainEnglishFormat.kif 9513-9513
s__termFormat(s__ChineseTraditionalLanguage,s__Bacitracin,'"桿菌肽"')

domainEnglishFormat.kif 9512-9512
s__termFormat(s__EnglishLanguage,s__Bacitracin,'"bacitracin"')

domainEnglishFormat.kif 9511-9511

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


( ! [V__PROCESS,V__DISEASE] :
   (((s__subclass(V__PROCESS,s__Process) &
         s__instance(V__DISEASE,s__DiseaseOrSyndrome))
       =>
       ((s__diseaseTreatment(V__DISEASE,s__Bacitracin,V__PROCESS)
         =>
         ((s__instance(V__DISEASE,s__BacterialDisease) &
             s__instance(V__PROCESS,s__Putting))))))
   )
)

WMD.kif 1307-1311


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