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.") | Mid-level-ontology.kif 24266-24267 | |
(domain weddingdate 1 Human) | Mid-level-ontology.kif 24268-24268 | The number 1 argument of weddingdate is an instance of human |
(domain weddingdate 2 Human) | Mid-level-ontology.kif 24269-24269 | The number 2 argument of weddingdate is an instance of human |
(domain weddingdate 3 Day) | Mid-level-ontology.kif 24270-24270 | The number 3 argument of weddingdate is an instance of day |
(instance weddingdate TernaryPredicate) | Mid-level-ontology.kif 24271-24271 | weddingdate is an instance of ternary predicate |
appearance as argument number 2 |
(format ChineseLanguage weddingdate "%1 和 %2 之前是 married 在 %3 ") | domainEnglishFormat.kif 4978-4978 | |
(format ChineseTraditionalLanguage weddingdate "%1 和 %2 之前是 married 在 %3 ") | domainEnglishFormat.kif 4977-4977 | |
(format EnglishLanguage weddingdate "%1 and %2 were married on %3") | domainEnglishFormat.kif 4976-4976 | |
(termFormat EnglishLanguage weddingdate "weddingdate") | domainEnglishFormat.kif 65972-65972 |
antecedent |
(=> (weddingdate ?PERSON1 ?PERSON2 ?DAY) (exists (?WEDDING) (and (instance ?WEDDING Wedding) (patient ?WEDDING ?PERSON1) (patient ?WEDDING ?PERSON2) (not (equal ?PERSON1 ?PERSON2)) (date ?WEDDING ?DAY)))) |
Mid-level-ontology.kif 24273-24282 |
|
consequent |
(=> (and (instance ?TEXT MarriageCertificate) (instance ?A Human) (instance ?B Human) (spouse ?A ?B)) (containsFormula ?TEXT (exists (?DAY) (and (weddingdate ?A ?B ?DAY) (instance ?DAY Day))))) |
Biography.kif 307-317 |
|