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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Penicillin

Sigma KEE - Penicillin
Penicillin(penicillin)
Amoxil, Augmentin, Fulvicin, Larotid, Ledercillin_VK, Nafcil, Pipracil, Polycillin, Polymox, Principen, SK-Ampicillin, Trimox, amoxicillin, ampicillin, benzylpenicillin, griseofulvin, methicillin, nafcillin, oxacillin, penicillin, penicillin_F, penicillin_G, penicillin_O, penicillin_V, penicillin_V_potassium, penicillinase-resistant_antibiotic, phenoxymethyl_penicillin, piperacillin

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1293-1294
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7514-7514
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7515-7515
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7516-7516
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6757-6757
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31633-31633 roomTempState penicillin and solid
No TPTP formula. May not be expressible in strict first order. WMD.kif 1292-1292 Penicillin is a subclass of oral antibiotic

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 5437-5437 Aminopenicillin is a subclass of penicillin
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45024-45024
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45023-45023
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45022-45022


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