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