jailer |
appearance as argument number 1 |
![]() |
(documentation jailer EnglishLanguage "A Relation between an agent of Imprisoning, which could be a Human or an Organization and the Human who is confined.") | Law.kif 288-290 | |
(domain jailer 1 Agent) | Law.kif 283-283 | |
(domain jailer 2 Human) | Law.kif 284-284 | |
(instance jailer BinaryPredicate) | Law.kif 282-282 |
appearance as argument number 2 |
![]() |
(format EnglishLanguage jailer "%1 jails %2") | Law.kif 286-286 | |
(termFormat EnglishLanguage jailer "jailer") | Law.kif 285-285 |
antecedent |
![]() |
(=> (jailer ?J ?H) (exists (?I) (and (instance ?I Imprisoning) (agent ?I ?J) (patient ?I ?H)))) |
Law.kif 292-298 |
![]() |
![]() |