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 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