ScarletFever - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	WMD.kif 1761-1761	猩红热对于 %3 disease 孵化
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1762-1763
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6842-6842
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7816-7816
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7817-7817
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1760-1760	猩红热是细菌性疾病的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	WMD.kif 1750-1750	猩红热是链球菌a 的 biochemical 病毒征兆
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51483-51483
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51482-51482
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51481-51481