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 液体 |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 1266-1266 |
Remdesivir 是 AntiViralMedicine 的 subclass |