No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1348-1348 |
有性繁殖 是 HIV病毒 的 biochemical 病毒传递 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1349-1349 |
获得性免疫缺陷综合症 是 HIV病毒 的 biochemical 病毒征兆 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1350-1350 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 486-486 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1347-1347 |
HIV病毒 是 病毒剂 的 subclass |