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 25328-25329
(domain weddingdate 1 Human)	Mid-level-ontology.kif 25330-25330	The number 1 argument of weddingdate is an instance of human
(domain weddingdate 2 Human)	Mid-level-ontology.kif 25331-25331	The number 2 argument of weddingdate is an instance of human
(domain weddingdate 3 Day)	Mid-level-ontology.kif 25332-25332	The number 3 argument of weddingdate is an instance of day
(instance weddingdate TernaryPredicate)	Mid-level-ontology.kif 25333-25333	weddingdate is an instance of ternary predicate

appearance as argument number 2

(format ChineseLanguage weddingdate "%1 和 %2 之前是 married 在 %3 ")	domainEnglishFormat.kif 4986-4986
(format ChineseTraditionalLanguage weddingdate "%1 和 %2 之前是 married 在 %3 ")	domainEnglishFormat.kif 4985-4985
(format EnglishLanguage weddingdate "%1 and %2 were married on %3")	domainEnglishFormat.kif 4984-4984
(termFormat EnglishLanguage weddingdate "weddingdate")	domainEnglishFormat.kif 66033-66033

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 25335-25344

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: