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 25014-25014 spousedomesticPartnerdisjoint では
(documentation spouse ChineseLanguage "这是两个 Human 的婚姻关系。") chinese_format.kif 3713-3713 spousedomesticPartnerdisjoint では
(documentation spouse EnglishLanguage "The relationship of marriage between two Humans.") Merge.kif 16739-16740 spousedomesticPartnerdisjoint では
(domain spouse 1 Human) Merge.kif 16737-16737 spouse の数値 1 引数は 人[人間]instance では
(domain spouse 2 Human) Merge.kif 16738-16738 spouse の数値 2 引数は 人[人間]instance では
(instance spouse IrreflexiveRelation) Merge.kif 16734-16734 spouse非反射関係instance では
(instance spouse PartialValuedRelation) Merge.kif 16736-16736 spouse部分的価値関係instance では
(instance spouse SymmetricRelation) Merge.kif 16735-16735 spouse対称関係 instance では
(subrelation spouse legalRelation) Merge.kif 16733-16733 spouselegalRelationsubrelation では
(subrelation spouse mutualAcquaintance) Merge.kif 16731-16731 spousemutualAcquaintancesubrelation では
(subrelation spouse relative) Merge.kif 16497-16497 spouserelativesubrelation では

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


(format ChineseLanguage spouse "%1 是 %2 的 spouse ") domainEnglishFormat.kif 4598-4598
(format ChineseTraditionalLanguage spouse "%1 是 %2 的 spouse ") domainEnglishFormat.kif 4597-4597
(format EnglishLanguage spouse "%1 is the spouse of %2") domainEnglishFormat.kif 4596-4596
(termFormat ChineseLanguage spouse "伴侣") domainEnglishFormat.kif 54802-54802
(termFormat ChineseTraditionalLanguage spouse "伴侶") domainEnglishFormat.kif 54801-54801
(termFormat EnglishLanguage spouse "spouse") domainEnglishFormat.kif 54800-54800

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 9139-9149
(=>
    (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 315-325
(=>
    (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 24827-24843

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


(<=>
    (stepfather ?P ?F)
    (exists (?M)
        (and
            (mother ?P ?M)
            (spouse ?F ?M)
            (not
                (father ?P ?F)))))
Mid-level-ontology.kif 24793-24800 stepfather 人[人間] and Man 人[人間] 人[人間] 人[人間]mother では spouse Man and 人[人間] Man 人[人間]father では
(<=>
    (stepmother ?P ?M)
    (exists (?F)
        (and
            (father ?P ?F)
            (spouse ?M ?F)
            (not
                (mother ?P ?M)))))
Mid-level-ontology.kif 24810-24817 stepmother 人[人間] and Woman 人[人間] 人[人間] 人[人間]father では spouse Woman and 人[人間] Woman 人[人間]mother では
(=>
    (attribute ?P PrinceConsort)
    (exists (?QUEEN ?PLACE)
        (and
            (chiefOfState ?PLACE QueenRegnant ?QUEEN)
            (spouse ?QUEEN ?P))))
Government.kif 1388-1393
(=>
    (attribute ?Q QueenConsort)
    (exists (?KING ?PLACE)
        (and
            (chiefOfState ?PLACE King ?KING)
            (spouse ?KING ?Q))))
Government.kif 1377-1382
(=>
    (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 23948-23962
(=>
    (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 1018-1027
(=>
    (instance ?WED Wedding)
    (exists (?PERSON1 ?PERSON2)
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?WED))
            (spouse ?PERSON1 ?PERSON2))))
Mid-level-ontology.kif 9132-9137
(=>
    (property ?C MarriageContract)
    (exists (?P1 ?P2)
        (and
            (partyToAgreement ?P1 ?C)
            (partyToAgreement ?P2 ?C)
            (spouse ?P1 ?P2))))
Mid-level-ontology.kif 15541-15547


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