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 16642-16644
(domain sibling 1 Organism) Merge.kif 16640-16640 The number 1 argument of sibling is an instance of organism
(domain sibling 2 Organism) Merge.kif 16641-16641 The number 2 argument of sibling is an instance of organism
(instance sibling BinaryPredicate) Merge.kif 16635-16635 sibling is an instance of binary predicate
(instance sibling IrreflexiveRelation) Merge.kif 16639-16639 sibling is an instance of irreflexive relation
(instance sibling PartialValuedRelation) Merge.kif 16636-16636 sibling is an instance of partial valued relation
(instance sibling SymmetricRelation) Merge.kif 16638-16638 sibling is an instance of symmetric relation
(subrelation sibling familyRelation) Merge.kif 16637-16637 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 534-534
(format FrenchLanguage sibling "%1 est %n un fr�re ou une soeur de %2") french_format.kif 312-312
(format ItalianLanguage sibling "%1 è %n un fratello germano di %2") relations-it.txt 261-261
(format JapaneseLanguage sibling "%1 は %2 の father では %n") japanese_format.kif 2080-2080
(format PortugueseLanguage sibling "%1 e' %n um irmao ou uma irma de %2") portuguese_format.kif 264-264
(format cz sibling "%1 %p{je} %n{nen�} a sibling of %2") relations-cz.txt 318-318
(format de sibling "%2 ist die geschwister von %1 %n{nicht}") relations-de.txt 689-689
(format hi sibling "%1 %2 kaa sahodara %n hai") relations-hindi.txt 298-298
(format ro sibling "%1 %n{nu} este sibling%t{copilul} lui %2") relations-ro.kif 333-333
(format sv sibling "%2 är %n{inte} ett syskon till %1") relations-sv.txt 343-343
(format tg sibling "%1 %n ay ang kapatid ng %2") relations-tg.txt 453-453
(subrelation brother sibling) Merge.kif 16674-16674 brother is a subrelation of sibling
(subrelation sister sibling) Merge.kif 16683-16683 sister is a subrelation of sibling
(termFormat ChineseLanguage sibling "兄弟") domainEnglishFormat.kif 52926-52926 sister is a subrelation of sibling
(termFormat ChineseLanguage sibling "兄弟姐妹") chinese_format.kif 530-530 sister is a subrelation of sibling
(termFormat ChineseTraditionalLanguage sibling "兄弟") domainEnglishFormat.kif 52925-52925 sister is a subrelation of sibling
(termFormat EnglishLanguage sibling "sibling") domainEnglishFormat.kif 52924-52924 sister is a subrelation of sibling
(termFormat de sibling "geschwister") terms-de.txt 209-209 sister is a subrelation of sibling

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


(=>
    (and
        (sibling ?ORG1 ?ORG2)
        (parent ?ORG1 ?PARENT))
    (parent ?ORG2 ?PARENT))
Merge.kif 16656-16660

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


(<=>
    (nephew ?N ?H)
    (exists (?S)
        (and
            (sibling ?S ?H)
            (son ?N ?S))))
Mid-level-ontology.kif 24750-24755 A man is the &ephew$"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 24764-24769 A woman is the &iece$"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 16646-16654
(=>
    (instance ?BROOD Brood)
    (forall (?MEMBER1 ?MEMBER2)
        (=>
            (and
                (member ?MEMBER1 ?BROOD)
                (member ?MEMBER2 ?BROOD))
            (sibling ?MEMBER1 ?MEMBER2))))
Mid-level-ontology.kif 8660-8667


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 is open source software produced by Articulate Software and its partners