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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Wedding

Sigma KEE - Wedding
Wedding(wedding)
conjoin, espouse, get_hitched_with, get_married, hook_up_with, hymeneals, inmarry, marry, nuptials, wed, wedding, wedding_ceremony, wive

appearance as argument number 1
-------------------------


(documentation Wedding EnglishLanguage "Any Declaring that leads to one person being the spouse of another.") Mid-level-ontology.kif 7631-7632
(externalImage Wedding "http://upload.wikimedia.org/wikipedia/commons/a/ ac/ 2005-09-02-hochzeit-31.jpg") pictureList.kif 3284-3284
(externalImage Wedding "http://upload.wikimedia.org/wikipedia/commons/c/ c1/ Wedding.smallgroup.arp.750pix.jpg") pictureList.kif 3039-3039
(externalImage Wedding "http://upload.wikimedia.org/wikipedia/commons/c/ c1/ You_may_now_kiss_the_bride.jpg") pictureList.kif 3285-3285
(subclass Wedding Ceremony) Mid-level-ontology.kif 7629-7629 Wedding is a subclass of Ceremony
(subclass Wedding Declaring) Mid-level-ontology.kif 7630-7630 Wedding is a subclass of declaring

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


(termFormat ChineseLanguage Wedding "婚礼") domainEnglishFormat.kif 62616-62616
(termFormat ChineseTraditionalLanguage Wedding "婚禮") domainEnglishFormat.kif 62615-62615
(termFormat EnglishLanguage Wedding "wedding") domainEnglishFormat.kif 62614-62614

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


(=>
    (instance ?WED Wedding)
    (exists (?PERSON1 ?PERSON2)
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?WED))
            (spouse ?PERSON1 ?PERSON2))))
Mid-level-ontology.kif 7634-7639

consequent
-------------------------


(=>
    (and
        (holdsDuring ?T1
            (spouse ?P1 ?P2))
        (instance ?T1 TimeInterval))
    (exists (?WED)
        (and
            (instance ?WED Wedding)
            (patient ?WED ?P1)
            (patient ?WED ?P2)
            (earlier
                (WhenFn ?WED) ?T1))))
Mid-level-ontology.kif 7641-7651
(=>
    (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