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
(instance sibling PartialValuedRelation) Merge.kif 16820-16820
(subrelation sibling familyRelation) Merge.kif 16821-16821
(instance sibling SymmetricRelation) Merge.kif 16822-16822
(instance sibling IrreflexiveRelation) Merge.kif 16823-16823
(domain sibling 1 Organism) Merge.kif 16824-16824
(domain sibling 2 Organism) Merge.kif 16825-16825
(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

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


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

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


(=>
    (and
        (sibling ?ORG1 ?ORG2)
        (parent ?ORG1 ?PARENT))
    (parent ?ORG2 ?PARENT))		 Merge.kif 16840-16844

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
(=>
    (and
        (instance ?BROOD Brood)
        (member ?MEMBER1 ?BROOD)
        (member ?MEMBER2 ?BROOD))
    (sibling ?MEMBER1 ?MEMBER2))		 Mid-level-ontology.kif 8814-8819
(<=>
    (nephew ?N ?H)
    (exists (?S)
        (and
            (sibling ?S ?H)
            (son ?N ?S))))		 Mid-level-ontology.kif 25427-25432
(<=>
    (niece ?N ?H)
    (exists (?S)
        (and
            (sibling ?S ?H)
            (daughter ?N ?S))))		 Mid-level-ontology.kif 25441-25446


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-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners