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
Die Zahl 1 Argument von
sibling
ist ein
fall
von
Organism
%n{nicht}
(
domain
sibling
2
Organism
)
Merge.kif 16466-16466
Die Zahl 2 Argument von
sibling
ist ein
fall
von
Organism
%n{nicht}
(
instance
sibling
BinaryPredicate
)
Merge.kif 16460-16460
sibling
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
instance
sibling
IrreflexiveRelation
)
Merge.kif 16464-16464
sibling
ist ein
fall
von
IrreflexiveRelation
%n{nicht}
(
instance
sibling
PartialValuedRelation
)
Merge.kif 16461-16461
sibling
ist ein
fall
von
PartialValuedRelation
%n{nicht}
(
instance
sibling
SymmetricRelation
)
Merge.kif 16463-16463
sibling
ist ein
fall
von
SymmetricRelation
%n{nicht}
(
subrelation
sibling
familyRelation
)
Merge.kif 16462-16462
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 16499-16499
brother
ist eine
teilrelation
von
sibling
(
subrelation
sister
sibling
)
Merge.kif 16508-16508
sister
ist eine
teilrelation
von
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
Wenn
Organism
ist die
geschwister
von
** Organism
%n{nicht} und
** Organism
ist das
elterntiel
von
** ** Organism
%n{nicht},
dann
** ** Organism
ist das
elterntiel
von
** Organism
%n{nicht}
consequent
(<=>
(
nephew
?N ?H)
(
exists
(?S)
(
and
(
sibling
?S ?H)
(
son
?N ?S))))
Mid-level-ontology.kif 23109-23114
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 23123-23128
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 16471-16479
Wenn
Organism
ist das
elterntiel
von
** Organism
%n{nicht} und
** Organism
ist das
elterntiel
von
** Organism
%n{nicht} und
** Organism
ist das
elterntiel
von
** ** Organism
%n{nicht} und
** ** Organism
ist das
elterntiel
von
** ** Organism
%n{nicht} und
** ** Organism
ist gleich
** ** Organism
nicht und
** Organism
ist gleich
** ** Organism
nicht,
dann
** ** Organism
ist die
geschwister
von
** ** Organism
%n{nicht}
(=>
(
instance
?BROOD
Brood
)
(
forall
(?MEMBER1 ?MEMBER2)
(=>
(
and
(
member
?MEMBER1 ?BROOD)
(
member
?MEMBER2 ?BROOD))
(
sibling
?MEMBER1 ?MEMBER2))))
Mid-level-ontology.kif 7493-7500
Wenn
Collection
ist ein
fall
von
Brood
%n{nicht},
dann fuer alle
Organism
und
** Organism
wenn
** Organism
ist ein
Mitglied
von
** Collection
%n{nicht} und
** ** Organism
ist ein
Mitglied
von
** Collection
%n{nicht},
dann
** ** Organism
ist die
geschwister
von
** Organism
%n{nicht}
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