| 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 15176-15178 | |
| (domain sibling 1 Organism) | Merge.kif 15174-15174 | The number 1 argument of sibling is an instance of organism |
| (domain sibling 2 Organism) | Merge.kif 15175-15175 | The number 2 argument of sibling is an instance of organism |
| (instance sibling BinaryPredicate) | Merge.kif 15169-15169 | sibling is an instance of binary predicate |
| (instance sibling IrreflexiveRelation) | Merge.kif 15173-15173 | sibling is an instance of irreflexive relation |
| (instance sibling PartialValuedRelation) | Merge.kif 15170-15170 | sibling is an instance of partial valued relation |
| (instance sibling SymmetricRelation) | Merge.kif 15172-15172 | sibling is an instance of symmetric relation |
| (subrelation sibling familyRelation) | Merge.kif 15171-15171 | 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 15208-15208 | brother is a subrelation of sibling |
| (subrelation sister sibling) | Merge.kif 15217-15217 | sister is a subrelation of sibling |
| (termFormat ChineseLanguage sibling "兄弟") | domainEnglishFormat.kif 52861-52861 | "兄弟" is the printable form of sibling in ChineseLanguage |
| (termFormat ChineseLanguage sibling "兄弟姐妹") | chinese_format.kif 530-530 | "兄弟姐妹" is the printable form of sibling in ChineseLanguage |
| (termFormat ChineseTraditionalLanguage sibling "兄弟") | domainEnglishFormat.kif 52860-52860 | "兄弟" is the printable form of sibling in ChineseTraditionalLanguage |
| (termFormat EnglishLanguage sibling "sibling") | domainEnglishFormat.kif 52859-52859 | "sibling" is the printable form of sibling in english language |
| antecedent |
|
|
| (=> (and (sibling ?ORG1 ?ORG2) (parent ?ORG1 ?PARENT)) (parent ?ORG2 ?PARENT)) |
Merge.kif 15190-15194 |
|
| consequent |
|
|
| (<=> (nephew ?N ?H) (exists (?S) (and (sibling ?S ?H) (son ?N ?S)))) |
Mid-level-ontology.kif 21005-21010 | 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 21020-21025 | 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 15180-15188 |
|
| (=> (instance ?BROOD Brood) (forall (?MEMBER1 ?MEMBER2) (=> (and (member ?MEMBER1 ?BROOD) (member ?MEMBER2 ?BROOD)) (sibling ?MEMBER1 ?MEMBER2)))) |
Mid-level-ontology.kif 7203-7210 |
|
|
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