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 25856-25857
(domain weddingdate 1 Human) Mid-level-ontology.kif 25858-25858
(domain weddingdate 2 Human) Mid-level-ontology.kif 25859-25859
(domain weddingdate 3 Day) Mid-level-ontology.kif 25860-25860
(instance weddingdate TernaryPredicate) Mid-level-ontology.kif 25861-25861

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


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

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 25863-25872

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


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