TreeView Knowledge Base Browser - StaphylococcusAureus

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	WMD.kif 1431-1431	发热是金黄色葡萄球菌的 biochemical 病毒征兆
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1432-1435
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4827-4827
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1430-1430	葡萄球菌肠毒素b 是金黄色葡萄球菌的 secretes 毒素
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1429-1429	金黄色葡萄球菌是细菌剂的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55038-55038
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55037-55037
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55036-55036