AcquiredImmunoDeficiencySyndrome(acquired immuno deficiency syndrome) | AIDS, acquired_immune_deficiency_syndrome |
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 | Acquired immuno deficiency syndrome is a subclass of disease or syndrome |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1349-1349 | Acquired immuno deficiency syndrome is a biochemical agent syndrome of HIV virus |
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 |