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 "这是两个拥有共同 mother 和 father 的 Organism 之间的关系。注：这个关系不包括同父异母或同母异父的兄弟或姐妹等等之间的关系。") 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 16489-16491
(domain sibling 1 Organism) Merge.kif 16487-16487 O argumento numero 1 de sibling e' uma instancia de Organismo
(domain sibling 2 Organism) Merge.kif 16488-16488 O argumento numero 2 de sibling e' uma instancia de Organismo
(instance sibling BinaryPredicate) Merge.kif 16482-16482 sibling e' uma instancia de Predicado Binario
(instance sibling IrreflexiveRelation) Merge.kif 16486-16486 sibling e' uma instancia de Relacao Irreflexiva
(instance sibling PartialValuedRelation) Merge.kif 16483-16483 sibling e' uma instancia de Relacao Parcial
(instance sibling SymmetricRelation) Merge.kif 16485-16485 sibling e' uma instancia de Relacao Simetrica
(subrelation sibling familyRelation) Merge.kif 16484-16484 sibling e' uma sub-relacao de 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 16521-16521 brother e' uma sub-relacao de sibling
(subrelation sister sibling) Merge.kif 16530-16530 sister e' uma sub-relacao de sibling
(termFormat ChineseLanguage sibling "兄弟") domainEnglishFormat.kif 52922-52922
(termFormat ChineseLanguage sibling "兄弟姐妹") chinese_format.kif 530-530
(termFormat ChineseTraditionalLanguage sibling "兄弟") domainEnglishFormat.kif 52921-52921
(termFormat EnglishLanguage sibling "sibling") domainEnglishFormat.kif 52920-52920

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


(=>
    (and
        (sibling ?ORG1 ?ORG2)
        (parent ?ORG1 ?PARENT))
    (parent ?ORG2 ?PARENT))		 Merge.kif 16503-16507

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


(<=>
    (nephew ?N ?H)
    (exists (?S)
        (and
            (sibling ?S ?H)
            (son ?N ?S))))		 Mid-level-ontology.kif 23108-23113 nephew Man and Humano Organismo Organismo e' um irmao ou uma irma de Humano son Man and Organismo
(<=>
    (niece ?N ?H)
    (exists (?S)
        (and
            (sibling ?S ?H)
            (daughter ?N ?S))))		 Mid-level-ontology.kif 23122-23127 niece Woman and Humano Organismo Organismo e' um irmao ou uma irma de Humano daughter Woman and Organismo
(=>
    (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 16493-16501
(=>
    (instance ?BROOD Brood)
    (forall (?MEMBER1 ?MEMBER2)
        (=>
            (and
                (member ?MEMBER1 ?BROOD)
                (member ?MEMBER2 ?BROOD))
            (sibling ?MEMBER1 ?MEMBER2))))		 Mid-level-ontology.kif 7492-7499


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