Baptizing |
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 8021-8022 | |
(externalImage Baptizing "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3d/ Baptism_of_cornelius.jpg") | pictureList.kif 4863-4863 | |
(externalImage Baptizing "http://upload.wikimedia.org/wikipedia/commons/ 4/ 40/ Giovanni_di_Paolo_St_Ansanus_Baptizing.jpg") | pictureList.kif 4530-4530 | |
(subclass Baptizing Ceremony) | Mid-level-ontology.kif 8018-8018 | |
(subclass Baptizing JoiningAnOrganization) | Mid-level-ontology.kif 8020-8020 | |
(subclass Baptizing ReligiousProcess) | Mid-level-ontology.kif 8019-8019 |
appearance as argument number 2 |
(termFormat ChineseLanguage Baptizing "施洗") | domainEnglishFormat.kif 9858-9858 | |
(termFormat ChineseTraditionalLanguage Baptizing "施洗") | domainEnglishFormat.kif 9857-9857 | |
(termFormat EnglishLanguage Baptizing "baptizing") | domainEnglishFormat.kif 9856-9856 |
antecedent |
(=> (and (instance ?B Baptizing) (patient ?B ?H)) (instance ?H Human)) |
Mid-level-ontology.kif 8024-8028 |
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 |