No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 397-398 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 400-400 |
Le nombre 1 argument de InjuryCausedFn est une sous-classe de processus |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 396-396 |
InjuryCausedFn est une instance de function unaire |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 399-399 |
Le domaine de InjuryCausedFn est une instance de Injury |