baptizedplace |
appearance as argument number 1 |
(documentation baptizedplace EnglishLanguage "(baptizedplace ?PERSON ?PLACE) means that ?PLACE is the place where the ?PERSON was baptized.") | Biography.kif 186-187 | |
(domain baptizedplace 1 Human) | Biography.kif 188-188 | Il numero 1 argomenti di baptizedplace è un istanza di Umano |
(domain baptizedplace 2 Region) | Biography.kif 189-189 | Il numero 2 argomenti di baptizedplace è un istanza di Regione |
(instance baptizedplace BinaryPredicate) | Biography.kif 190-190 | baptizedplace è un' istanza di PredicatoBinario |
appearance as argument number 2 |
(format ChineseLanguage baptizedplace "%1 是在 %2 被 baptizing") | domainEnglishFormat.kif 2874-2874 | |
(format ChineseTraditionalLanguage baptizedplace "%1 是在 %2 被 baptizing") | domainEnglishFormat.kif 2873-2873 | |
(format EnglishLanguage baptizedplace "%1 was baptizing in %2") | domainEnglishFormat.kif 2872-2872 | |
(termFormat EnglishLanguage baptizedplace "baptizedplace") | domainEnglishFormat.kif 65787-65787 |
antecedent |
(=> (baptizedplace ?PERSON ?PLACE) (exists (?BAPTISM) (and (instance ?BAPTISM Baptizing) (experiencer ?BAPTISM ?PERSON) (eventLocated ?BAPTISM ?PLACE)))) |
Biography.kif 192-198 |