weddingdate |
appearance as argument number 1 |
![]() |
(documentation weddingdate EnglishLanguage "(weddingdate ?PERSON1 ?PERSON2 ?DAY) means that ?DAY is the day on which ?PERSON1 and ?PERSON2 were married.") | Biography.kif 46-46 | |
(domain weddingdate 1 Human) | Biography.kif 47-47 | |
(domain weddingdate 2 Human) | Biography.kif 48-48 | |
(domain weddingdate 3 Day) | Biography.kif 49-49 | |
(instance weddingdate TernaryPredicate) | Biography.kif 50-50 |
appearance as argument number 2 |
![]() |
(format ChineseLanguage weddingdate "%1 和 %2 之前是 married 在 %3 ") | domainEnglishFormat.kif 4987-4987 | |
(format ChineseTraditionalLanguage weddingdate "%1 和 %2 之前是 married 在 %3 ") | domainEnglishFormat.kif 4986-4986 | |
(format EnglishLanguage weddingdate "%1 and %2 were married on %3") | domainEnglishFormat.kif 4985-4985 |
antecedent |
![]() |
(=> (weddingdate ?PERSON1 ?PERSON2 ?DAY) (exists (?WEDDING) (and (instance ?WEDDING Wedding) (patient ?WEDDING ?PERSON1) (patient ?WEDDING ?PERSON2) (time ?WEDDING ?DAY)))) |
Biography.kif 52-59 |
![]() |
![]() |