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 25875-25876
(domain weddingdate 1 Human)	Mid-level-ontology.kif 25877-25877	The number 1 argument of weddingdate is an instance of human
(domain weddingdate 2 Human)	Mid-level-ontology.kif 25878-25878	The number 2 argument of weddingdate is an instance of human
(domain weddingdate 3 Day)	Mid-level-ontology.kif 25879-25879	The number 3 argument of weddingdate is an instance of day
(instance weddingdate TernaryPredicate)	Mid-level-ontology.kif 25880-25880	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 25882-25891

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 315-325

If a content bearing physical is an instance of marriage certificate 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: