No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6315-6315 | Bleedout est une sous-classe de Bleeding |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6316-6316 | Bleedout est une sous-classe de mort |