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 24209-24210
(domain weddingdate 1 Human) Mid-level-ontology.kif 24211-24211 The number 1 argument of weddingdate is an instance of human
(domain weddingdate 2 Human) Mid-level-ontology.kif 24212-24212 The number 2 argument of weddingdate is an instance of human
(domain weddingdate 3 Day) Mid-level-ontology.kif 24213-24213 The number 3 argument of weddingdate is an instance of day
(instance weddingdate TernaryPredicate) Mid-level-ontology.kif 24214-24214 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 65970-65970

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 24216-24225

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