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 | The number 1 argument of perpetrator is an instance of criminal action |
No TPTP formula. May not be expressible in strict first order. | Law.kif 270-270 | perpetrator is an instance of case role |
No TPTP formula. May not be expressible in strict first order. | Law.kif 271-271 | perpetrator is a subrelation of 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 |