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 weddingdate の数値 1 引数は 人[人間]instance では %n
(domain weddingdate 2 Human) Mid-level-ontology.kif 24212-24212 weddingdate の数値 2 引数は 人[人間]instance では %n
(domain weddingdate 3 Day) Mid-level-ontology.kif 24213-24213 weddingdate の数値 3 引数は instance では %n
(instance weddingdate TernaryPredicate) Mid-level-ontology.kif 24214-24214 weddingdate3進述語instance では %n

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