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 16538-16540
(
domain
sibling
1
Organism
)
Merge.kif 16536-16536
Die Zahl 1 Argument von
sibling
ist ein
fall
von
Organism
%n{nicht}
(
domain
sibling
2
Organism
)
Merge.kif 16537-16537
Die Zahl 2 Argument von
sibling
ist ein
fall
von
Organism
%n{nicht}
(
instance
sibling
BinaryPredicate
)
Merge.kif 16531-16531
sibling
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
instance
sibling
IrreflexiveRelation
)
Merge.kif 16535-16535
sibling
ist ein
fall
von
IrreflexiveRelation
%n{nicht}
(
instance
sibling
PartialValuedRelation
)
Merge.kif 16532-16532
sibling
ist ein
fall
von
PartialValuedRelation
%n{nicht}
(
instance
sibling
SymmetricRelation
)
Merge.kif 16534-16534
sibling
ist ein
fall
von
SymmetricRelation
%n{nicht}
(
subrelation
sibling
familyRelation
)
Merge.kif 16533-16533
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 16570-16570
brother
ist eine
teilrelation
von
sibling
(
subrelation
sister
sibling
)
Merge.kif 16579-16579
sister
ist eine
teilrelation
von
sibling
(
termFormat
ChineseLanguage
sibling
"兄弟")
domainEnglishFormat.kif 52924-52924
(
termFormat
ChineseLanguage
sibling
"兄弟姐妹")
chinese_format.kif 530-530
(
termFormat
ChineseTraditionalLanguage
sibling
"兄弟")
domainEnglishFormat.kif 52923-52923
(
termFormat
EnglishLanguage
sibling
"sibling")
domainEnglishFormat.kif 52922-52922
antecedent
(=>
(
and
(
sibling
?ORG1 ?ORG2)
(
parent
?ORG1 ?PARENT))
(
parent
?ORG2 ?PARENT))
Merge.kif 16552-16556
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 23161-23166
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 23175-23180
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 16542-16550
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 7520-7527
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