TreeView Knowledge Base Browser - Wedding

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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7961-7962
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3283-3283
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3038-3038
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3284-3284
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7959-7959	Wedding is a subclass of ceremony
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7960-7960	Wedding is a subclass of declaring

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Biography.kif 53-53	ReligiousWedding is a subclass of wedding
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62649-62649
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62648-62648
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62647-62647

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24194-24205	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7964-7969	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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7971-7981	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24215-24224	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 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