Baptizing - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Baptizing Ceremony)	Mid-level-ontology.kif 9312-9312	Baptizing is a subclass of ceremony
(subclass Baptizing ReligiousProcess)	Mid-level-ontology.kif 9313-9313	Baptizing is a subclass of religious process
(subclass Baptizing JoiningAnOrganization)	Mid-level-ontology.kif 9314-9314	Baptizing is a subclass of joining an organization
(documentation Baptizing EnglishLanguage "A ReligiousProcess which marks the acceptance of the person being baptized into the ReligiousOrganization.")	Mid-level-ontology.kif 9315-9316	Baptizing is a subclass of joining an organization
(externalImage Baptizing "http://upload.wikimedia.org/wikipedia/commons/ 4/ 40/ Giovanni_di_Paolo_St_Ansanus_Baptizing.jpg")	pictureList.kif 4529-4529	Baptizing is a subclass of joining an organization
(externalImage Baptizing "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3d/ Baptism_of_cornelius.jpg")	pictureList.kif 4862-4862	Baptizing is a subclass of joining an organization

appearance as argument number 2

(termFormat EnglishLanguage Baptizing "baptizing")	domainEnglishFormat.kif 9856-9856
(termFormat ChineseTraditionalLanguage Baptizing "施洗")	domainEnglishFormat.kif 9857-9857
(termFormat ChineseLanguage Baptizing "施洗")	domainEnglishFormat.kif 9858-9858

antecedent

(=>
    (and
        (instance ?B Baptizing)
        (patient ?B ?H))
    (instance ?H Human))

If X is an instance of baptizing and Y is a patient of X, then Y is an instance of human

consequent

(=> (baptizeddate ?PERSON ?DAY) (exists (?BAPTISM) (and (instance ?BAPTISM Baptizing) (experiencer ?BAPTISM ?PERSON) (date ?BAPTISM ?DAY))))	Biography.kif 183-189	If X was baptizing on Y, then there exists Z such that Z is an instance of baptizing, X experiences Z, and date of Z is Y
(=> (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