Penicillin - Sigma Knowledge base Browser

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 青黴素 and 固體
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1292-1292	子類青黴素 and 口服抗生素

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5437-5437	子類 Aminopenicillin and 青黴素
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