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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 7629-7630
(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 7627-7627
(subclass Wedding Declaring) Mid-level-ontology.kif 7628-7628

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


(termFormat ChineseLanguage Wedding "婚礼") domainEnglishFormat.kif 62633-62633
(termFormat ChineseTraditionalLanguage Wedding "婚禮") domainEnglishFormat.kif 62632-62632
(termFormat EnglishLanguage Wedding "wedding") domainEnglishFormat.kif 62631-62631

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


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

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 7639-7649
(=>
    (weddingdate ?PERSON1 ?PERSON2 ?DAY)
    (exists (?WEDDING)
        (and
            (instance ?WEDDING Wedding)
            (patient ?WEDDING ?PERSON1)
            (patient ?WEDDING ?PERSON2)
            (time ?WEDDING ?DAY))))
Biography.kif 52-59


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