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 16475-16476
(
domain
brother
1
Man
)
Merge.kif 16473-16473
Le nombre 1 argument de
brother
est une
instance
de
Man
(
domain
brother
2
Human
)
Merge.kif 16474-16474
Le nombre 2 argument de
brother
est une
instance
de
humain
(
instance
brother
IrreflexiveRelation
)
Merge.kif 16470-16470
brother
est une
instance
de
relation irr�flexive
(
instance
brother
PartialValuedRelation
)
Merge.kif 16472-16472
brother
est une
instance
de
relation partielle
(
instance
brother
TransitiveRelation
)
Merge.kif 16471-16471
brother
est une
instance
de
relation transitive
(
subrelation
brother
sibling
)
Merge.kif 16469-16469
brother
est une
sous
-relation de
sibling
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 23086-23091
uncle
Man
and
humain
humain
brother
Man
and
humain
humain
est un
parent
de
humain
(=>
(
fathersBrothersDaughter
?P ?H)
(
exists
(?F ?UNC)
(
and
(
father
?P ?F)
(
brother
?F ?UNC)
(
daughter
?UNC ?H))))
ArabicCulture.kif 666-672
fathersBrothersDaughter
organisme
and
organisme
Man
humain
Man
est le
p
�re de
organisme
brother
Man
and
humain
daughter
humain
and
organisme
(=>
(
fathersBrothersSon
?P ?H)
(
exists
(?F ?UNC)
(
and
(
father
?P ?F)
(
brother
?F ?UNC)
(
son
?UNC ?H))))
ArabicCulture.kif 654-660
fathersBrothersSon
organisme
and
organisme
Man
humain
Man
est le
p
�re de
organisme
brother
Man
and
humain
son
humain
and
organisme
(=>
(
fathersBrothersWife
?P ?W)
(
exists
(?F ?UNC)
(
and
(
father
?P ?F)
(
brother
?F ?UNC)
(
wife
?UNC ?W))))
ArabicCulture.kif 606-612
fathersBrothersWife
organisme
and
Man
Man
Woman
Man
est le
p
�re de
organisme
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
organisme
and
Man
humain
humain
est la
m
�re de
organisme
brother
Man
and
humain
(=>
(
mothersBrothersDaughter
?P ?H)
(
exists
(?M ?UNC)
(
and
(
mother
?P ?M)
(
brother
?M ?UNC)
(
daughter
?UNC ?H))))
ArabicCulture.kif 690-696
mothersBrothersDaughter
organisme
and
organisme
Man
humain
Man
est la
m
�re de
organisme
brother
Man
and
humain
daughter
humain
and
organisme
(=>
(
mothersBrothersSon
?P ?H)
(
exists
(?M ?UNC)
(
and
(
mother
?P ?M)
(
brother
?M ?UNC)
(
son
?UNC ?H))))
ArabicCulture.kif 678-684
mothersBrothersSon
organisme
and
organisme
Man
humain
Man
est la
m
�re de
organisme
brother
Man
and
humain
son
humain
and
organisme
(=>
(
mothersBrothersWife
?P ?W)
(
exists
(?M ?UNC)
(
and
(
mother
?P ?M)
(
brother
?M ?UNC)
(
wife
?UNC ?W))))
ArabicCulture.kif 618-624
mothersBrothersWife
organisme
and
Man
Man
Woman
Man
est la
m
�re de
organisme
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
organisme
and
humain
Man
Man
est le
p
�re de
organisme
brother
Man
and
humain
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