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 31665-31665 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 45026-45026
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45025-45025
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45024-45024


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