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
-------------------------


(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 15176-15178
(domain sibling 1 Organism) Merge.kif 15174-15174 The number 1 argument of sibling is an instance of organism
(domain sibling 2 Organism) Merge.kif 15175-15175 The number 2 argument of sibling is an instance of organism
(instance sibling BinaryPredicate) Merge.kif 15169-15169 sibling is an instance of binary predicate
(instance sibling IrreflexiveRelation) Merge.kif 15173-15173 sibling is an instance of irreflexive relation
(instance sibling PartialValuedRelation) Merge.kif 15170-15170 sibling is an instance of partial valued relation
(instance sibling SymmetricRelation) Merge.kif 15172-15172 sibling is an instance of symmetric relation
(subrelation sibling familyRelation) Merge.kif 15171-15171 sibling is a subrelation of family relation

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 537-537
(subrelation brother sibling) Merge.kif 15208-15208 brother is a subrelation of sibling
(subrelation sister sibling) Merge.kif 15217-15217 sister is a subrelation of sibling
(termFormat ChineseLanguage sibling "兄弟") domainEnglishFormat.kif 52861-52861 "兄弟" is the printable form of sibling in ChineseLanguage
(termFormat ChineseLanguage sibling "兄弟姐妹") chinese_format.kif 530-530 "兄弟姐妹" is the printable form of sibling in ChineseLanguage
(termFormat ChineseTraditionalLanguage sibling "兄弟") domainEnglishFormat.kif 52860-52860 "兄弟" is the printable form of sibling in ChineseTraditionalLanguage
(termFormat EnglishLanguage sibling "sibling") domainEnglishFormat.kif 52859-52859 "sibling" is the printable form of sibling in english language

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


(=>
    (and
        (sibling ?ORG1 ?ORG2)
        (parent ?ORG1 ?PARENT))
    (parent ?ORG2 ?PARENT))
Merge.kif 15190-15194

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


(<=>
    (nephew ?N ?H)
    (exists (?S)
        (and
            (sibling ?S ?H)
            (son ?N ?S))))
Mid-level-ontology.kif 21005-21010 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
(<=>
    (niece ?N ?H)
    (exists (?S)
        (and
            (sibling ?S ?H)
            (daughter ?N ?S))))
Mid-level-ontology.kif 21020-21025 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
(=>
    (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 15180-15188
(=>
    (instance ?BROOD Brood)
    (forall (?MEMBER1 ?MEMBER2)
        (=>
            (and
                (member ?MEMBER1 ?BROOD)
                (member ?MEMBER2 ?BROOD))
            (sibling ?MEMBER1 ?MEMBER2))))
Mid-level-ontology.kif 7203-7210


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners