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
sibling
の数値 1 引数は
物
の
instance
では %n
(
domain
sibling
2
Organism
)
Merge.kif 16466-16466
sibling
の数値 2 引数は
物
の
instance
では %n
(
instance
sibling
BinaryPredicate
)
Merge.kif 16460-16460
sibling
は
2進述語
の
instance
では %n
(
instance
sibling
IrreflexiveRelation
)
Merge.kif 16464-16464
sibling
は
非反射関係
の
instance
では %n
(
instance
sibling
PartialValuedRelation
)
Merge.kif 16461-16461
sibling
は
部分的価値関係
の
instance
では %n
(
instance
sibling
SymmetricRelation
)
Merge.kif 16463-16463
sibling
は
対称関係
の
instance
では %n
(
subrelation
sibling
familyRelation
)
Merge.kif 16462-16462
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 16499-16499
brother
は
sibling
の
subrelation
では %n
(
subrelation
sister
sibling
)
Merge.kif 16508-16508
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 16481-16485
物
は
物
の
father
では %n
物
は
物
の
parent
では %n
物
は
物
の
parent
では %n
consequent
(<=>
(
nephew
?N ?H)
(
exists
(?S)
(
and
(
sibling
?S ?H)
(
son
?N ?S))))
Mid-level-ontology.kif 23109-23114
nephew
Man
and
人[人間]
物
物
は
人[人間]
の
father
では %n
son
Man
and
物
(<=>
(
niece
?N ?H)
(
exists
(?S)
(
and
(
sibling
?S ?H)
(
daughter
?N ?S))))
Mid-level-ontology.kif 23123-23128
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 16471-16479
物
は
物
の
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 7493-7500
コレクション
は
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