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
-------------------------


s__disjointRelation(s__spouse__m,s__domesticPartner__m)

Mid-level-ontology.kif 22114-22114 spouse and domestic partner are disjoint
s__documentation(s__spouse__m,s__ChineseLanguage,'"这是两个 Human 的婚姻关系。"')

chinese_format.kif 3713-3713
s__documentation(s__spouse__m,s__EnglishLanguage,'"The relationship of marriage between two Humans."')

Merge.kif 15788-15789
s__domain(s__spouse__m,n__1,s__Human)

Merge.kif 15786-15786 The number 1 argument of spouse is an instance of human
s__domain(s__spouse__m,n__2,s__Human)

Merge.kif 15787-15787 The number 2 argument of spouse is an instance of human
s__instance(s__spouse__m,s__IrreflexiveRelation)

s__instance(s__IrreflexiveRelation,s__SetOrClass)

Merge.kif 15783-15783 spouse is an instance of irreflexive relation
s__instance(s__spouse__m,s__PartialValuedRelation)

s__instance(s__PartialValuedRelation,s__SetOrClass)

Merge.kif 15785-15785 spouse is an instance of partial valued relation
s__instance(s__SymmetricRelation,s__SetOrClass)

s__instance(s__spouse__m,s__SymmetricRelation)

Merge.kif 15784-15784 spouse is an instance of symmetric relation
s__subrelation(s__spouse__m,s__legalRelation__m)

Merge.kif 15782-15782 spouse is a subrelation of legal relation
s__subrelation(s__spouse__m,s__mutualAcquaintance__m)

Merge.kif 15780-15780 spouse is a subrelation of mutual acquaintance
s__subrelation(s__spouse__m,s__relative__m)

Merge.kif 15546-15546 spouse is a subrelation of relative

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


s__format(s__ChineseLanguage,s__spouse__m,'"%1 是 %2 的 spouse "')

domainEnglishFormat.kif 4603-4603
s__format(s__ChineseTraditionalLanguage,s__spouse__m,'"%1 是 %2 的 spouse "')

domainEnglishFormat.kif 4602-4602
s__format(s__EnglishLanguage,s__spouse__m,'"%1 is the spouse of %2"')

domainEnglishFormat.kif 4601-4601
s__termFormat(s__ChineseLanguage,s__spouse__m,'"伴侣"')

domainEnglishFormat.kif 54777-54777
s__termFormat(s__ChineseTraditionalLanguage,s__spouse__m,'"伴侶"')

domainEnglishFormat.kif 54776-54776
s__termFormat(s__EnglishLanguage,s__spouse__m,'"spouse"')

domainEnglishFormat.kif 54775-54775

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7529-7539
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21927-21943

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


( ! [V__P,V__F] :
   (((s__instance(V__P,s__Human) &
         s__instance(V__F,s__Man))
       =>
       (((s__stepfather(V__P,V__F)
           =>
           ( ? [V__M] :
             ((s__instance(V__M,s__Human) &
                 (s__mother(V__P,V__M)
                 &
                 s__spouse(V__F,V__M)
               &
               ~(s__father(V__P,V__F)))))))
   &
   (( ? [V__M] :
       ((s__instance(V__M,s__Human) &
           (s__mother(V__P,V__M)
           &
           s__spouse(V__F,V__M)
         &
         ~(s__father(V__P,V__F))))))
=>
s__stepfather(V__P,V__F)))))
)
)

Mid-level-ontology.kif 21893-21900 A man is the stepfather of a human if and only if there exists another human such that the other human is a mother of the human and the man is the spouse of the other human and the man is not a father of the human
( ! [V__P,V__M] :
   (((s__instance(V__P,s__Human) &
         s__instance(V__M,s__Woman))
       =>
       (((s__stepmother(V__P,V__M)
           =>
           ( ? [V__F] :
             ((s__instance(V__F,s__Human) &
                 (s__father(V__P,V__F)
                 &
                 s__spouse(V__M,V__F)
               &
               ~(s__mother(V__P,V__M)))))))
   &
   (( ? [V__F] :
       ((s__instance(V__F,s__Human) &
           (s__father(V__P,V__F)
           &
           s__spouse(V__M,V__F)
         &
         ~(s__mother(V__P,V__M))))))
=>
s__stepmother(V__P,V__M)))))
)
)

Mid-level-ontology.kif 21910-21917 A woman is the stepfather of a human if and only if there exists another human such that the other human is a father of the human and the woman is the spouse of the other human and the woman is not a mother of the human
( ! [V__P] :
   ((s__instance(V__P,s__Human) =>
       ((s__attribute(V__P,s__PrinceConsort) =>
           (( ? [V__QUEEN, V__PLACE] :
               ((s__instance(V__QUEEN,s__Human) &
                   s__instance(V__PLACE,s__GeopoliticalArea) &
                   (s__chiefOfState(V__PLACE,s__QueenRegnant,V__QUEEN)
                   &
                   s__spouse(V__QUEEN,V__P)))))))))
)
)

Government.kif 1412-1417
( ! [V__Q] :
   ((s__instance(V__Q,s__Human) =>
       ((s__attribute(V__Q,s__QueenConsort) =>
           (( ? [V__KING, V__PLACE] :
               ((s__instance(V__KING,s__Human) &
                   s__instance(V__PLACE,s__GeopoliticalArea) &
                   (s__chiefOfState(V__PLACE,s__King,V__KING)
                   &
                   s__spouse(V__KING,V__Q)))))))))
)
)

Government.kif 1401-1406
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21081-21095
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 964-973
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7522-7527
( ! [V__C] :
   ((s__instance(V__C,s__CognitiveAgent) =>
       ((s__property(V__C,s__MarriageContract) =>
           (( ? [V__P1, V__P2] :
               ((s__instance(V__P1,s__Human) &
                   s__instance(V__P1,s__Agreement) &
                   s__instance(V__P2,s__Human) &
                   s__instance(V__P2,s__Agreement) &
                   (s__partyToAgreement(V__C,V__P1)
                   &
                   s__partyToAgreement(V__C,V__P2)
                 &
                 s__spouse(V__P1,V__P2)))))))))
)
)

Mid-level-ontology.kif 13020-13026


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