No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5810-5810 |
CardiogenicShock e' um sub-atributo de Shock |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5814-5814 |
DistributiveShock e' um sub-atributo de Shock |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5808-5808 |
LowVolumeShock e' um sub-atributo de Shock |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5812-5812 |
ObstructiveShock e' um sub-atributo de Shock |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5794-5794 |
|