Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  ]  KB:  Language:    Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - spouse
spouse

appearance as argument number 1
-------------------------


(subrelation spouse relative) Merge.kif 16522-16522 spouse is a subrelation of relative
(subrelation spouse mutualAcquaintance) Merge.kif 16756-16756 spouse is a subrelation of mutual acquaintance
(subrelation spouse legalRelation) Merge.kif 16758-16758 spouse is a subrelation of legal relation
(instance spouse IrreflexiveRelation) Merge.kif 16759-16759 spouse is an instance of irreflexive relation
(instance spouse SymmetricRelation) Merge.kif 16760-16760 spouse is an instance of symmetric relation
(instance spouse PartialValuedRelation) Merge.kif 16761-16761 spouse is an instance of partial valued relation
(domain spouse 1 Human) Merge.kif 16762-16762 The number 1 argument of spouse is an instance of human
(domain spouse 2 Human) Merge.kif 16763-16763 The number 2 argument of spouse is an instance of human
(documentation spouse EnglishLanguage "The relationship of marriage between two Humans.") Merge.kif 16764-16765 The number 2 argument of spouse is an instance of human
(disjointRelation spouse domesticPartner) Mid-level-ontology.kif 25751-25751 spouse and domestic partner are disjoint

appearance as argument number 2
-------------------------


(format EnglishLanguage spouse "%1 is the spouse of %2") domainEnglishFormat.kif 4596-4596
(format ChineseTraditionalLanguage spouse "%1 是 %2 的 spouse ") domainEnglishFormat.kif 4597-4597
(format ChineseLanguage spouse "%1 是 %2 的 spouse ") domainEnglishFormat.kif 4598-4598
(termFormat EnglishLanguage spouse "spouse") domainEnglishFormat.kif 54793-54793
(termFormat ChineseTraditionalLanguage spouse "伴侶") domainEnglishFormat.kif 54794-54794
(termFormat ChineseLanguage spouse "伴侣") domainEnglishFormat.kif 54795-54795

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 9179-9189 If X is the spouse of Y holds during Z and Z is an instance of timeframe, then there exists W such that W is an instance of wedding, X is a patient of W, Y is a patient of W, and the time of existence of W happens earlier than Z
(=>
    (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 25564-25580 If X is a parent of Y, Z is a parent of Y, and X is the spouse of Z, Z is a cohabitant of X, and X is a cohabitant of Y holds during W, then there exists V such that V is an instance of nuclear family, Y is a member of V, X is a member of V, and Z is a member of V holds during W
(=>
    (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 315-325 If X is an instance of marriage certificate, Y is an instance of human, Z is an instance of human, and Y is the spouse of Z, then X contains the formula there exists W such that Y, Z were married on W, and W is an instance of day

consequent
-------------------------


(=>
    (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 1021-1030 If X is an instance of divorcing, then there exist Y, Z,, , W, V such that Y is the spouse of Z holds during W, Y is the spouse of Z holds during V, W finishes X, and V starts X
(=>
    (instance ?WED Wedding)
    (exists (?PERSON1 ?PERSON2)
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?WED))
            (spouse ?PERSON1 ?PERSON2))))		 Mid-level-ontology.kif 9172-9177 If X is an instance of wedding, then there exist Y and Z such that Y is the spouse of Z holds during immediately after the time of existence of X
(=>
    (property ?C MarriageContract)
    (exists (?P1 ?P2)
        (and
            (partyToAgreement ?P1 ?C)
            (partyToAgreement ?P2 ?C)
            (spouse ?P1 ?P2))))		 Mid-level-ontology.kif 15691-15697 If X the attribute marriage contract, then there exist Y, Z such that X is a party to agreement of Y, X is a party to agreement of Z, and Y is the spouse of Z
(=>
    (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 24685-24699 If widowed woman is an attribute of X holds during Y, then there exist Z, W such that Z happens earlier than Y, W is the spouse of X holds during Z, and dead is an attribute of W holds during Y and there doesn't exist V such that V is the spouse of X holds during Y
(<=>
    (stepfather ?P ?F)
    (exists (?M)
        (and
            (mother ?P ?M)
            (spouse ?F ?M)
            (not
                (father ?P ?F)))))		 Mid-level-ontology.kif 25530-25537 X is the stepfather of Y if, only if there exists Z such that Z is a mother of Y, X is the spouse of Z, and X is not a father of Y
(<=>
    (stepmother ?P ?M)
    (exists (?F)
        (and
            (father ?P ?F)
            (spouse ?M ?F)
            (not
                (mother ?P ?M)))))		 Mid-level-ontology.kif 25547-25554 X is the stepfather of Y if, only if there exists Z such that Z is a father of Y, X is the spouse of Z, and X is not a mother of Y
(=>
    (attribute ?Q QueenConsort)
    (exists (?KING ?PLACE)
        (and
            (chiefOfState ?PLACE King ?KING)
            (spouse ?KING ?Q))))		 Government.kif 1377-1382 If Queen consort is an attribute of X, then there exist Y, Z such that Z chief of state king for Y, and Y is the spouse of X
(=>
    (attribute ?P PrinceConsort)
    (exists (?QUEEN ?PLACE)
        (and
            (chiefOfState ?PLACE QueenRegnant ?QUEEN)
            (spouse ?QUEEN ?P))))		 Government.kif 1388-1393 If prince consort is an attribute of X, then there exist Y, Z such that Z chief of state Queen regnant for Y, and Y is the spouse of X


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