| AcquiredImmunoDeficiencySyndrome(获得性免疫缺陷综合症) | |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1343-1345 | |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1342-1342 | 获得性免疫缺陷综合症 是 疾病或综合症 的 subclass |
| appearance as argument number 2 |
|
|
| 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. | domainEnglishFormat.kif 8082-8082 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8081-8081 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8080-8080 |
|
|
|