| 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 24497-24498 | |
| (domain weddingdate 1 Human) | Mid-level-ontology.kif 24499-24499 | |
| (domain weddingdate 2 Human) | Mid-level-ontology.kif 24500-24500 | |
| (domain weddingdate 3 Day) | Mid-level-ontology.kif 24501-24501 | |
| (instance weddingdate TernaryPredicate) | Mid-level-ontology.kif 24502-24502 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage weddingdate "%1 和 %2 之前是 married 在 %3 ") | domainEnglishFormat.kif 4982-4982 | |
| (format ChineseTraditionalLanguage weddingdate "%1 和 %2 之前是 married 在 %3 ") | domainEnglishFormat.kif 4981-4981 | |
| (format EnglishLanguage weddingdate "%1 and %2 were married on %3") | domainEnglishFormat.kif 4980-4980 | |
| (termFormat EnglishLanguage weddingdate "weddingdate") | domainEnglishFormat.kif 66035-66035 |
| 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 24504-24513 |
| 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 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners