No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 217-217 |
ProgenyVacciniaVirusImmature est une sous-classe de VacciniaVirus |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 193-193 |
VacciniaVirion est une sous-classe de VacciniaVirus |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61162-61162 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61161-61161 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61160-61160 |
|