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 245-247 | |
(domain jailer 1 AutonomousAgent) | Law.kif 240-240 | Il numero 1 argomenti di jailer è un istanza di AutonomousAgent |
(domain jailer 2 Human) | Law.kif 241-241 | Il numero 2 argomenti di jailer è un istanza di Umano |
(instance jailer BinaryPredicate) | Law.kif 239-239 | jailer è un' istanza di PredicatoBinario |
appearance as argument number 2 |
(format EnglishLanguage jailer "%1 jails %2") | Law.kif 243-243 | |
(termFormat EnglishLanguage jailer "jailer") | Law.kif 242-242 |
antecedent |
(=> (jailer ?J ?H) (exists (?I) (and (instance ?I Imprisoning) (agent ?I ?J) (patient ?I ?H)))) |
Law.kif 249-255 |
|