Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
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
Organism
s that have the same
mother
and
father
. Note that this relationship does not hold between half-brothers, half-sisters, etc.")
Merge.kif 16467-16469
(
domain
sibling
1
Organism
)
Merge.kif 16465-16465
The number 1 argument of
sibling
is an
instance
of
organism
(
domain
sibling
2
Organism
)
Merge.kif 16466-16466
The number 2 argument of
sibling
is an
instance
of
organism
(
instance
sibling
BinaryPredicate
)
Merge.kif 16460-16460
sibling
is an
instance
of
binary predicate
(
instance
sibling
IrreflexiveRelation
)
Merge.kif 16464-16464
sibling
is an
instance
of
irreflexive relation
(
instance
sibling
PartialValuedRelation
)
Merge.kif 16461-16461
sibling
is an
instance
of
partial valued relation
(
instance
sibling
SymmetricRelation
)
Merge.kif 16463-16463
sibling
is an
instance
of
symmetric relation
(
subrelation
sibling
familyRelation
)
Merge.kif 16462-16462
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 16499-16499
brother
is a
subrelation
of
sibling
(
subrelation
sister
sibling
)
Merge.kif 16508-16508
sister
is a
subrelation
of
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 16481-16485
If
an organism
is a
sibling
of
another organism
and
a third organism
is a
parent
of
the organism
,
then
the third organism
is a
parent
of
the other organism
consequent
(<=>
(
nephew
?N ?H)
(
exists
(?S)
(
and
(
sibling
?S ?H)
(
son
?N ?S))))
Mid-level-ontology.kif 23109-23114
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 23123-23128
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 16471-16479
If
an organism
is a
parent
of
another organism
and
the organism
is a
parent
of
a third organism
and
a fourth organism
is a
parent
of
the other organism
and
the fourth organism
is a
parent
of
the third organism
and
the other organism
is not
equal
to
the third organism
and
the organism
is not
equal
to
the fourth organism
,
then
the other organism
is a
sibling
of
the third organism
(=>
(
instance
?BROOD
Brood
)
(
forall
(?MEMBER1 ?MEMBER2)
(=>
(
and
(
member
?MEMBER1 ?BROOD)
(
member
?MEMBER2 ?BROOD))
(
sibling
?MEMBER1 ?MEMBER2))))
Mid-level-ontology.kif 7493-7500
If
a collection
is an
instance
of
brood
,
then for all
an organism
and
another organism
if
the organism
is a
member
of
the collection
and
the other organism
is a
member
of
the collection
,
then
the organism
is a
sibling
of
the other organism
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