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 22905-22905
(documentation spouse ChineseLanguage "这是两个 Human 的婚姻关系。") chinese_format.kif 3713-3713
(documentation spouse EnglishLanguage "The relationship of marriage between two Humans.") Merge.kif 16310-16311
(domain spouse 1 Human) Merge.kif 16308-16308
(domain spouse 2 Human) Merge.kif 16309-16309
(instance spouse IrreflexiveRelation) Merge.kif 16305-16305
(instance spouse PartialValuedRelation) Merge.kif 16307-16307
(instance spouse SymmetricRelation) Merge.kif 16306-16306
(subrelation spouse legalRelation) Merge.kif 16304-16304
(subrelation spouse mutualAcquaintance) Merge.kif 16302-16302
(subrelation spouse relative) Merge.kif 16068-16068

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 7687-7697
(=>
    (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 22718-22734

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


(<=>
    (stepfather ?P ?F)
    (exists (?M)
        (and
            (mother ?P ?M)
            (spouse ?F ?M)
            (not
                (father ?P ?F)))))
Mid-level-ontology.kif 22684-22691
(<=>
    (stepmother ?P ?M)
    (exists (?F)
        (and
            (father ?P ?F)
            (spouse ?M ?F)
            (not
                (mother ?P ?M)))))
Mid-level-ontology.kif 22701-22708
(=>
    (attribute ?P PrinceConsort)
    (exists (?QUEEN ?PLACE)
        (and
            (chiefOfState ?PLACE QueenRegnant ?QUEEN)
            (spouse ?QUEEN ?P))))
Government.kif 1423-1428
(=>
    (attribute ?Q QueenConsort)
    (exists (?KING ?PLACE)
        (and
            (chiefOfState ?PLACE King ?KING)
            (spouse ?KING ?Q))))
Government.kif 1412-1417
(=>
    (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 21872-21886
(=>
    (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 992-1001
(=>
    (instance ?WED Wedding)
    (exists (?PERSON1 ?PERSON2)
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?WED))
            (spouse ?PERSON1 ?PERSON2))))
Mid-level-ontology.kif 7680-7685
(=>
    (property ?C MarriageContract)
    (exists (?P1 ?P2)
        (and
            (partyToAgreement ?C ?P1)
            (partyToAgreement ?C ?P2)
            (spouse ?P1 ?P2))))
Mid-level-ontology.kif 13689-13695


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