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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Wedding

Sigma KEE - Wedding
Wedding

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


(documentation Wedding EnglishLanguage "Any Declaring that leads to one person being the spouse of another.") Mid-level-ontology.kif 7989-7990
(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 7987-7987 Wedding ist eine teilkategorie von Ceremony
(subclass Wedding Declaring) Mid-level-ontology.kif 7988-7988 Wedding ist eine teilkategorie von Declaring

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


(subclass ReligiousWedding Wedding) Biography.kif 53-53 ReligiousWedding ist eine teilkategorie von Wedding
(termFormat ChineseLanguage Wedding "婚礼") domainEnglishFormat.kif 62651-62651
(termFormat ChineseTraditionalLanguage Wedding "婚禮") domainEnglishFormat.kif 62650-62650
(termFormat EnglishLanguage Wedding "wedding") domainEnglishFormat.kif 62649-62649

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 24252-24263
(=>
    (instance ?WED Wedding)
    (exists (?PERSON1 ?PERSON2)
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?WED))
            (spouse ?PERSON1 ?PERSON2))))
Mid-level-ontology.kif 7992-7997

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 7999-8009
(=>
    (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 24273-24282


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