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
Il numero 1 argomenti di
brother
è un
istanza
di
Man
(
domain
brother
2
Human
)
Merge.kif 16504-16504
Il numero 2 argomenti di
brother
è un
istanza
di
Umano
(
instance
brother
IrreflexiveRelation
)
Merge.kif 16500-16500
brother
è un'
istanza
di
RelazioneNonRiflessiva
(
instance
brother
PartialValuedRelation
)
Merge.kif 16502-16502
brother
è un'
istanza
di
RelazioneAValoreParziale
(
instance
brother
TransitiveRelation
)
Merge.kif 16501-16501
brother
è un'
istanza
di
RelazioneTransitiva
(
subrelation
brother
sibling
)
Merge.kif 16499-16499
brother
è una
sottorelazione
di
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 23137-23142
uncle
Man
and
Umano
Umano
brother
Man
and
Umano
Umano
è un
parente
di
Umano
(=>
(
fathersBrothersDaughter
?P ?H)
(
exists
(?F ?UNC)
(
and
(
father
?P ?F)
(
brother
?F ?UNC)
(
daughter
?UNC ?H))))
ArabicCulture.kif 666-672
fathersBrothersDaughter
Organismo
and
Organismo
Man
Umano
Man
è un
padre
di
Organismo
brother
Man
and
Umano
daughter
Umano
and
Organismo
(=>
(
fathersBrothersSon
?P ?H)
(
exists
(?F ?UNC)
(
and
(
father
?P ?F)
(
brother
?F ?UNC)
(
son
?UNC ?H))))
ArabicCulture.kif 654-660
fathersBrothersSon
Organismo
and
Organismo
Man
Umano
Man
è un
padre
di
Organismo
brother
Man
and
Umano
son
Umano
and
Organismo
(=>
(
fathersBrothersWife
?P ?W)
(
exists
(?F ?UNC)
(
and
(
father
?P ?F)
(
brother
?F ?UNC)
(
wife
?UNC ?W))))
ArabicCulture.kif 606-612
fathersBrothersWife
Organismo
and
Man
Man
Woman
Man
è un
padre
di
Organismo
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
Organismo
and
Man
Umano
Umano
è una
madre
di
Organismo
brother
Man
and
Umano
(=>
(
mothersBrothersDaughter
?P ?H)
(
exists
(?M ?UNC)
(
and
(
mother
?P ?M)
(
brother
?M ?UNC)
(
daughter
?UNC ?H))))
ArabicCulture.kif 690-696
mothersBrothersDaughter
Organismo
and
Organismo
Man
Umano
Man
è una
madre
di
Organismo
brother
Man
and
Umano
daughter
Umano
and
Organismo
(=>
(
mothersBrothersSon
?P ?H)
(
exists
(?M ?UNC)
(
and
(
mother
?P ?M)
(
brother
?M ?UNC)
(
son
?UNC ?H))))
ArabicCulture.kif 678-684
mothersBrothersSon
Organismo
and
Organismo
Man
Umano
Man
è una
madre
di
Organismo
brother
Man
and
Umano
son
Umano
and
Organismo
(=>
(
mothersBrothersWife
?P ?W)
(
exists
(?M ?UNC)
(
and
(
mother
?P ?M)
(
brother
?M ?UNC)
(
wife
?UNC ?W))))
ArabicCulture.kif 618-624
mothersBrothersWife
Organismo
and
Man
Man
Woman
Man
è una
madre
di
Organismo
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
Organismo
and
Umano
Man
Man
è un
padre
di
Organismo
brother
Man
and
Umano
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