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