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 |
Veklury is medicine for Covid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31644-31644 |
roomTempState Veklury and liquid |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 1267-1267 |
Veklury is a subclass of anti viral medicine |