No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1751-1751 |
坏死性筋膜炎 是 链球菌a 的 biochemical 病毒征兆 |
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. |
WMD.kif 1749-1749 |
咽喉炎 是 链球菌a 的 biochemical 病毒征兆 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1752-1753 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8739-8739 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1748-1748 |
链球菌a 是 细菌剂 的 subclass |