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 21326-21326 disjointRelation spouse and domesticPartner
(documentation spouse ChineseLanguage "这是两个 Human 的婚姻关系。") chinese_format.kif 3713-3713
(documentation spouse EnglishLanguage "The relationship of marriage between two Humans.") Merge.kif 15425-15426
(domain spouse 1 Human) Merge.kif 15423-15423 domain spouse, 1 and Human
(domain spouse 2 Human) Merge.kif 15424-15424 domain spouse, 2 and Human
(instance spouse IrreflexiveRelation) Merge.kif 15420-15420 instance spouse and IrreflexiveRelation
(instance spouse PartialValuedRelation) Merge.kif 15422-15422 instance spouse and PartialValuedRelation
(instance spouse SymmetricRelation) Merge.kif 15421-15421 instance spouse and SymmetricRelation
(subrelation spouse legalRelation) Merge.kif 15419-15419 subrelation spouse and legalRelation
(subrelation spouse mutualAcquaintance) Merge.kif 15417-15417 subrelation spouse and mutualAcquaintance
(subrelation spouse relative) Merge.kif 15183-15183 subrelation spouse and relative

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


(format ChineseLanguage spouse "%1 是 %2 的 spouse ") domainEnglishFormat.kif 4603-4603
(format ChineseTraditionalLanguage spouse "%1 是 %2 的 spouse ") domainEnglishFormat.kif 4602-4602
(format EnglishLanguage spouse "%1 is the spouse of %2") domainEnglishFormat.kif 4601-4601
(termFormat ChineseLanguage spouse "伴侣") domainEnglishFormat.kif 54722-54722
(termFormat ChineseTraditionalLanguage spouse "伴侶") domainEnglishFormat.kif 54721-54721
(termFormat EnglishLanguage spouse "spouse") domainEnglishFormat.kif 54720-54720

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 7639-7649
(=>
    (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 21130-21146

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


(<=>
    (stepfather ?P ?F)
    (exists (?M)
        (and
            (mother ?P ?M)
            (spouse ?F ?M)
            (not
                (father ?P ?F)))))		 Mid-level-ontology.kif 21092-21099 stepfather Human and Man Human mother Human and Human spouse Man and Human father Human and Man
(<=>
    (stepmother ?P ?M)
    (exists (?F)
        (and
            (father ?P ?F)
            (spouse ?M ?F)
            (not
                (mother ?P ?M)))))		 Mid-level-ontology.kif 21109-21116 stepmother Human and Woman Human father Human and Human spouse Woman and Human mother Human and Woman
(=>
    (attribute ?P PrinceConsort)
    (exists (?QUEEN ?PLACE)
        (and
            (chiefOfState ?PLACE QueenRegnant ?QUEEN)
            (spouse ?QUEEN ?P))))		 Government.kif 1380-1385
(=>
    (attribute ?Q QueenConsort)
    (exists (?KING ?PLACE)
        (and
            (chiefOfState ?PLACE King ?KING)
            (spouse ?KING ?Q))))		 Government.kif 1369-1374
(=>
    (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 20179-20193
(=>
    (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 1411-1420
(=>
    (instance ?WED Wedding)
    (exists (?PERSON1 ?PERSON2)
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?WED))
            (spouse ?PERSON1 ?PERSON2))))		 Mid-level-ontology.kif 7632-7637
(=>
    (property ?C MarriageContract)
    (exists (?P1 ?P2)
        (and
            (partyToAgreement ?C ?P1)
            (partyToAgreement ?C ?P2)
            (spouse ?P1 ?P2))))		 Mid-level-ontology.kif 11820-11826


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