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

Formal Language: 



KB Term:  Term intersection
English Word: 

  weddingdate

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 Le nombre 1 argument de weddingdate est une instance de humain
(domain weddingdate 2 Human) Mid-level-ontology.kif 24212-24212 Le nombre 2 argument de weddingdate est une instance de humain
(domain weddingdate 3 Day) Mid-level-ontology.kif 24213-24213 Le nombre 3 argument de weddingdate est une instance de jour
(instance weddingdate TernaryPredicate) Mid-level-ontology.kif 24214-24214 weddingdate est une instance de pr�dicat ternaire

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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