| Baptizing(baptizing)
| | baptise, baptize, christen |
| appearance as argument number 1 |
|
|
| (documentation Baptizing EnglishLanguage "A ReligiousProcess which marks the acceptance of the person being baptized into the ReligiousOrganization.") | Mid-level-ontology.kif 8694-8695 | |
| (externalImage Baptizing "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3d/ Baptism_of_cornelius.jpg") | pictureList.kif 4862-4862 | |
| (externalImage Baptizing "http://upload.wikimedia.org/wikipedia/commons/ 4/ 40/ Giovanni_di_Paolo_St_Ansanus_Baptizing.jpg") | pictureList.kif 4529-4529 | |
| (subclass Baptizing Ceremony) | Mid-level-ontology.kif 8691-8691 | Baptizing is a subclass of ceremony |
| (subclass Baptizing JoiningAnOrganization) | Mid-level-ontology.kif 8693-8693 | Baptizing is a subclass of joining an organization |
| (subclass Baptizing ReligiousProcess) | Mid-level-ontology.kif 8692-8692 | Baptizing is a subclass of religious process |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Baptizing "施洗") | domainEnglishFormat.kif 9865-9865 | |
| (termFormat ChineseTraditionalLanguage Baptizing "施洗") | domainEnglishFormat.kif 9864-9864 | |
| (termFormat EnglishLanguage Baptizing "baptizing") | domainEnglishFormat.kif 9863-9863 |
| antecedent |
|
|
| (=> (and (instance ?B Baptizing) (patient ?B ?H)) (instance ?H Human)) |
Mid-level-ontology.kif 8697-8701 |
|
| consequent |
|
|
| (=> (baptizeddate ?PERSON ?DAY) (exists (?BAPTISM) (and (instance ?BAPTISM Baptizing) (experiencer ?BAPTISM ?PERSON) (date ?BAPTISM ?DAY)))) |
Biography.kif 178-184 |
|
| (=> (baptizedplace ?PERSON ?PLACE) (exists (?BAPTISM) (and (instance ?BAPTISM Baptizing) (experiencer ?BAPTISM ?PERSON) (eventLocated ?BAPTISM ?PLACE)))) |
Biography.kif 192-198 |
|
|
|
|