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 23372-23372 spouse e domesticPartner sao disjuntos
(documentation spouse ChineseLanguage "这是两个 Human 的婚姻关系。") chinese_format.kif 3713-3713
(documentation spouse EnglishLanguage "The relationship of marriage between two Humans.") Merge.kif 16586-16587
(domain spouse 1 Human) Merge.kif 16584-16584 O argumento numero 1 de spouse e' uma instancia de Humano
(domain spouse 2 Human) Merge.kif 16585-16585 O argumento numero 2 de spouse e' uma instancia de Humano
(instance spouse IrreflexiveRelation) Merge.kif 16581-16581 spouse e' uma instancia de Relacao Irreflexiva
(instance spouse PartialValuedRelation) Merge.kif 16583-16583 spouse e' uma instancia de Relacao Parcial
(instance spouse SymmetricRelation) Merge.kif 16582-16582 spouse e' uma instancia de Relacao Simetrica
(subrelation spouse legalRelation) Merge.kif 16580-16580 spouse e' uma sub-relacao de legalRelation
(subrelation spouse mutualAcquaintance) Merge.kif 16578-16578 spouse e' uma sub-relacao de mutualAcquaintance
(subrelation spouse relative) Merge.kif 16344-16344 spouse e' uma sub-relacao de 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 7971-7981
(=>
    (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 23185-23201

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


(<=>
    (stepfather ?P ?F)
    (exists (?M)
        (and
            (mother ?P ?M)
            (spouse ?F ?M)
            (not
                (father ?P ?F)))))		 Mid-level-ontology.kif 23151-23158 stepfather Humano and Man Humano Humano e' a mae de Humano spouse Man and Humano Man e' o pai de Humano
(<=>
    (stepmother ?P ?M)
    (exists (?F)
        (and
            (father ?P ?F)
            (spouse ?M ?F)
            (not
                (mother ?P ?M)))))		 Mid-level-ontology.kif 23168-23175 stepmother Humano and Woman Humano Humano e' o pai de Humano spouse Woman and Humano Woman e' a mae de Humano
(=>
    (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 22306-22320
(=>
    (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 7964-7969
(=>
    (property ?C MarriageContract)
    (exists (?P1 ?P2)
        (and
            (partyToAgreement ?P1 ?C)
            (partyToAgreement ?P2 ?C)
            (spouse ?P1 ?P2))))		 Mid-level-ontology.kif 14169-14175


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