weddingdate - Sigma Knowledge base Browser

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	The number 1 argument of weddingdate is an instance of human
(domain weddingdate 2 Human)	Mid-level-ontology.kif 24500-24500	The number 2 argument of weddingdate is an instance of human
(domain weddingdate 3 Day)	Mid-level-ontology.kif 24501-24501	The number 3 argument of weddingdate is an instance of day
(instance weddingdate TernaryPredicate)	Mid-level-ontology.kif 24502-24502	weddingdate is an instance of ternary predicate

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 66032-66032

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

If a human and another human were married on a day,
then there exists a process such that the process is an instance of wedding and the human is a patient of the process and the other human is a patient of the process and the human is not equal to the other human and date of the process is the day

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

If a content bearing physical is an instance of MarriageCertificate and a human is an instance of human and another human is an instance of human and the human is the spouse of the other human,
then the content bearing physical contains the formula there exists an entity such that the human and the other human were married on the entity and the entity is an instance of day

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

KB Term:			Term intersection

English Word: