No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 1272-1277 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 1270-1270 |
medicine Remdesivir and Covid19 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31644-31644 |
roomTempState Remdesivir and 液体 |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 1267-1267 |
Remdesivir 是 AntiViralMedicine 的 subclass |