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 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 is a subclass of ceremony
(subclass Wedding Declaring)	Mid-level-ontology.kif 7988-7988	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 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	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, then there exist another kind of day and an integer such that weddingAnniversary 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 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 7992-7997	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 7999-8009	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 319-335	If an entity is an instance of MarriageCertificate, 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 24273-24282	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