Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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 26493-26494
(domain weddingdate 1 Human) Mid-level-ontology.kif 26495-26495 The number 1 argument of weddingdate is an instance of human
(domain weddingdate 2 Human) Mid-level-ontology.kif 26496-26496 The number 2 argument of weddingdate is an instance of human
(domain weddingdate 3 Day) Mid-level-ontology.kif 26497-26497 The number 3 argument of weddingdate is an instance of day
(instance weddingdate TernaryPredicate) Mid-level-ontology.kif 26498-26498 weddingdate is an instance of ternary predicate

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


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

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 26500-26509 If X and Y were married on Z, then there exists W such that W is an instance of wedding, X is a patient of W, Y is a patient of W, equal X, Y, and date of W is Z

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 X is an instance of marriage certificate, Y is an instance of human, Z is an instance of human, and Y is the spouse of Z, then X contains the formula there exists W such that Y, Z were married on W, and W 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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners