jailer - Sigma Knowledge base Browser

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 247-249
(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
(instance jailer BinaryPredicate)	Law.kif 241-241	jailer is an instance of binary predicate

appearance as argument number 2

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

antecedent

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

Law.kif 251-257