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 15279-15281
(domain sibling 1 Organism) Merge.kif 15277-15277 The number 1 argument of sibling is an instance of organism
(domain sibling 2 Organism) Merge.kif 15278-15278 The number 2 argument of sibling is an instance of organism
(instance sibling BinaryPredicate) Merge.kif 15272-15272 sibling is an instance of binary predicate
(instance sibling IrreflexiveRelation) Merge.kif 15276-15276 sibling is an instance of irreflexive relation
(instance sibling PartialValuedRelation) Merge.kif 15273-15273 sibling is an instance of partial valued relation
(instance sibling SymmetricRelation) Merge.kif 15275-15275 sibling is an instance of symmetric relation
(subrelation sibling familyRelation) Merge.kif 15274-15274 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 15311-15311 brother is a subrelation of sibling
(subrelation sister sibling) Merge.kif 15320-15320 sister is a subrelation of sibling
(termFormat ChineseLanguage sibling "兄弟") domainEnglishFormat.kif 52819-52819
(termFormat ChineseLanguage sibling "兄弟姐妹") chinese_format.kif 530-530
(termFormat ChineseTraditionalLanguage sibling "兄弟") domainEnglishFormat.kif 52818-52818
(termFormat EnglishLanguage sibling "sibling") domainEnglishFormat.kif 52817-52817

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


(=>
    (and
        (sibling ?ORG1 ?ORG2)
        (parent ?ORG1 ?PARENT))
    (parent ?ORG2 ?PARENT))
Merge.kif 15293-15297

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


(<=>
    (nephew ?N ?H)
    (exists (?S)
        (and
            (sibling ?S ?H)
            (son ?N ?S))))
Mid-level-ontology.kif 21069-21074 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 21084-21089 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 15283-15291
(=>
    (instance ?BROOD Brood)
    (forall (?MEMBER1 ?MEMBER2)
        (=>
            (and
                (member ?MEMBER1 ?BROOD)
                (member ?MEMBER2 ?BROOD))
            (sibling ?MEMBER1 ?MEMBER2))))
Mid-level-ontology.kif 7210-7217


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