TreeView 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
(domain jailer 2 Human)	Law.kif 243-243
(instance jailer BinaryPredicate)	Law.kif 241-241

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