Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
Englishlanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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
mother
Sigma KEE - mother
mother
appearance as argument number 1
(
documentation
mother
ChineseLanguage
"这是母亲的概括关系。(
mother
?CHILD ?MOTHER)的意思是 ?MOTHER 是 ?CHILD 的亲生母亲。")
chinese_format.kif 3691-3692
(
documentation
mother
EnglishLanguage
"The general relationship of motherhood. (
mother
?CHILD ?MOTHER) means that ?MOTHER is the biological mother of ?CHILD.")
Merge.kif 16586-16588
(
domain
mother
1
Organism
)
Merge.kif 16584-16584
(
domain
mother
2
Organism
)
Merge.kif 16585-16585
(
instance
mother
BinaryPredicate
)
Merge.kif 16578-16578
(
instance
mother
PartialValuedRelation
)
Merge.kif 16577-16577
(
instance
mother
SingleValuedRelation
)
Merge.kif 16576-16576
appearance as argument number 2
(
format
ChineseLanguage
mother
"%2 %n 是 %1 的
mother
")
chinese_format.kif 525-525
(
format
EnglishLanguage
mother
"%2 is %n a
mother
of %1")
english_format.kif 530-530
(
format
FrenchLanguage
mother
"%2 est %n la m�re de %1")
french_format.kif 310-310
(
format
ItalianLanguage
mother
"%2 è %n una madre di %1")
relations-it.txt 195-195
(
format
JapaneseLanguage
mother
"%2 は %1 の
mother
では %n")
japanese_format.kif 2078-2078
(
format
PortugueseLanguage
mother
"%2 e' %n a mae de %1")
portuguese_format.kif 262-262
(
format
cz
mother
"%2 %p{je} %n{nen�} a
mother
of %1")
relations-cz.txt 316-316
(
format
de
mother
"%2 ist die mutter von %1 %n{nicht}")
relations-de.txt 683-683
(
format
hi
mother
"%2 %1 kii jananii %n hai")
relations-hindi.txt 233-233
(
format
ro
mother
"%2 %n{nu} este
mother
%t{mama} lui %1")
relations-ro.kif 331-331
(
format
sv
mother
"%2 är %n{inte} en mamma till %1")
relations-sv.txt 339-339
(
format
tg
mother
"%2 %n ay ang nanay ng %1")
relations-tg.txt 375-375
(
termFormat
ChineseLanguage
mother
"母亲")
chinese_format.kif 526-526
(
termFormat
ChineseTraditionalLanguage
mother
"母親")
domainEnglishFormat.kif 38689-38689
(
termFormat
EnglishLanguage
mother
"mother")
domainEnglishFormat.kif 38688-38688
(
termFormat
de
mother
"mutter")
terms-de.txt 207-207
(
termFormat
tg
mother
"nanay")
relations-tg.txt 376-376
antecedent
(=>
(
mother
?A ?B)
(
parent
?A ?B))
Merge.kif 16580-16582
(=>
(
mother
?CHILD ?MOTHER)
(
attribute
?MOTHER
Female
))
Merge.kif 16589-16591
consequent
(<=>
(
cousin
?P1 ?P2)
(
and
(
exists
(?G1 ?G2)
(
and
(
grandmother
?P1 ?G1)
(
grandfather
?P1 ?G2)
(
grandmother
?P2 ?G1)
(
grandfather
?P2 ?G2)))
(
not
(
exists
(?M ?F)
(
and
(
mother
?P1 ?M)
(
father
?P1 ?F)
(
mother
?P2 ?M)
(
father
?P2 ?F))))))
Mid-level-ontology.kif 24702-24717
(<=>
(
stepfather
?P ?F)
(
exists
(?M)
(
and
(
mother
?P ?M)
(
spouse
?F ?M)
(
not
(
father
?P ?F)))))
Mid-level-ontology.kif 24793-24800
(<=>
(
stepmother
?P ?M)
(
exists
(?F)
(
and
(
father
?P ?F)
(
spouse
?M ?F)
(
not
(
mother
?P ?M)))))
Mid-level-ontology.kif 24810-24817
(=>
(
and
(
instance
?REP
SexualReproduction
)
(
result
?REP ?ORGANISM))
(
exists
(?MOTHER ?FATHER)
(
and
(
mother
?ORGANISM ?MOTHER)
(
father
?ORGANISM ?FATHER))))
Merge.kif 10476-10483
(=>
(
and
(
parent
?CHILD ?PARENT)
(
attribute
?PARENT
Female
))
(
mother
?CHILD ?PARENT))
Merge.kif 16668-16672
(=>
(
and
(
parent
?CHILD ?PARENT)
(
instance
?REP
SexualReproduction
)
(
agent
?REP ?PARENT)
(
result
?REP ?CHILD))
(
or
(
mother
?CHILD ?PARENT)
(
father
?CHILD ?PARENT)))
Merge.kif 16561-16569
(=>
(
grandmother
?H ?P)
(
exists
(?C)
(
and
(
mother
?C ?P)
(
parent
?H ?C))))
Mid-level-ontology.kif 24736-24741
(=>
(
holdsDuring
?T
(
attribute
?P
BereavedMother
))
(
exists
(?BEFORE ?C)
(
and
(
earlier
?BEFORE ?T)
(
holdsDuring
?BEFORE
(
mother
?P ?C))
(
holdsDuring
?T
(
attribute
?C
Dead
)))))
ArabicCulture.kif 806-812
(=>
(
instance
?MULE
Mule
)
(
exists
(?DONKEY ?HORSE)
(
and
(
father
?MULE ?DONKEY)
(
instance
?DONKEY
Donkey
)
(
mother
?MULE ?HORSE)
(
instance
?HORSE
Horse
))))
Mid-level-ontology.kif 21781-21788
(=>
(
maternalAunt
?P ?AUN)
(
exists
(?M)
(
and
(
mother
?P ?M)
(
sister
?M ?AUN))))
ArabicCulture.kif 603-608
(=>
(
maternalUncle
?P ?UNC)
(
exists
(?M)
(
and
(
mother
?P ?M)
(
brother
?UNC ?M))))
ArabicCulture.kif 577-582
(=>
(
mothersBrothersDaughter
?P ?H)
(
exists
(?M ?UNC)
(
and
(
mother
?P ?M)
(
brother
?M ?UNC)
(
daughter
?UNC ?H))))
ArabicCulture.kif 714-720
(=>
(
mothersBrothersSon
?P ?H)
(
exists
(?M ?UNC)
(
and
(
mother
?P ?M)
(
brother
?M ?UNC)
(
son
?UNC ?H))))
ArabicCulture.kif 700-706
(=>
(
mothersBrothersWife
?P ?W)
(
exists
(?M ?UNC)
(
and
(
mother
?P ?M)
(
brother
?M ?UNC)
(
wife
?UNC ?W))))
ArabicCulture.kif 630-636
(=>
(
mothersSistersDaughter
?P ?H)
(
exists
(?M ?AUN)
(
and
(
mother
?P ?M)
(
sister
?M ?AUN)
(
daughter
?AUN ?H))))
ArabicCulture.kif 770-776
(=>
(
mothersSistersHusband
?P ?H)
(
exists
(?M ?AUN)
(
and
(
mother
?P ?M)
(
sister
?M ?AUN)
(
husband
?AUN ?H))))
ArabicCulture.kif 658-664
(=>
(
mothersSistersSon
?P ?H)
(
exists
(?M ?AUN)
(
and
(
mother
?P ?M)
(
sister
?M ?AUN)
(
son
?AUN ?H))))
ArabicCulture.kif 756-762
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