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 |
The number 1 argument of InjuryCausedFn is a subclass of process |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 396-396 |
InjuryCausedFn is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 399-399 |
The range of InjuryCausedFn is an instance of injury |