jailer - Sigma Knowledge base Browser

appearance as argument number 1

(instance jailer BinaryPredicate)	Law.kif 241-241	jailer is an instance of binary predicate
(domain jailer 1 AutonomousAgent)	Law.kif 242-242	The number 1 argument of jailer is an instance of agent
(domain jailer 2 Human)	Law.kif 243-243	The number 2 argument of jailer is an instance of human
(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 247-249	The number 2 argument of jailer is an instance of human

appearance as argument number 2

(termFormat EnglishLanguage jailer "jailer")	Law.kif 244-244
(format EnglishLanguage jailer "%1 jails %2")	Law.kif 245-245

antecedent

(=>
    (jailer ?J ?H)
    (exists (?I)
        (and
            (instance ?I Imprisoning)
            (agent ?I ?J)
            (patient ?I ?H))))

If X jails Y, then there exists Z such that Z is an instance of imprisoning, X is an agent of Z, and Y is a patient of Z