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

Formal Language: 



KB Term:  Term intersection
English Word: 

  sibling

Sigma KEE - sibling
sibling

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


(documentation sibling ChineseLanguage "这是两个拥有共同 motherfatherOrganism 之间的关系。注:这个关系不包括同父异母或同母异父的兄弟或姐妹等等之间的关系。") chinese_format.kif 3699-3700
(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 15845-15847
(domain sibling 1 Organism) Merge.kif 15843-15843
(domain sibling 2 Organism) Merge.kif 15844-15844
(instance sibling BinaryPredicate) Merge.kif 15838-15838
(instance sibling IrreflexiveRelation) Merge.kif 15842-15842
(instance sibling PartialValuedRelation) Merge.kif 15839-15839
(instance sibling SymmetricRelation) Merge.kif 15841-15841
(subrelation sibling familyRelation) Merge.kif 15840-15840

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


(format ChineseLanguage sibling "%1 %n 是 %2 的 sibling") chinese_format.kif 529-529
(format EnglishLanguage sibling "%1 is %n a sibling of %2") english_format.kif 534-534
(subrelation brother sibling) Merge.kif 15877-15877
(subrelation sister sibling) Merge.kif 15886-15886
(termFormat ChineseLanguage sibling "兄弟") domainEnglishFormat.kif 52905-52905
(termFormat ChineseLanguage sibling "兄弟姐妹") chinese_format.kif 530-530
(termFormat ChineseTraditionalLanguage sibling "兄弟") domainEnglishFormat.kif 52904-52904
(termFormat EnglishLanguage sibling "sibling") domainEnglishFormat.kif 52903-52903

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


(=>
    (and
        (sibling ?ORG1 ?ORG2)
        (parent ?ORG1 ?PARENT))
    (parent ?ORG2 ?PARENT))
Merge.kif 15859-15863

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


(<=>
    (nephew ?N ?H)
    (exists (?S)
        (and
            (sibling ?S ?H)
            (son ?N ?S))))
Mid-level-ontology.kif 22504-22509
(<=>
    (niece ?N ?H)
    (exists (?S)
        (and
            (sibling ?S ?H)
            (daughter ?N ?S))))
Mid-level-ontology.kif 22518-22523
(=>
    (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 15849-15857
(=>
    (instance ?BROOD Brood)
    (forall (?MEMBER1 ?MEMBER2)
        (=>
            (and
                (member ?MEMBER1 ?BROOD)
                (member ?MEMBER2 ?BROOD))
            (sibling ?MEMBER1 ?MEMBER2))))
Mid-level-ontology.kif 7143-7150


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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