| 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 | 兄弟姐妹 的 1 数量 是 生物 的 instance |
| (domain sibling 2 Organism) | Merge.kif 16488-16488 | 兄弟姐妹 的 2 数量 是 生物 的 instance |
| (instance sibling BinaryPredicate) | Merge.kif 16482-16482 | 兄弟姐妹 是 二元谓语 的 instance |
| (instance sibling IrreflexiveRelation) | Merge.kif 16486-16486 | 兄弟姐妹 是 非自反关系 的 instance |
| (instance sibling PartialValuedRelation) | Merge.kif 16483-16483 | 兄弟姐妹 是 部分值关系 的 instance |
| (instance sibling SymmetricRelation) | Merge.kif 16485-16485 | 兄弟姐妹 是 对称关系 的 instance |
| (subrelation sibling familyRelation) | Merge.kif 16484-16484 | 兄弟姐妹 是 家属关系 的 subrelation |
| 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 | 哥哥 是 兄弟姐妹 的 subrelation |
| (subrelation sister sibling) | Merge.kif 16530-16530 | 妹妹 是 兄弟姐妹 的 subrelation |
| (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 若且唯若 有存在 生物 这样 那个 生物 是 那个 人类 的 sibling 和 那个 人 是 那个 生物 的 son |
| (<=> (niece ?N ?H) (exists (?S) (and (sibling ?S ?H) (daughter ?N ?S)))) |
Mid-level-ontology.kif 23122-23127 | 女人 是 人类 的 niece 若且唯若 有存在 生物 这样 那个 生物 是 那个 人类 的 sibling 和 那个 女人 是 那个 生物 的 daughter |
| (=> (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 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