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)

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 9148-9149
(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 9146-9146	Wedding is a subclass of ceremony
(subclass Wedding Declaring)	Mid-level-ontology.kif 9147-9147	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 62672-62672	Religious wedding is a subclass of wedding
(termFormat ChineseTraditionalLanguage Wedding "婚禮")	domainEnglishFormat.kif 62671-62671	Religious wedding is a subclass of wedding
(termFormat EnglishLanguage Wedding "wedding")	domainEnglishFormat.kif 62670-62670	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 25861-25872	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 the other kind of day is equal to 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 9151-9156	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 9158-9168	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 the agent is not equal to 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 25882-25891	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 the human is not equal to 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