TreeView Knowledge Base Browser

appearance as argument number 1

(documentation baptizedplace EnglishLanguage "(baptizedplace ?PERSON ?PLACE) means that ?PLACE is the place where the ?PERSON was baptized.")	Biography.kif 191-192
(domain baptizedplace 1 Human)	Biography.kif 193-193	The number 1 argument of baptizedplace is an instance of human
(domain baptizedplace 2 Region)	Biography.kif 194-194	The number 2 argument of baptizedplace is an instance of region
(instance baptizedplace BinaryPredicate)	Biography.kif 195-195	baptizedplace is an instance of binary predicate

appearance as argument number 2

(format EnglishLanguage baptizedplace "%1 was baptizing in %2")	domainEnglishFormat.kif 2868-2868
(format ChineseTraditionalLanguage baptizedplace "%1 是在 %2 被 baptizing")	domainEnglishFormat.kif 2869-2869
(format ChineseLanguage baptizedplace "%1 是在 %2 被 baptizing")	domainEnglishFormat.kif 2870-2870
(termFormat EnglishLanguage baptizedplace "baptizedplace")	domainEnglishFormat.kif 65791-65791

antecedent

(=>
    (baptizedplace ?PERSON ?PLACE)
    (exists (?BAPTISM)
        (and
            (instance ?BAPTISM Baptizing)
            (experiencer ?BAPTISM ?PERSON)
            (eventLocated ?BAPTISM ?PLACE))))

Biography.kif 197-203

If X was baptizing in Y, then there exists Z such that Z is an instance of baptizing, X experiences Z, and Z is located at Y

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: