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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - sibling
sibling

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


s__documentation(s__sibling__m,s__ChineseLanguage,'"这是两个拥有共同 motherfatherOrganism 之间的关系。注:这个关系不包括同父异母或同母异父的兄弟或姐妹等等之间的关系。"')

chinese_format.kif 3699-3700
s__documentation(s__sibling__m,s__EnglishLanguage,'"The relationship between two Organisms that have the same mother and father. Note that this relationship does not hold between half-brothers, half-sisters, etc."')

Merge.kif 15808-15810
s__domain(s__sibling__m,n__1,s__Organism)

Merge.kif 15806-15806 The number 1 argument of sibling is an instance of organism
s__domain(s__sibling__m,n__2,s__Organism)

Merge.kif 15807-15807 The number 2 argument of sibling is an instance of organism
s__instance(s__BinaryPredicate,s__Class)

s__instance(s__sibling__m,s__BinaryPredicate)

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

s__instance(s__sibling__m,s__IrreflexiveRelation)

Merge.kif 15805-15805 sibling is an instance of irreflexive relation
s__instance(s__sibling__m,s__PartialValuedRelation)

s__instance(s__PartialValuedRelation,s__Class)

Merge.kif 15802-15802 sibling is an instance of partial valued relation
s__instance(s__SymmetricRelation,s__Class)

s__instance(s__sibling__m,s__SymmetricRelation)

Merge.kif 15804-15804 sibling is an instance of symmetric relation
s__subrelation(s__sibling__m,s__familyRelation__m)

Merge.kif 15803-15803 sibling is a subrelation of family relation

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


s__format(s__ChineseLanguage,s__sibling__m,'"%1 %n 是 %2 的 sibling"')

chinese_format.kif 529-529
s__format(s__EnglishLanguage,s__sibling__m,'"%1 is %n a sibling of %2"')

english_format.kif 534-534
s__subrelation(s__brother__m,s__sibling__m)

Merge.kif 15840-15840 brother is a subrelation of sibling
s__subrelation(s__sister__m,s__sibling__m)

Merge.kif 15849-15849 sister is a subrelation of sibling
s__termFormat(s__ChineseLanguage,s__sibling__m,'"兄弟"')

domainEnglishFormat.kif 52905-52905
s__termFormat(s__ChineseLanguage,s__sibling__m,'"兄弟姐妹"')

chinese_format.kif 530-530
s__termFormat(s__ChineseTraditionalLanguage,s__sibling__m,'"兄弟"')

domainEnglishFormat.kif 52904-52904
s__termFormat(s__EnglishLanguage,s__sibling__m,'"sibling"')

domainEnglishFormat.kif 52903-52903

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


( ! [V__ORG1,V__ORG2,V__PARENT] :
   (((s__instance(V__ORG1,s__Organism) &
         s__instance(V__ORG2,s__Organism) &
         s__instance(V__PARENT,s__Organism))
       =>
       (((s__sibling(V__ORG1,V__ORG2)
           &
           s__parent(V__ORG1,V__PARENT))
       =>
       (s__parent(V__ORG2,V__PARENT)))))
)
)

Merge.kif 15822-15826

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


( ! [V__H,V__N] :
   (((s__instance(V__H,s__Human) &
         s__instance(V__N,s__Man))
       =>
       (((s__nephew(V__N,V__H)
           =>
           ( ? [V__S] :
             ((s__instance(V__S,s__Organism) &
                 (s__sibling(V__S,V__H)
                 &
                 s__son(V__N,V__S))))))
     &
     (( ? [V__S] :
         ((s__instance(V__S,s__Organism) &
             (s__sibling(V__S,V__H)
             &
             s__son(V__N,V__S)))))
   =>
   s__nephew(V__N,V__H)))))
)
)

Mid-level-ontology.kif 22386-22391 A man is the nephew of a human if and only if there exists an organism such that the organism is a sibling of the human and the man is the son of the organism
( ! [V__H,V__N] :
   (((s__instance(V__H,s__Human) &
         s__instance(V__N,s__Woman))
       =>
       (((s__niece(V__N,V__H)
           =>
           ( ? [V__S] :
             ((s__instance(V__S,s__Organism) &
                 (s__sibling(V__S,V__H)
                 &
                 s__daughter(V__N,V__S))))))
     &
     (( ? [V__S] :
         ((s__instance(V__S,s__Organism) &
             (s__sibling(V__S,V__H)
             &
             s__daughter(V__N,V__S)))))
   =>
   s__niece(V__N,V__H)))))
)
)

Mid-level-ontology.kif 22400-22405 A woman is the niece of a human if and only if there exists an organism such that the organism is a sibling of the human and the woman is the daughter of the organism
( ! [V__PARENT2,V__PARENT1,V__ORGANISM1,V__ORGANISM2] :
   (((s__instance(V__PARENT2,s__Organism) &
         s__instance(V__PARENT1,s__Organism) &
         s__instance(V__ORGANISM1,s__Organism) &
         s__instance(V__ORGANISM2,s__Organism))
       =>
       (((s__parent(V__ORGANISM1,V__PARENT1)
           &
           s__parent(V__ORGANISM2,V__PARENT1)
         &
         s__parent(V__ORGANISM1,V__PARENT2)
       &
       s__parent(V__ORGANISM2,V__PARENT2)
     &
     ~((V__ORGANISM1 = V__ORGANISM2))
     &
     ~((V__PARENT1 = V__PARENT2)))
   =>
   (s__sibling(V__ORGANISM1,V__ORGANISM2)))))
)
)

Merge.kif 15812-15820
( ! [V__BROOD] :
   ((s__instance(V__BROOD,s__Brood) =>
       (( ! [V__MEMBER1, V__MEMBER2] :
           (((s__instance(V__MEMBER1,s__Organism) &
                 s__instance(V__MEMBER2,s__Organism))
               =>
               (((s__member(V__MEMBER1,V__BROOD)
                   &
                   s__member(V__MEMBER2,V__BROOD))
               =>
               (s__sibling(V__MEMBER1,V__MEMBER2)))))))))
)
)

Mid-level-ontology.kif 7145-7152


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