No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5810-5810 |
CardiogenicShock est un sous-attribut de Shock |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5814-5814 |
DistributiveShock est un sous-attribut de Shock |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5808-5808 |
LowVolumeShock est un sous-attribut de Shock |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5812-5812 |
ObstructiveShock est un sous-attribut de Shock |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5794-5794 |
|