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 ChineseLanguage baptizedplace "%1 是在 %2 被 baptizing")	domainEnglishFormat.kif 2870-2870
(format ChineseTraditionalLanguage baptizedplace "%1 是在 %2 被 baptizing")	domainEnglishFormat.kif 2869-2869
(format EnglishLanguage baptizedplace "%1 was baptizing in %2")	domainEnglishFormat.kif 2868-2868
(termFormat EnglishLanguage baptizedplace "baptizedplace")	domainEnglishFormat.kif 65781-65781

antecedent

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

Biography.kif 197-203

If a human was baptizing in a region,
then there exists a process such that the process is an instance of baptizing and the human experiences the process and the process is located at the region

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

KB Term:			Term intersection

English Word: