No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 1273-1278 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 1271-1271 |
medicine Remdesivir and Covid19 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31676-31676 |
roomTempState Remdesivir and Liquid |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 1268-1268 |
Remdesivir est une sous-classe de AntiViralMedicine |