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 21282-21282 spousedomesticPartnerdisjoint 关系
(documentation spouse ChineseLanguage "这是两个 Human 的婚姻关系。") Merge.kif 16813-16813
(documentation spouse EnglishLanguage "The relationship of marriage between two Humans.") Merge.kif 16811-16812
(domain spouse 1 Human) Merge.kif 16809-16809 spouse 的 1 数量 是 人类instance
(domain spouse 2 Human) Merge.kif 16810-16810 spouse 的 2 数量 是 人类instance
(instance spouse IrreflexiveRelation) Merge.kif 16806-16806 spouse非自反关系instance
(instance spouse PartialValuedRelation) Merge.kif 16808-16808 spouse部分值关系instance
(instance spouse SymmetricRelation) Merge.kif 16807-16807 spouse对称关系instance
(subrelation spouse legalRelation) Merge.kif 16805-16805 spouse法律关系subrelation
(subrelation spouse mutualAcquaintance) Merge.kif 16803-16803 spousemutualAcquaintancesubrelation
(subrelation spouse relative) Merge.kif 16541-16541 spouserelativesubrelation

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


(format EnglishLanguage spouse "%1 is the spouse of %2") domainEnglishFormat.kif 1159-1159
(termFormat EnglishLanguage spouse "spouse") domainEnglishFormat.kif 9556-9556 termFormat EnglishLanguage, spouse and "spouse"

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 7656-7666
(=>
    (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 21086-21102

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


(<=>
    (stepfather ?P ?F)
    (exists (?M)
        (and
            (mother ?P ?M)
            (spouse ?F ?M)
            (not
                (father ?P ?F)))))
Mid-level-ontology.kif 21048-21055 stepfather 人类 and Man 若且唯若 有存在 另一个 人类 这样 那个 另外 人类那个 人类motherspouse 那个 Man and 那个 另外 人类那个 Man 不 是 那个 人类 father
(<=>
    (stepmother ?P ?M)
    (exists (?F)
        (and
            (father ?P ?F)
            (spouse ?M ?F)
            (not
                (mother ?P ?M)))))
Mid-level-ontology.kif 21065-21072 stepmother 人类 and Woman 若且唯若 有存在 另一个 人类 这样 那个 另外 人类那个 人类 fatherspouse 那个 Woman and 那个 另外 人类那个 Woman 不 是 那个 人类mother
(=>
    (attribute ?P PrinceConsort)
    (exists (?QUEEN ?PLACE)
        (and
            (chiefOfState ?PLACE QueenRegnant ?QUEEN)
            (spouse ?QUEEN ?P))))
Government.kif 1386-1391
(=>
    (attribute ?Q QueenConsort)
    (exists (?KING ?PLACE)
        (and
            (chiefOfState ?PLACE King ?KING)
            (spouse ?KING ?Q))))
Government.kif 1375-1380
(=>
    (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 20135-20149
(=>
    (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 1410-1419
(=>
    (instance ?WED Wedding)
    (exists (?PERSON1 ?PERSON2)
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?WED))
            (spouse ?PERSON1 ?PERSON2))))
Mid-level-ontology.kif 7649-7654
(=>
    (property ?C MarriageContract)
    (exists (?P1 ?P2)
        (and
            (partyToAgreement ?C ?P1)
            (partyToAgreement ?C ?P2)
            (spouse ?P1 ?P2))))
Mid-level-ontology.kif 11787-11793


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners