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 16489-16491
(
domain
sibling
1
Organism
)
Merge.kif 16487-16487
sibling
の数値 1 引数は
物
の
instance
では %n
(
domain
sibling
2
Organism
)
Merge.kif 16488-16488
sibling
の数値 2 引数は
物
の
instance
では %n
(
instance
sibling
BinaryPredicate
)
Merge.kif 16482-16482
sibling
は
2進述語
の
instance
では %n
(
instance
sibling
IrreflexiveRelation
)
Merge.kif 16486-16486
sibling
は
非反射関係
の
instance
では %n
(
instance
sibling
PartialValuedRelation
)
Merge.kif 16483-16483
sibling
は
部分的価値関係
の
instance
では %n
(
instance
sibling
SymmetricRelation
)
Merge.kif 16485-16485
sibling
は
対称関係
の
instance
では %n
(
subrelation
sibling
familyRelation
)
Merge.kif 16484-16484
sibling
は
familyRelation
の
subrelation
では %n
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
brother
は
sibling
の
subrelation
では %n
(
subrelation
sister
sibling
)
Merge.kif 16530-16530
sister
は
sibling
の
subrelation
では %n
(
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
物
は
物
の
father
では %n
物
は
物
の
parent
では %n
物
は
物
の
parent
では %n
consequent
(<=>
(
nephew
?N ?H)
(
exists
(?S)
(
and
(
sibling
?S ?H)
(
son
?N ?S))))
Mid-level-ontology.kif 23108-23113
nephew
Man
and
人[人間]
物
物
は
人[人間]
の
father
では %n
son
Man
and
物
(<=>
(
niece
?N ?H)
(
exists
(?S)
(
and
(
sibling
?S ?H)
(
daughter
?N ?S))))
Mid-level-ontology.kif 23122-23127
niece
Woman
and
人[人間]
物
物
は
人[人間]
の
father
では %n
daughter
Woman
and
物
(=>
(
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
物
は
物
の
parent
では %n
物
は
物
の
parent
では %n
物
は
物
の
parent
では %n
物
は
物
の
parent
では %n
物
は
物
と
equal
では
物
は
物
と
equal
では
物
は
物
の
father
では %n
(=>
(
instance
?BROOD
Brood
)
(
forall
(?MEMBER1 ?MEMBER2)
(=>
(
and
(
member
?MEMBER1 ?BROOD)
(
member
?MEMBER2 ?BROOD))
(
sibling
?MEMBER1 ?MEMBER2))))
Mid-level-ontology.kif 7492-7499
コレクション
は
Brood
の
instance
では %n
物
物
物
は
コレクション
の
member
では %n
物
は
コレクション
の
member
では %n
物
は
物
の
father
では %n
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