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 16538-16540
(domain sibling 1 Organism) Merge.kif 16536-16536 Die Zahl 1 Argument von sibling ist ein fall von Organism %n{nicht}
(domain sibling 2 Organism) Merge.kif 16537-16537 Die Zahl 2 Argument von sibling ist ein fall von Organism %n{nicht}
(instance sibling BinaryPredicate) Merge.kif 16531-16531 sibling ist ein fall von BinaryPredicate %n{nicht}
(instance sibling IrreflexiveRelation) Merge.kif 16535-16535 sibling ist ein fall von IrreflexiveRelation %n{nicht}
(instance sibling PartialValuedRelation) Merge.kif 16532-16532 sibling ist ein fall von PartialValuedRelation %n{nicht}
(instance sibling SymmetricRelation) Merge.kif 16534-16534 sibling ist ein fall von SymmetricRelation %n{nicht}
(subrelation sibling familyRelation) Merge.kif 16533-16533 sibling ist eine teilrelation von familyRelation

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 16570-16570 brother ist eine teilrelation von sibling
(subrelation sister sibling) Merge.kif 16579-16579 sister ist eine teilrelation von sibling
(termFormat ChineseLanguage sibling "兄弟") domainEnglishFormat.kif 52924-52924
(termFormat ChineseLanguage sibling "兄弟姐妹") chinese_format.kif 530-530
(termFormat ChineseTraditionalLanguage sibling "兄弟") domainEnglishFormat.kif 52923-52923
(termFormat EnglishLanguage sibling "sibling") domainEnglishFormat.kif 52922-52922

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


(=>
    (and
        (sibling ?ORG1 ?ORG2)
        (parent ?ORG1 ?PARENT))
    (parent ?ORG2 ?PARENT))
Merge.kif 16552-16556

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


(<=>
    (nephew ?N ?H)
    (exists (?S)
        (and
            (sibling ?S ?H)
            (son ?N ?S))))
Mid-level-ontology.kif 23161-23166 nephew Man and Human genau dann wenn es gibt Organism um ** Human ist die geschwister von ** Organism %n{nicht} und son ** Man and ** Organism
(<=>
    (niece ?N ?H)
    (exists (?S)
        (and
            (sibling ?S ?H)
            (daughter ?N ?S))))
Mid-level-ontology.kif 23175-23180 niece Woman and Human genau dann wenn es gibt Organism um ** Human ist die geschwister von ** Organism %n{nicht} und daughter ** Woman and ** 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 16542-16550
(=>
    (instance ?BROOD Brood)
    (forall (?MEMBER1 ?MEMBER2)
        (=>
            (and
                (member ?MEMBER1 ?BROOD)
                (member ?MEMBER2 ?BROOD))
            (sibling ?MEMBER1 ?MEMBER2))))
Mid-level-ontology.kif 7520-7527


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