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.") Biography.kif 46-46
(domain weddingdate 1 Human) Biography.kif 47-47
(domain weddingdate 2 Human) Biography.kif 48-48
(domain weddingdate 3 Day) Biography.kif 49-49
(instance weddingdate TernaryPredicate) Biography.kif 50-50

appearance as argument number 2
-------------------------


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

antecedent
-------------------------


(=>
    (weddingdate ?PERSON1 ?PERSON2 ?DAY)
    (exists (?WEDDING)
        (and
            (instance ?WEDDING Wedding)
            (patient ?WEDDING ?PERSON1)
            (patient ?WEDDING ?PERSON2)
            (time ?WEDDING ?DAY))))
Biography.kif 52-59


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