Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - weddingdate
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


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