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
mothersSistersSon
Sigma KEE - mothersSistersSon
mothersSistersSon
appearance as argument number 1
(
documentation
mothersSistersSon
EnglishLanguage
"In Arabic: Aibon AlxaAlap. Son of mother's sister.")
ArabicCulture.kif 724-725
(
instance
mothersSistersSon
BinaryPredicate
)
ArabicCulture.kif 722-722
mothers sisters son
is an
instance
of
binary predicate
(
subrelation
mothersSistersSon
familyRelation
)
ArabicCulture.kif 723-723
mothers sisters son
is a
subrelation
of
family relation
appearance as argument number 2
(
format
ChineseLanguage
mothersSistersSon
"%1 的
mother
's
sister
's
son
是 %2 ")
domainEnglishFormat.kif 3910-3910
(
format
ChineseTraditionalLanguage
mothersSistersSon
"%1 的
mother
's
sister
's
son
是 %2 ")
domainEnglishFormat.kif 3909-3909
(
format
EnglishLanguage
mothersSistersSon
"the
mother
's
sister
's
son
of %1 is %2")
domainEnglishFormat.kif 3908-3908
(
termFormat
ChineseLanguage
mothersSistersSon
"母亲姐妹的儿子")
domainEnglishFormat.kif 38715-38715
(
termFormat
ChineseTraditionalLanguage
mothersSistersSon
"母親姐妹的兒子")
domainEnglishFormat.kif 38714-38714
(
termFormat
EnglishLanguage
mothersSistersSon
"mothers sisters son")
domainEnglishFormat.kif 38713-38713
antecedent
(=>
(
mothersSistersSon
?P ?H)
(
exists
(?M ?AUN)
(
and
(
mother
?P ?M)
(
sister
?M ?AUN)
(
son
?AUN ?H))))
ArabicCulture.kif 726-732
If the
mother
's
sister
's
son
of
an organism
is
another organism
,
then there exist
a woman
and
a human
such that
the woman
is a
mother
of
the organism
and
the woman
is the
sister
of
the human
and
the human
is the
son
of
the other organism
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