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 16527-16528
(
domain
brother
1
Man
)
Merge.kif 16525-16525
Die Zahl 1 Argument von
brother
ist ein
fall
von
Man
%n{nicht}
(
domain
brother
2
Human
)
Merge.kif 16526-16526
Die Zahl 2 Argument von
brother
ist ein
fall
von
Human
%n{nicht}
(
instance
brother
IrreflexiveRelation
)
Merge.kif 16522-16522
brother
ist ein
fall
von
IrreflexiveRelation
%n{nicht}
(
instance
brother
PartialValuedRelation
)
Merge.kif 16524-16524
brother
ist ein
fall
von
PartialValuedRelation
%n{nicht}
(
instance
brother
TransitiveRelation
)
Merge.kif 16523-16523
brother
ist ein
fall
von
TransitiveRelation
%n{nicht}
(
subrelation
brother
sibling
)
Merge.kif 16521-16521
brother
ist eine
teilrelation
von
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 23136-23141
uncle
Man
and
Human
genau dann wenn es gibt
** Human
um
brother
** Man
and
** ** Human
und
** ** Human
ist das
elterntiel
von
** Human
%n{nicht}
(=>
(
fathersBrothersDaughter
?P ?H)
(
exists
(?F ?UNC)
(
and
(
father
?P ?F)
(
brother
?F ?UNC)
(
daughter
?UNC ?H))))
ArabicCulture.kif 666-672
Wenn
fathersBrothersDaughter
Organism
and
** Organism
,
dann es gibt
Man
und
Human
um
** Man
ist der
vater
von
** Organism
%n{nicht} und
brother
** Man
and
** Human
und
daughter
** Human
and
** ** Organism
(=>
(
fathersBrothersSon
?P ?H)
(
exists
(?F ?UNC)
(
and
(
father
?P ?F)
(
brother
?F ?UNC)
(
son
?UNC ?H))))
ArabicCulture.kif 654-660
Wenn
fathersBrothersSon
Organism
and
** Organism
,
dann es gibt
Man
und
Human
um
** Man
ist der
vater
von
** Organism
%n{nicht} und
brother
** Man
and
** Human
und
son
** Human
and
** ** Organism
(=>
(
fathersBrothersWife
?P ?W)
(
exists
(?F ?UNC)
(
and
(
father
?P ?F)
(
brother
?F ?UNC)
(
wife
?UNC ?W))))
ArabicCulture.kif 606-612
Wenn
fathersBrothersWife
Organism
and
Man
,
dann es gibt
** Man
und
Woman
um
** ** Man
ist der
vater
von
** Organism
%n{nicht} und
brother
** ** Man
and
** Woman
und
wife
** Woman
and
** Man
(=>
(
maternalUncle
?P ?UNC)
(
exists
(?M)
(
and
(
mother
?P ?M)
(
brother
?UNC ?M))))
ArabicCulture.kif 573-578
Wenn
maternalUncle
Organism
and
Man
,
dann es gibt
Human
um
** Human
ist die
mutter
von
** Organism
%n{nicht} und
brother
** Man
and
** Human
(=>
(
mothersBrothersDaughter
?P ?H)
(
exists
(?M ?UNC)
(
and
(
mother
?P ?M)
(
brother
?M ?UNC)
(
daughter
?UNC ?H))))
ArabicCulture.kif 690-696
Wenn
mothersBrothersDaughter
Organism
and
** Organism
,
dann es gibt
Man
und
Human
um
** Man
ist die
mutter
von
** Organism
%n{nicht} und
brother
** Man
and
** Human
und
daughter
** Human
and
** ** Organism
(=>
(
mothersBrothersSon
?P ?H)
(
exists
(?M ?UNC)
(
and
(
mother
?P ?M)
(
brother
?M ?UNC)
(
son
?UNC ?H))))
ArabicCulture.kif 678-684
Wenn
mothersBrothersSon
Organism
and
** Organism
,
dann es gibt
Man
und
Human
um
** Man
ist die
mutter
von
** Organism
%n{nicht} und
brother
** Man
and
** Human
und
son
** Human
and
** ** Organism
(=>
(
mothersBrothersWife
?P ?W)
(
exists
(?M ?UNC)
(
and
(
mother
?P ?M)
(
brother
?M ?UNC)
(
wife
?UNC ?W))))
ArabicCulture.kif 618-624
Wenn
mothersBrothersWife
Organism
and
Man
,
dann es gibt
** Man
und
Woman
um
** ** Man
ist die
mutter
von
** Organism
%n{nicht} und
brother
** ** Man
and
** Woman
und
wife
** Woman
and
** Man
(=>
(
paternalUncle
?P ?UNC)
(
exists
(?F)
(
and
(
father
?P ?F)
(
brother
?F ?UNC))))
ArabicCulture.kif 562-567
Wenn
paternalUncle
Organism
and
Human
,
dann es gibt
Man
um
** Man
ist der
vater
von
** Organism
%n{nicht} und
brother
** Man
and
** Human
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