perpetrator |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Law.kif 276-278 | |
No TPTP formula. May not be expressible in strict first order. | Law.kif 272-272 | O argumento numero 1 de perpetrator e' uma instancia de CriminalAction |
No TPTP formula. May not be expressible in strict first order. | Law.kif 270-270 | perpetrator e' uma instancia de Role em Caso |
No TPTP formula. May not be expressible in strict first order. | Law.kif 271-271 | perpetrator e' uma sub-relacao de agent |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Law.kif 274-274 | |
No TPTP formula. May not be expressible in strict first order. | Law.kif 273-273 |
![]() |
![]() |