Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - sibling
sibling

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


(instance sibling BinaryPredicate) Merge.kif 16819-16819 sibling is an instance of binary predicate
(instance sibling PartialValuedRelation) Merge.kif 16820-16820 sibling is an instance of partial valued relation
(subrelation sibling familyRelation) Merge.kif 16821-16821 sibling is a subrelation of family relation
(instance sibling SymmetricRelation) Merge.kif 16822-16822 sibling is an instance of symmetric relation
(instance sibling IrreflexiveRelation) Merge.kif 16823-16823 sibling is an instance of irreflexive relation
(domain sibling 1 Organism) Merge.kif 16824-16824 The number 1 argument of sibling is an instance of organism
(domain sibling 2 Organism) Merge.kif 16825-16825 The number 2 argument of sibling is an instance of organism
(documentation sibling 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 16826-16828 The number 2 argument of sibling is an instance of organism

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


(subrelation brother sibling) Merge.kif 16858-16858 brother is a subrelation of sibling
(subrelation sister sibling) Merge.kif 16867-16867 sister is a subrelation of sibling
(termFormat EnglishLanguage sibling "sibling") domainEnglishFormat.kif 52917-52917 sister is a subrelation of sibling
(termFormat ChineseTraditionalLanguage sibling "兄弟") domainEnglishFormat.kif 52918-52918 sister is a subrelation of sibling
(termFormat ChineseLanguage sibling "兄弟") domainEnglishFormat.kif 52919-52919 sister is a subrelation of sibling
(format EnglishLanguage sibling "%1 is %n a sibling of %2") english_format.kif 534-534 sister is a subrelation of sibling

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


(=>
    (and
        (sibling ?ORG1 ?ORG2)
        (parent ?ORG1 ?PARENT))
    (parent ?ORG2 ?PARENT))		 Merge.kif 16840-16844 If X is a sibling of Y and Z is a parent of X, then Z is a parent of Y

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


(=>
    (and
        (parent ?ORGANISM1 ?PARENT1)
        (parent ?ORGANISM2 ?PARENT1)
        (parent ?ORGANISM1 ?PARENT2)
        (parent ?ORGANISM2 ?PARENT2)
        (not
            (equal ?ORGANISM1 ?ORGANISM2))
        (not
            (equal ?PARENT1 ?PARENT2)))
    (sibling ?ORGANISM1 ?ORGANISM2))		 Merge.kif 16830-16838 If All of the following hold: (1) X is a parent of Y (2) X is a parent of Z (3) W is a parent of Y (4) W is a parent of Z (5) equal Y and Z (6) equal X and W, then Y is a sibling of Z
(=>
    (and
        (instance ?BROOD Brood)
        (member ?MEMBER1 ?BROOD)
        (member ?MEMBER2 ?BROOD))
    (sibling ?MEMBER1 ?MEMBER2))		 Mid-level-ontology.kif 8814-8819 If X is an instance of brood, Y is a member of X, and Z is a member of X, then Y is a sibling of Z
(<=>
    (nephew ?N ?H)
    (exists (?S)
        (and
            (sibling ?S ?H)
            (son ?N ?S))))		 Mid-level-ontology.kif 25427-25432 X is the nephew of Y if, only if there exists Z such that Z is a sibling of Y, and X is the son of Z
(<=>
    (niece ?N ?H)
    (exists (?S)
        (and
            (sibling ?S ?H)
            (daughter ?N ?S))))		 Mid-level-ontology.kif 25441-25446 X is the niece of Y if, only if there exists Z such that Z is a sibling of Y, and X is the daughter of Z


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners