ViralCore(病毒核心) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1153-1154 | |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1152-1152 | 子類 病毒核心 and 病毒部分 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61700-61700 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61699-61699 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61698-61698 |
consequent |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1185-1196 | |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1205-1210 |