InjuryCausedFn |
appearance as argument number 1 |
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 | 域子類 InjuryCausedFn, 1 and Process |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 396-396 | 例 InjuryCausedFn and UnaryFunction |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 399-399 | 範圍 InjuryCausedFn and Injury |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 401-401 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 698-715 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 403-410 |