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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - wife
wife

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


s__documentation(s__wife__m,s__ChineseLanguage,'"(wife ?WOMAN ?MAN)的意思是 ?WOMAN 是 ?MAN 的妻子。"')

chinese_format.kif 3716-3716
s__documentation(s__wife__m,s__EnglishLanguage,'"(wife ?WOMAN ?MAN) means that ?WOMAN is the wife of ?MAN."')

Merge.kif 15910-15911
s__domain(s__wife__m,n__1,s__Woman)

Merge.kif 15908-15908 The number 1 argument of wife is an instance of woman
s__domain(s__wife__m,n__2,s__Man)

Merge.kif 15909-15909 The number 2 argument of wife is an instance of man
s__instance(s__AsymmetricRelation,s__Class)

s__instance(s__wife__m,s__AsymmetricRelation)

Merge.kif 15905-15905 wife is an instance of asymmetric relation
s__instance(s__BinaryPredicate,s__Class)

s__instance(s__wife__m,s__BinaryPredicate)

Merge.kif 15907-15907 wife is an instance of binary predicate
s__instance(s__IrreflexiveRelation,s__Class)

s__instance(s__wife__m,s__IrreflexiveRelation)

Merge.kif 15906-15906 wife is an instance of irreflexive relation

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


s__format(s__ChineseLanguage,s__wife__m,'"%1 是 %2 的 wife "')

domainEnglishFormat.kif 4999-4999
s__format(s__ChineseTraditionalLanguage,s__wife__m,'"%1 是 %2 的 wife "')

domainEnglishFormat.kif 4998-4998
s__format(s__EnglishLanguage,s__wife__m,'"%1 is the wife of %2"')

domainEnglishFormat.kif 4997-4997
s__inverse(s__husband__m,s__wife__m)

Merge.kif 15900-15900 husband is an inverse of wife
s__termFormat(s__ChineseLanguage,s__wife__m,'"妻子"')

domainEnglishFormat.kif 63048-63048
s__termFormat(s__ChineseTraditionalLanguage,s__wife__m,'"妻子"')

domainEnglishFormat.kif 63047-63047
s__termFormat(s__EnglishLanguage,s__wife__m,'"wife"')

domainEnglishFormat.kif 63046-63046

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


( ! [V__W] :
   ((s__instance(V__W,s__Woman) =>
       ((s__attribute(V__W,s__Housewife) =>
           (( ? [V__H] :
               ((s__instance(V__H,s__Man) &
                   s__wife(V__W,V__H))))))))
   )
)

Mid-level-ontology.kif 19587-19590
( ! [V__P,V__W] :
   (((s__instance(V__P,s__Organism) &
         s__instance(V__W,s__Man))
       =>
       ((s__fathersBrothersWife(V__P,V__W)
         =>
         (( ? [V__F, V__UNC] :
             ((s__instance(V__F,s__Man) &
                 s__instance(V__UNC,s__Woman) &
                 (s__father(V__P,V__F)
                 &
                 s__brother(V__F,V__UNC)
               &
               s__wife(V__UNC,V__W)))))))))
)
)

ArabicCulture.kif 593-599
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 274-288
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 294-308
( ! [V__P,V__W] :
   (((s__instance(V__P,s__Organism) &
         s__instance(V__W,s__Man))
       =>
       ((s__mothersBrothersWife(V__P,V__W)
         =>
         (( ? [V__M, V__UNC] :
             ((s__instance(V__M,s__Man) &
                 s__instance(V__UNC,s__Woman) &
                 (s__mother(V__P,V__M)
                 &
                 s__brother(V__M,V__UNC)
               &
               s__wife(V__UNC,V__W)))))))))
)
)

ArabicCulture.kif 605-611


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