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 22650-22650 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 15905-15906
(domain spouse 1 Human) Merge.kif 15903-15903 domain spouse, 1 and Human
(domain spouse 2 Human) Merge.kif 15904-15904 domain spouse, 2 and Human
(instance spouse IrreflexiveRelation) Merge.kif 15900-15900 instance spouse and IrreflexiveRelation
(instance spouse PartialValuedRelation) Merge.kif 15902-15902 instance spouse and PartialValuedRelation
(instance spouse SymmetricRelation) Merge.kif 15901-15901 instance spouse and SymmetricRelation
(subrelation spouse legalRelation) Merge.kif 15899-15899 subrelation spouse and legalRelation
(subrelation spouse mutualAcquaintance) Merge.kif 15897-15897 subrelation spouse and mutualAcquaintance
(subrelation spouse relative) Merge.kif 15663-15663 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 54777-54777
(termFormat ChineseTraditionalLanguage spouse "伴侶") domainEnglishFormat.kif 54776-54776
(termFormat EnglishLanguage spouse "spouse") domainEnglishFormat.kif 54775-54775

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 7617-7627
(=>
    (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 22463-22479

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


(<=>
    (stepfather ?P ?F)
    (exists (?M)
        (and
            (mother ?P ?M)
            (spouse ?F ?M)
            (not
                (father ?P ?F)))))
Mid-level-ontology.kif 22429-22436 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 22446-22453 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 1412-1417
(=>
    (attribute ?Q QueenConsort)
    (exists (?KING ?PLACE)
        (and
            (chiefOfState ?PLACE King ?KING)
            (spouse ?KING ?Q))))
Government.kif 1401-1406
(=>
    (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 21617-21631
(=>
    (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 965-974
(=>
    (instance ?WED Wedding)
    (exists (?PERSON1 ?PERSON2)
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?WED))
            (spouse ?PERSON1 ?PERSON2))))
Mid-level-ontology.kif 7610-7615
(=>
    (property ?C MarriageContract)
    (exists (?P1 ?P2)
        (and
            (partyToAgreement ?C ?P1)
            (partyToAgreement ?C ?P2)
            (spouse ?P1 ?P2))))
Mid-level-ontology.kif 13496-13502


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