spouse - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - spouse

spouse

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19810-19810	spouse and domestic partner are disjoint
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3713-3713
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15440-15441
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15438-15438	The number 1 argument of spouse is an instance of human
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15439-15439	The number 2 argument of spouse is an instance of human
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15435-15435	spouse is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15437-15437	spouse is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15436-15436	spouse is an instance of symmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15434-15434	spouse is a subrelation of legal relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15432-15432	spouse is a subrelation of mutual acquaintance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15198-15198	spouse is a subrelation of relative

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4603-4603
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4602-4602
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4601-4601
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54776-54776
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54775-54775
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54774-54774

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6949-6959	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.	Mid-level-ontology.kif 19623-19639	If an organism is a parent of another organism and a third organism is a parent of the other organism and the organism is the spouse of the third organism and the third organism is a cohabitant of the organism and the organism is a cohabitant of the other organism holds during a time position, then there exists an entity such that the entity is an instance of nuclear family and the other organism is a member of the entity and the organism is a member of the entity and the third organism is a member of the entity holds during the time position

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19589-19596	A man is the stepfather of a human if and only if there exists another human such that the other human is a mother of the human and the man is the spouse of the other human and the man is not a father of the human
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19606-19613	A woman is the stepfather of a human if and only if there exists another human such that the other human is a father of the human and the woman is the spouse of the other human and the woman is not a mother of the human
No TPTP formula. May not be expressible in strict first order.	Government.kif 1412-1417	If PrinceConsort is an attribute of a human, then there exist another human and the humanLACE such that the humanLACE chief of state QueenRegnant for the other human and the other human is the spouse of the human
No TPTP formula. May not be expressible in strict first order.	Government.kif 1401-1406	If QueenConsort is an attribute of a human, then there exist another human and a geopolitical area such that the geopolitical area chief of state king for the other human and the other human is the spouse of the human
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18777-18791	If widowed is an attribute of an entity holds during a time interval, then there exist another time interval and another entity such that the other time interval happens earlier than the time interval and the other entity is the spouse of the entity holds during the other time interval and dead is an attribute of the other entity holds during the time interval and there doesn't exist a third entity such that the third entity is the spouse of the entity holds during the time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 964-973	If a time interval is an instance of divorcing, then there exist an entity, another entity,, , another time interval and a third time interval such that the entity is the spouse of the other entity holds during the other time interval and not the entity is the spouse of the other entity holds during the third time interval and the other time interval finishes the time interval and the third time interval starts the time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6942-6947	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10951-10957	If a cognitive agent the attribute marriage contract, then there exist a human and another human such that the human is a party to agreement of the cognitive agent and the other human is a party to agreement of the cognitive agent and the human is the spouse of the other human

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