Wedding - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language: Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Wedding

Wedding(wedding)

hymeneals, nuptials, wedding, wedding_ceremony

appearance as argument number 1

(documentation Wedding EnglishLanguage "Any Declaring that leads to one person being the spouse of another.")	Mid-level-ontology.kif 9124-9125
(externalImage Wedding "http://upload.wikimedia.org/wikipedia/commons/a/ ac/ 2005-09-02-hochzeit-31.jpg")	pictureList.kif 3282-3282
(externalImage Wedding "http://upload.wikimedia.org/wikipedia/commons/c/ c1/ Wedding.smallgroup.arp.750pix.jpg")	pictureList.kif 3037-3037
(externalImage Wedding "http://upload.wikimedia.org/wikipedia/commons/c/ c1/ You_may_now_kiss_the_bride.jpg")	pictureList.kif 3283-3283
(subclass Wedding Ceremony)	Mid-level-ontology.kif 9122-9122	Wedding is a subclass of ceremony
(subclass Wedding Declaring)	Mid-level-ontology.kif 9123-9123	Wedding is a subclass of declaring

appearance as argument number 2

(subclass ReligiousWedding Wedding)	Biography.kif 53-53	Religious wedding is a subclass of wedding
(termFormat ChineseLanguage Wedding "婚礼")	domainEnglishFormat.kif 62642-62642	Religious wedding is a subclass of wedding
(termFormat ChineseTraditionalLanguage Wedding "婚禮")	domainEnglishFormat.kif 62641-62641	Religious wedding is a subclass of wedding
(termFormat EnglishLanguage Wedding "wedding")	domainEnglishFormat.kif 62640-62640	Religious wedding is a subclass of wedding

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 25833-25844	If a physical is an instance of wedding and date of the physical is a day and the day is an instance of the day a positive integer of month the month a kind of month, then there exist another kind of day and an integer such that wedding anniversary the physical and another kind of day and the other kind of day is a subclass of day and the integer is an instance of integer and equal the other kind of day and the day the positive integer of month the month a kind of month and the integer is greater than another integer
(=> (instance ?WED Wedding) (exists (?PERSON1 ?PERSON2) (holdsDuring (ImmediateFutureFn (WhenFn ?WED)) (spouse ?PERSON1 ?PERSON2))))	Mid-level-ontology.kif 9127-9132	If a physical is an instance of wedding, then there exist an entity and another entity such that the entity is the spouse of the other entity holds during immediately after the time of existence of the physical

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 9134-9144	If an entity is the spouse of another entity holds during a time interval and the time interval is an instance of time interval, then there exists a process such that the process is an instance of wedding and the entity is a patient of the process and the other entity is a patient of the process and the time of existence of the process happens earlier than the time interval
(=> (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 327-343	If an entity is an instance of marriage certificate, then there exist a process, another process,, , an agent and another agent such that the process is an instance of signing an agreement and the entity is a patient of the process and the other process is an instance of wedding and the entity expresses the other process and the process is a subprocess of the other process and the agent is a patient of the other process and the agent is an instance of human and the other agent is a patient of the other process and the other agent is an instance of human and equal the agent and the other agent and the agent is an agent of the process and the other agent is an agent of the process
(=> (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 25854-25863	If a human and another human were married on a day, then there exists a process such that the process is an instance of wedding and the human is a patient of the process and the other human is a patient of the process and equal the human and the other human and date of the process is the day

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