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 16273-16275
(domain sibling 1 Organism) Merge.kif 16271-16271
(domain sibling 2 Organism) Merge.kif 16272-16272
(instance sibling BinaryPredicate) Merge.kif 16266-16266
(instance sibling IrreflexiveRelation) Merge.kif 16270-16270
(instance sibling PartialValuedRelation) Merge.kif 16267-16267
(instance sibling SymmetricRelation) Merge.kif 16269-16269
(subrelation sibling familyRelation) Merge.kif 16268-16268

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 16305-16305
(subrelation sister sibling) Merge.kif 16314-16314
(termFormat ChineseLanguage sibling "兄弟") domainEnglishFormat.kif 52912-52912
(termFormat ChineseLanguage sibling "兄弟姐妹") chinese_format.kif 530-530
(termFormat ChineseTraditionalLanguage sibling "兄弟") domainEnglishFormat.kif 52911-52911
(termFormat EnglishLanguage sibling "sibling") domainEnglishFormat.kif 52910-52910

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


(=>
    (and
        (sibling ?ORG1 ?ORG2)
        (parent ?ORG1 ?PARENT))
    (parent ?ORG2 ?PARENT))
Merge.kif 16287-16291

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 16277-16285
(=>
    (instance ?BROOD Brood)
    (forall (?MEMBER1 ?MEMBER2)
        (=>
            (and
                (member ?MEMBER1 ?BROOD)
                (member ?MEMBER2 ?BROOD))
            (sibling ?MEMBER1 ?MEMBER2))))
Mid-level-ontology.kif 7466-7473


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