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

(disjointRelation spouse domesticPartner)	Mid-level-ontology.kif 23656-23656	spouse and domestic partner are disjoint
(documentation spouse ChineseLanguage "这是两个 Human 的婚姻关系。")	chinese_format.kif 3713-3713	spouse and domestic partner are disjoint
(documentation spouse EnglishLanguage "The relationship of marriage between two Humans.")	Merge.kif 16635-16636	spouse and domestic partner are disjoint
(domain spouse 1 Human)	Merge.kif 16633-16633	The number 1 argument of spouse is an instance of human
(domain spouse 2 Human)	Merge.kif 16634-16634	The number 2 argument of spouse is an instance of human
(instance spouse IrreflexiveRelation)	Merge.kif 16630-16630	spouse is an instance of irreflexive relation
(instance spouse PartialValuedRelation)	Merge.kif 16632-16632	spouse is an instance of partial valued relation
(instance spouse SymmetricRelation)	Merge.kif 16631-16631	spouse is an instance of symmetric relation
(subrelation spouse legalRelation)	Merge.kif 16629-16629	spouse is a subrelation of legal relation
(subrelation spouse mutualAcquaintance)	Merge.kif 16627-16627	spouse is a subrelation of mutual acquaintance
(subrelation spouse relative)	Merge.kif 16393-16393	spouse is a subrelation of relative

appearance as argument number 2

(format ChineseLanguage spouse "%1 是 %2 的 spouse ")	domainEnglishFormat.kif 4594-4594
(format ChineseTraditionalLanguage spouse "%1 是 %2 的 spouse ")	domainEnglishFormat.kif 4593-4593
(format EnglishLanguage spouse "%1 is the spouse of %2")	domainEnglishFormat.kif 4592-4592
(termFormat ChineseLanguage spouse "伴侣")	domainEnglishFormat.kif 54838-54838
(termFormat ChineseTraditionalLanguage spouse "伴侶")	domainEnglishFormat.kif 54837-54837
(termFormat EnglishLanguage spouse "spouse")	domainEnglishFormat.kif 54836-54836

antecedent

(=> (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 8190-8200	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
(=> (and (instance ?TEXT MarriageCertificate) (instance ?A Human) (instance ?B Human) (spouse ?A ?B)) (containsFormula ?TEXT (exists (?DAY) (and (weddingdate ?A ?B ?DAY) (instance ?DAY Day)))))	Biography.kif 307-317	If a content bearing physical is an instance of MarriageCertificate and a human is an instance of human and another human is an instance of human and the human is the spouse of the other human, then the content bearing physical contains the formula there exists an entity such that the human and the other human were married on the entity and the entity is an instance of day
(=> (and (parent ?CHILD ?PARENT1) (parent ?CHILD ?PARENT2) (holdsDuring ?T1 (and (spouse ?PARENT1 ?PARENT2) (cohabitant ?PARENT1 ?PARENT2) (cohabitant ?CHILD ?PARENT1)))) (exists (?FAM) (and (instance ?FAM NuclearFamily) (holdsDuring ?T1 (and (member ?CHILD ?FAM) (member ?PARENT1 ?FAM) (member ?PARENT2 ?FAM))))))	Mid-level-ontology.kif 23469-23485	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

(<=> (stepfather ?P ?F) (exists (?M) (and (mother ?P ?M) (spouse ?F ?M) (not (father ?P ?F)))))	Mid-level-ontology.kif 23435-23442	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
(<=> (stepmother ?P ?M) (exists (?F) (and (father ?P ?F) (spouse ?M ?F) (not (mother ?P ?M)))))	Mid-level-ontology.kif 23452-23459	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
(=> (attribute ?P PrinceConsort) (exists (?QUEEN ?PLACE) (and (chiefOfState ?PLACE QueenRegnant ?QUEEN) (spouse ?QUEEN ?P))))	Government.kif 1390-1395	If prince consort is an attribute of a human, then there exist another human and the humanLACE such that the humanLACE chief of state Queen regnant for the other human and the other human is the spouse of the human
(=> (attribute ?Q QueenConsort) (exists (?KING ?PLACE) (and (chiefOfState ?PLACE King ?KING) (spouse ?KING ?Q))))	Government.kif 1379-1384	If Queen consort 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
(=> (holdsDuring ?NOW (attribute ?P Widowed)) (and (exists (?BEFORE ?SPOUSE) (and (earlier ?BEFORE ?NOW) (holdsDuring ?BEFORE (spouse ?SPOUSE ?P)) (holdsDuring ?NOW (attribute ?SPOUSE Dead)))) (not (exists (?OTHER) (holdsDuring ?NOW (spouse ?OTHER ?P))))))	Mid-level-ontology.kif 22590-22604	If widowed woman 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
(=> (instance ?D Divorcing) (exists (?P1 ?P2 ?T1 ?T2) (and (holdsDuring ?T1 (spouse ?P1 ?P2)) (holdsDuring ?T2 (not (spouse ?P1 ?P2))) (finishes ?T1 ?D) (starts ?T2 ?D))))	Mid-level-ontology.kif 1018-1027	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
(=> (instance ?WED Wedding) (exists (?PERSON1 ?PERSON2) (holdsDuring (ImmediateFutureFn (WhenFn ?WED)) (spouse ?PERSON1 ?PERSON2))))	Mid-level-ontology.kif 8183-8188	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
(=> (property ?C MarriageContract) (exists (?P1 ?P2) (and (partyToAgreement ?P1 ?C) (partyToAgreement ?P2 ?C) (spouse ?P1 ?P2))))	Mid-level-ontology.kif 14388-14394	If an agreement the attribute marriage contract, then there exist a human and another human such that the agreement is a party to agreement of the human and the agreement is a party to agreement of the other human 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