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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 7962-7963
(externalImage Wedding "http://upload.wikimedia.org/wikipedia/commons/a/ ac/ 2005-09-02-hochzeit-31.jpg") pictureList.kif 3283-3283
(externalImage Wedding "http://upload.wikimedia.org/wikipedia/commons/c/ c1/ Wedding.smallgroup.arp.750pix.jpg") pictureList.kif 3038-3038
(externalImage Wedding "http://upload.wikimedia.org/wikipedia/commons/c/ c1/ You_may_now_kiss_the_bride.jpg") pictureList.kif 3284-3284
(subclass Wedding Ceremony) Mid-level-ontology.kif 7960-7960 Wedding is a subclass of ceremony
(subclass Wedding Declaring) Mid-level-ontology.kif 7961-7961 Wedding is a subclass of declaring

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


(subclass ReligiousWedding Wedding) Biography.kif 53-53 ReligiousWedding is a subclass of wedding
(termFormat ChineseLanguage Wedding "婚礼") domainEnglishFormat.kif 62649-62649
(termFormat ChineseTraditionalLanguage Wedding "婚禮") domainEnglishFormat.kif 62648-62648
(termFormat EnglishLanguage Wedding "wedding") domainEnglishFormat.kif 62647-62647

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


(=>
    (and
        (instance ?WED Wedding)
        (date ?WED ?DAY)
        (instance ?DAY
            (DayFn ?D
                (MonthFn ?M
                    (YearFn ?Y)))))
    (exists (?CLASS ?FUTURE)
        (and
            (weddingAnniversary ?WED ?CLASS)
            (subclass ?CLASS Day)
            (instance ?FUTURE Integer)
            (equal ?CLASS
                (DayFn ?D
                    (MonthFn ?M
                        (YearFn ?FUTURE))))
            (greaterThan ?FUTURE ?Y))))
Mid-level-ontology.kif 24195-24206
(=>
    (instance ?WED Wedding)
    (exists (?PERSON1 ?PERSON2)
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?WED))
            (spouse ?PERSON1 ?PERSON2))))
Mid-level-ontology.kif 7965-7970

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 7972-7982
(=>
    (instance ?TEXT MarriageCertificate)
    (exists (?S ?W ?A ?B)
        (and
            (instance ?S SigningAnAgreement)
            (patient ?S ?TEXT)
            (instance ?W Wedding)
            (represents ?TEXT ?W)
            (subProcess ?S ?W)
            (patient ?W ?A)
            (instance ?A Human)
            (patient ?W ?B)
            (instance ?B Human)
            (not
                (equal ?A ?B))
            (agent ?S ?A)
            (agent ?S ?B))))
Biography.kif 319-335
(=>
    (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


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