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
brother
Sigma KEE - brother
brother
appearance as argument number 1
(
documentation
brother
ChineseLanguage
"这是兄弟的概括关系。(
brother
?MAN ?PERSON)的意思是 ?MAN 是 ?PERSON 兄弟。")
chinese_format.kif 3701-3702
(
documentation
brother
EnglishLanguage
"The general relationship of being a brother. (
brother
?MAN ?PERSON) means that ?MAN is the brother of ?PERSON.")
Merge.kif 16505-16506
(
domain
brother
1
Man
)
Merge.kif 16503-16503
brother
の数値 1 引数は
Man
の
instance
では %n
(
domain
brother
2
Human
)
Merge.kif 16504-16504
brother
の数値 2 引数は
人[人間]
の
instance
では %n
(
instance
brother
IrreflexiveRelation
)
Merge.kif 16500-16500
brother
は
非反射関係
の
instance
では %n
(
instance
brother
PartialValuedRelation
)
Merge.kif 16502-16502
brother
は
部分的価値関係
の
instance
では %n
(
instance
brother
TransitiveRelation
)
Merge.kif 16501-16501
brother
は
推移関係
の
instance
では %n
(
subrelation
brother
sibling
)
Merge.kif 16499-16499
brother
は
sibling
の
subrelation
では %n
appearance as argument number 2
(
format
ChineseLanguage
brother
"%1 是 %2 的
brother
")
domainEnglishFormat.kif 2922-2922
(
format
ChineseTraditionalLanguage
brother
"%1 是 %2 的
brother
")
domainEnglishFormat.kif 2921-2921
(
format
EnglishLanguage
brother
"%1 is the
brother
of %2")
domainEnglishFormat.kif 2920-2920
(
termFormat
ChineseLanguage
brother
"哥哥")
domainEnglishFormat.kif 12125-12125
(
termFormat
ChineseTraditionalLanguage
brother
"哥哥")
domainEnglishFormat.kif 12124-12124
(
termFormat
EnglishLanguage
brother
"brother")
domainEnglishFormat.kif 12123-12123
consequent
(<=>
(
uncle
?U ?H)
(
exists
(?P)
(
and
(
brother
?U ?P)
(
parent
?H ?P))))
Mid-level-ontology.kif 23137-23142
uncle
Man
and
人[人間]
人[人間]
brother
Man
and
人[人間]
人[人間]
は
人[人間]
の
parent
では %n
(=>
(
fathersBrothersDaughter
?P ?H)
(
exists
(?F ?UNC)
(
and
(
father
?P ?F)
(
brother
?F ?UNC)
(
daughter
?UNC ?H))))
ArabicCulture.kif 666-672
fathersBrothersDaughter
物
and
物
Man
人[人間]
Man
は
物
の
father
では %n
brother
Man
and
人[人間]
daughter
人[人間]
and
物
(=>
(
fathersBrothersSon
?P ?H)
(
exists
(?F ?UNC)
(
and
(
father
?P ?F)
(
brother
?F ?UNC)
(
son
?UNC ?H))))
ArabicCulture.kif 654-660
fathersBrothersSon
物
and
物
Man
人[人間]
Man
は
物
の
father
では %n
brother
Man
and
人[人間]
son
人[人間]
and
物
(=>
(
fathersBrothersWife
?P ?W)
(
exists
(?F ?UNC)
(
and
(
father
?P ?F)
(
brother
?F ?UNC)
(
wife
?UNC ?W))))
ArabicCulture.kif 606-612
fathersBrothersWife
物
and
Man
Man
Woman
Man
は
物
の
father
では %n
brother
Man
and
Woman
wife
Woman
and
Man
(=>
(
maternalUncle
?P ?UNC)
(
exists
(?M)
(
and
(
mother
?P ?M)
(
brother
?UNC ?M))))
ArabicCulture.kif 573-578
maternalUncle
物
and
Man
人[人間]
人[人間]
は
物
の
mother
では %n
brother
Man
and
人[人間]
(=>
(
mothersBrothersDaughter
?P ?H)
(
exists
(?M ?UNC)
(
and
(
mother
?P ?M)
(
brother
?M ?UNC)
(
daughter
?UNC ?H))))
ArabicCulture.kif 690-696
mothersBrothersDaughter
物
and
物
Man
人[人間]
Man
は
物
の
mother
では %n
brother
Man
and
人[人間]
daughter
人[人間]
and
物
(=>
(
mothersBrothersSon
?P ?H)
(
exists
(?M ?UNC)
(
and
(
mother
?P ?M)
(
brother
?M ?UNC)
(
son
?UNC ?H))))
ArabicCulture.kif 678-684
mothersBrothersSon
物
and
物
Man
人[人間]
Man
は
物
の
mother
では %n
brother
Man
and
人[人間]
son
人[人間]
and
物
(=>
(
mothersBrothersWife
?P ?W)
(
exists
(?M ?UNC)
(
and
(
mother
?P ?M)
(
brother
?M ?UNC)
(
wife
?UNC ?W))))
ArabicCulture.kif 618-624
mothersBrothersWife
物
and
Man
Man
Woman
Man
は
物
の
mother
では %n
brother
Man
and
Woman
wife
Woman
and
Man
(=>
(
paternalUncle
?P ?UNC)
(
exists
(?F)
(
and
(
father
?P ?F)
(
brother
?F ?UNC))))
ArabicCulture.kif 562-567
paternalUncle
物
and
人[人間]
Man
Man
は
物
の
father
では %n
brother
Man
and
人[人間]
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