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 |
O argumento numero 1 de InjuryCausedFn e' uma sub-classe de Processo |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 396-396 |
InjuryCausedFn e' uma instancia de funcao Unaria |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 399-399 |
O contra-dominio de InjuryCausedFn e' uma instancia de Injury |