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
(
subrelation
mothersSistersSon
familyRelation
)
ArabicCulture.kif 723-723
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 38717-38717
(
termFormat
ChineseTraditionalLanguage
mothersSistersSon
"母親姐妹的兒子")
domainEnglishFormat.kif 38716-38716
(
termFormat
EnglishLanguage
mothersSistersSon
"mothers sisters son")
domainEnglishFormat.kif 38715-38715
antecedent
(=>
(
mothersSistersSon
?P ?H)
(
exists
(?M ?AUN)
(
and
(
mother
?P ?M)
(
sister
?M ?AUN)
(
son
?AUN ?H))))
ArabicCulture.kif 726-732
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