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

Formal Language: 



KB Term:  Term intersection
English Word: 

  spouse

 Sigma KEE - spouse
spouse

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


(disjointRelation spouse domesticPartner) Mid-level-ontology.kif 23373-23373 spouse und domesticPartner werden disjunkt
(documentation spouse ChineseLanguage "这是两个 Human 的婚姻关系。") chinese_format.kif 3713-3713
(documentation spouse EnglishLanguage "The relationship of marriage between two Humans.") Merge.kif 16564-16565
(domain spouse 1 Human) Merge.kif 16562-16562 Die Zahl 1 Argument von spouse ist ein fall von Human %n{nicht}
(domain spouse 2 Human) Merge.kif 16563-16563 Die Zahl 2 Argument von spouse ist ein fall von Human %n{nicht}
(instance spouse IrreflexiveRelation) Merge.kif 16559-16559 spouse ist ein fall von IrreflexiveRelation %n{nicht}
(instance spouse PartialValuedRelation) Merge.kif 16561-16561 spouse ist ein fall von PartialValuedRelation %n{nicht}
(instance spouse SymmetricRelation) Merge.kif 16560-16560 spouse ist ein fall von SymmetricRelation %n{nicht}
(subrelation spouse legalRelation) Merge.kif 16558-16558 spouse ist eine teilrelation von legalRelation
(subrelation spouse mutualAcquaintance) Merge.kif 16556-16556 spouse ist eine teilrelation von mutualAcquaintance
(subrelation spouse relative) Merge.kif 16322-16322 spouse ist eine teilrelation von 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 54798-54798
(termFormat ChineseTraditionalLanguage spouse "伴侶") domainEnglishFormat.kif 54797-54797
(termFormat EnglishLanguage spouse "spouse") domainEnglishFormat.kif 54796-54796

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 7972-7982
(=>
    (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
(=>
    (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 23186-23202

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


(<=>
    (stepfather ?P ?F)
    (exists (?M)
        (and
            (mother ?P ?M)
            (spouse ?F ?M)
            (not
                (father ?P ?F)))))		 Mid-level-ontology.kif 23152-23159 stepfather Human and Man genau dann wenn es gibt ** Human um ** ** Human ist die mutter von ** Human %n{nicht} und spouse ** Man and ** ** Human und ** Man ist der vater von ** Human nicht
(<=>
    (stepmother ?P ?M)
    (exists (?F)
        (and
            (father ?P ?F)
            (spouse ?M ?F)
            (not
                (mother ?P ?M)))))		 Mid-level-ontology.kif 23169-23176 stepmother Human and Woman genau dann wenn es gibt ** Human um ** ** Human ist der vater von ** Human %n{nicht} und spouse ** Woman and ** ** Human und ** Woman ist die mutter von ** Human nicht
(=>
    (attribute ?P PrinceConsort)
    (exists (?QUEEN ?PLACE)
        (and
            (chiefOfState ?PLACE QueenRegnant ?QUEEN)
            (spouse ?QUEEN ?P))))		 Government.kif 1426-1431
(=>
    (attribute ?Q QueenConsort)
    (exists (?KING ?PLACE)
        (and
            (chiefOfState ?PLACE King ?KING)
            (spouse ?KING ?Q))))		 Government.kif 1415-1420
(=>
    (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 22307-22321
(=>
    (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 1025-1034
(=>
    (instance ?WED Wedding)
    (exists (?PERSON1 ?PERSON2)
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?WED))
            (spouse ?PERSON1 ?PERSON2))))		 Mid-level-ontology.kif 7965-7970
(=>
    (property ?C MarriageContract)
    (exists (?P1 ?P2)
        (and
            (partyToAgreement ?P1 ?C)
            (partyToAgreement ?P2 ?C)
            (spouse ?P1 ?P2))))		 Mid-level-ontology.kif 14170-14176


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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