No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6421-6421 |
例 AVPUAlertStatus and AVPUStatus |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6461-6461 |
例 AVPUPainStatus and AVPUStatus |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6484-6484 |
例 AVPUUnresponsiveStatus and AVPUStatus |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6439-6439 |
例 AVPUVerbalStatus and AVPUStatus |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6419-6419 |
|