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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - sister
sister

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


s__documentation(s__sister__m,s__ChineseLanguage,'"这是姐妹的概括关系。(sister ?WOMAN ?PERSON)的意思是 ?WOMAN 是 ?PERSON 的姐妹。"')

chinese_format.kif 3703-3704
s__documentation(s__sister__m,s__EnglishLanguage,'"The general relationship of being a sister. (sister ?WOMAN ?PERSON) means that ?WOMAN is the sister of ?PERSON."')

Merge.kif 15840-15841
s__domain(s__sister__m,n__1,s__Woman)

Merge.kif 15838-15838 The number 1 argument of sister is an instance of woman
s__domain(s__sister__m,n__2,s__Human)

Merge.kif 15839-15839 The number 2 argument of sister is an instance of human
s__instance(s__IrreflexiveRelation,s__Class)

s__instance(s__sister__m,s__IrreflexiveRelation)

Merge.kif 15835-15835 sister is an instance of irreflexive relation
s__instance(s__sister__m,s__PartialValuedRelation)

s__instance(s__PartialValuedRelation,s__Class)

Merge.kif 15837-15837 sister is an instance of partial valued relation
s__instance(s__TransitiveRelation,s__Class)

s__instance(s__sister__m,s__TransitiveRelation)

Merge.kif 15836-15836 sister is an instance of transitive relation
s__subrelation(s__sister__m,s__sibling__m)

Merge.kif 15834-15834 sister is a subrelation of sibling

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


s__format(s__ChineseLanguage,s__sister__m,'"%1 是 %2 的 sister "')

domainEnglishFormat.kif 4531-4531
s__format(s__ChineseTraditionalLanguage,s__sister__m,'"%1 是 %2 的 sister "')

domainEnglishFormat.kif 4530-4530
s__format(s__EnglishLanguage,s__sister__m,'"%1 is the sister of %2"')

domainEnglishFormat.kif 4529-4529
s__termFormat(s__ChineseLanguage,s__sister__m,'"妹妹"')

domainEnglishFormat.kif 53229-53229
s__termFormat(s__ChineseTraditionalLanguage,s__sister__m,'"妹妹"')

domainEnglishFormat.kif 53228-53228
s__termFormat(s__EnglishLanguage,s__sister__m,'"sister"')

domainEnglishFormat.kif 53227-53227

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


( ! [V__A,V__H] :
   (((s__instance(V__A,s__Woman) &
         s__instance(V__H,s__Human))
       =>
       (((s__aunt(V__A,V__H)
           =>
           ( ? [V__P] :
             ((s__instance(V__P,s__Human) &
                 (s__sister(V__A,V__P)
                 &
                 s__parent(V__H,V__P))))))
     &
     (( ? [V__P] :
         ((s__instance(V__P,s__Human) &
             (s__sister(V__A,V__P)
             &
             s__parent(V__H,V__P)))))
   =>
   s__aunt(V__A,V__H)))))
)
)

Mid-level-ontology.kif 22137-22142 A woman is the aunt of a human if and only if there exists another human such that the woman is the sister of the other human and the other human is a parent of the human
( ! [V__P,V__H] :
   (((s__instance(V__P,s__Organism) &
         s__instance(V__H,s__Organism))
       =>
       ((s__fathersSistersDaughter(V__P,V__H)
         =>
         (( ? [V__F, V__AUN] :
             ((s__instance(V__F,s__Woman) &
                 s__instance(V__AUN,s__Human) &
                 (s__father(V__P,V__F)
                 &
                 s__sister(V__F,V__AUN)
               &
               s__daughter(V__AUN,V__H)))))))))
)
)

ArabicCulture.kif 701-707
( ! [V__P,V__H] :
   (((s__instance(V__P,s__Organism) &
         s__instance(V__H,s__Woman))
       =>
       ((s__fathersSistersHusband(V__P,V__H)
         =>
         (( ? [V__F, V__AUN] :
             ((s__instance(V__F,s__Woman) &
                 s__instance(V__AUN,s__Man) &
                 (s__father(V__P,V__F)
                 &
                 s__sister(V__F,V__AUN)
               &
               s__husband(V__AUN,V__H)))))))))
)
)

ArabicCulture.kif 617-623
( ! [V__P,V__H] :
   (((s__instance(V__P,s__Organism) &
         s__instance(V__H,s__Organism))
       =>
       ((s__fathersSistersSon(V__P,V__H)
         =>
         (( ? [V__F, V__AUN] :
             ((s__instance(V__F,s__Woman) &
                 s__instance(V__AUN,s__Human) &
                 (s__father(V__P,V__F)
                 &
                 s__sister(V__F,V__AUN)
               &
               s__son(V__AUN,V__H)))))))))
)
)

ArabicCulture.kif 689-695
( ! [V__P,V__AUN] :
   (((s__instance(V__P,s__Organism) &
         s__instance(V__AUN,s__Human))
       =>
       ((s__maternalAunt(V__P,V__AUN)
         =>
         (( ? [V__M] :
             ((s__instance(V__M,s__Woman) &
                 (s__mother(V__P,V__M)
                 &
                 s__sister(V__M,V__AUN)))))))))
)
)

ArabicCulture.kif 582-587
( ! [V__P,V__H] :
   (((s__instance(V__P,s__Organism) &
         s__instance(V__H,s__Organism))
       =>
       ((s__mothersSistersDaughter(V__P,V__H)
         =>
         (( ? [V__M, V__AUN] :
             ((s__instance(V__M,s__Woman) &
                 s__instance(V__AUN,s__Human) &
                 (s__mother(V__P,V__M)
                 &
                 s__sister(V__M,V__AUN)
               &
               s__daughter(V__AUN,V__H)))))))))
)
)

ArabicCulture.kif 725-731
( ! [V__P,V__H] :
   (((s__instance(V__P,s__Organism) &
         s__instance(V__H,s__Woman))
       =>
       ((s__mothersSistersHusband(V__P,V__H)
         =>
         (( ? [V__M, V__AUN] :
             ((s__instance(V__M,s__Woman) &
                 s__instance(V__AUN,s__Man) &
                 (s__mother(V__P,V__M)
                 &
                 s__sister(V__M,V__AUN)
               &
               s__husband(V__AUN,V__H)))))))))
)
)

ArabicCulture.kif 629-635
( ! [V__P,V__H] :
   (((s__instance(V__P,s__Organism) &
         s__instance(V__H,s__Organism))
       =>
       ((s__mothersSistersSon(V__P,V__H)
         =>
         (( ? [V__M, V__AUN] :
             ((s__instance(V__M,s__Woman) &
                 s__instance(V__AUN,s__Human) &
                 (s__mother(V__P,V__M)
                 &
                 s__sister(V__M,V__AUN)
               &
               s__son(V__AUN,V__H)))))))))
)
)

ArabicCulture.kif 713-719
( ! [V__P,V__AUN] :
   (((s__instance(V__P,s__Organism) &
         s__instance(V__AUN,s__Human))
       =>
       ((s__paternalAunt(V__P,V__AUN)
         =>
         (( ? [V__F] :
             ((s__instance(V__F,s__Woman) &
                 (s__father(V__P,V__F)
                 &
                 s__sister(V__F,V__AUN)))))))))
)
)

ArabicCulture.kif 571-576


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