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
域
哥哥
, 1 and
人
(
domain
brother
2
Human
)
Merge.kif 16504-16504
域
哥哥
, 2 and
Human
(
instance
brother
IrreflexiveRelation
)
Merge.kif 16500-16500
例
哥哥
and
IrreflexiveRelation
(
instance
brother
PartialValuedRelation
)
Merge.kif 16502-16502
例
哥哥
and
PartialValuedRelation
(
instance
brother
TransitiveRelation
)
Merge.kif 16501-16501
例
哥哥
and
TransitiveRelation
(
subrelation
brother
sibling
)
Merge.kif 16499-16499
子關係
哥哥
and
兄弟
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
Human
的
uncle
是
人
Human
人
是
Human
的
brother
親
Human
and
Human
(=>
(
fathersBrothersDaughter
?P ?H)
(
exists
(?F ?UNC)
(
and
(
father
?P ?F)
(
brother
?F ?UNC)
(
daughter
?UNC ?H))))
ArabicCulture.kif 666-672
Organism
是
Organism
的
father
's
brother
's
daughter
人
Human
父親
Organism
and
人
人
是
Human
的
brother
Human
是
Organism
的
daughter
(=>
(
fathersBrothersSon
?P ?H)
(
exists
(?F ?UNC)
(
and
(
father
?P ?F)
(
brother
?F ?UNC)
(
son
?UNC ?H))))
ArabicCulture.kif 654-660
Organism
是
Organism
的
father
's
brother
's
son
人
Human
父親
Organism
and
人
人
是
Human
的
brother
Human
是
Organism
的
son
(=>
(
fathersBrothersWife
?P ?W)
(
exists
(?F ?UNC)
(
and
(
father
?P ?F)
(
brother
?F ?UNC)
(
wife
?UNC ?W))))
ArabicCulture.kif 606-612
Organism
是
人
的
father
's
brother
's
wife
人
女人
父親
Organism
and
人
人
是
女人
的
brother
女人
是
人
的
wife
(=>
(
maternalUncle
?P ?UNC)
(
exists
(?M)
(
and
(
mother
?P ?M)
(
brother
?UNC ?M))))
ArabicCulture.kif 573-578
Organism
的
maternal
uncle
是
人
Human
母親
Organism
and
Human
人
是
Human
的
brother
(=>
(
mothersBrothersDaughter
?P ?H)
(
exists
(?M ?UNC)
(
and
(
mother
?P ?M)
(
brother
?M ?UNC)
(
daughter
?UNC ?H))))
ArabicCulture.kif 690-696
Organism
的
mother
's
brother
's
daughter
是
Organism
人
Human
母親
Organism
and
人
人
是
Human
的
brother
Human
是
Organism
的
daughter
(=>
(
mothersBrothersSon
?P ?H)
(
exists
(?M ?UNC)
(
and
(
mother
?P ?M)
(
brother
?M ?UNC)
(
son
?UNC ?H))))
ArabicCulture.kif 678-684
Organism
的
mother
's
brother
's
son
是
Organism
人
Human
母親
Organism
and
人
人
是
Human
的
brother
Human
是
Organism
的
son
(=>
(
mothersBrothersWife
?P ?W)
(
exists
(?M ?UNC)
(
and
(
mother
?P ?M)
(
brother
?M ?UNC)
(
wife
?UNC ?W))))
ArabicCulture.kif 618-624
Organism
的
mother
's
brother
's
wife
是
人
人
女人
母親
Organism
and
人
人
是
女人
的
brother
女人
是
人
的
wife
(=>
(
paternalUncle
?P ?UNC)
(
exists
(?F)
(
and
(
father
?P ?F)
(
brother
?F ?UNC))))
ArabicCulture.kif 562-567
Organism
的
paternal
uncle
是
Human
人
父親
Organism
and
人
人
是
Human
的
brother
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