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
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 16411-16413
(
domain
mother
1
Organism
)
Merge.kif 16409-16409
母亲
的 1 数量 是
生物
的
instance
(
domain
mother
2
Organism
)
Merge.kif 16410-16410
母亲
的 2 数量 是
生物
的
instance
(
instance
mother
BinaryPredicate
)
Merge.kif 16403-16403
母亲
是
二元谓语
的
instance
(
instance
mother
PartialValuedRelation
)
Merge.kif 16402-16402
母亲
是
部分值关系
的
instance
(
instance
mother
SingleValuedRelation
)
Merge.kif 16401-16401
母亲
是
单值关系
的
instance
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 38678-38678
(
termFormat
EnglishLanguage
mother
"mother")
domainEnglishFormat.kif 38677-38677
(
termFormat
tg
mother
"nanay")
relations-tg.txt 376-376
antecedent
(=>
(
mother
?A ?B)
(
parent
?A ?B))
Merge.kif 16405-16407
如果
生物
是
另一个 生物
的
mother
,
然后
那个 生物
是
那个 另外 生物
的
parent
(=>
(
mother
?CHILD ?MOTHER)
(
attribute
?MOTHER
Female
))
Merge.kif 16414-16416
如果
生物
是
另一个 生物
的
mother
,
然后
女
是
那个 生物
的
attribute
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 23061-23076
人类
另一个 人类
是
cousins
若且唯若 有存在
女人
和
人
这样
那个 人类
的
grandmother
是
那个 女人
和
那个 人类
的
grandfather
是
那个 人
和
那个 另外 人类
的
grandmother
是
那个 女人
和
那个 另外 人类
的
grandfather
是
那个 人
和 不存在
生物
和
另一个 生物
这样
那个 生物
是
那个 人类
的
mother
和
那个 另外 生物
是
那个 人类
father
和
那个 生物
是
那个 另外 人类
的
mother
和
那个 另外 生物
是
那个 另外 人类
father
(<=>
(
stepfather
?P ?F)
(
exists
(?M)
(
and
(
mother
?P ?M)
(
spouse
?F ?M)
(
not
(
father
?P ?F)))))
Mid-level-ontology.kif 23152-23159
人
是
人类
的
stepfather
若且唯若 有存在
另一个 人类
这样
那个 另外 人类
是
那个 人类
的
mother
和
那个 人
是
那个 另外 人类
的
spouse
和
那个 人
不 是
那个 人类
father
(<=>
(
stepmother
?P ?M)
(
exists
(?F)
(
and
(
father
?P ?F)
(
spouse
?M ?F)
(
not
(
mother
?P ?M)))))
Mid-level-ontology.kif 23169-23176
女人
是
人类
的
stepfather
若且唯若 有存在
另一个 人类
这样
那个 另外 人类
是
那个 人类
father
和
那个 女人
是
那个 另外 人类
的
spouse
和
那个 女人
不 是
那个 人类
的
mother
(=>
(
and
(
instance
?REP
SexualReproduction
)
(
result
?REP ?ORGANISM))
(
exists
(?MOTHER ?FATHER)
(
and
(
mother
?ORGANISM ?MOTHER)
(
father
?ORGANISM ?FATHER))))
Merge.kif 10336-10343
如果
过程
是
有性繁殖
的
instance
和
生物
是
那个 过程
的
result
,
然后 有存在
另一个 生物
和
第三 生物
这样
那个 另外 生物
是
那个 生物
的
mother
和
那个 第三 生物
是
那个 生物
father
(=>
(
and
(
parent
?CHILD ?PARENT)
(
attribute
?PARENT
Female
))
(
mother
?CHILD ?PARENT))
Merge.kif 16493-16497
如果
生物
是
另一个 生物
的
parent
和
女
是
那个 生物
的
attribute
,
然后
那个 生物
是
那个 另外 生物
的
mother
(=>
(
and
(
parent
?CHILD ?PARENT)
(
instance
?REP
SexualReproduction
)
(
agent
?REP ?PARENT)
(
result
?REP ?CHILD))
(
or
(
mother
?CHILD ?PARENT)
(
father
?CHILD ?PARENT)))
Merge.kif 16386-16394
如果
生物
是
另一个 生物
的
parent
和
过程
是
有性繁殖
的
instance
和
那个 生物
是
那个 过程
的
agent
和
那个 另外 生物
是
那个 过程
的
result
,
然后
那个 生物
是
那个 另外 生物
的
mother
或
那个 生物
是
那个 另外 生物
father
(=>
(
grandmother
?H ?P)
(
exists
(?C)
(
and
(
mother
?C ?P)
(
parent
?H ?C))))
Mid-level-ontology.kif 23095-23100
如果
人类
的
grandmother
是
女人
,
然后 有存在
生物
这样
那个 女人
是
那个 生物
的
mother
和
那个 生物
是
那个 人类
的
parent
(=>
(
holdsDuring
?T
(
attribute
?P
BereavedMother
))
(
exists
(?BEFORE ?C)
(
and
(
earlier
?BEFORE ?T)
(
holdsDuring
?BEFORE
(
mother
?P ?C))
(
holdsDuring
?T
(
attribute
?C
Dead
)))))
ArabicCulture.kif 774-780
如果
失去亲人的母亲
是
实体
的
attribute
在
时距
holdsDuring
,
然后 有存在
另一个 时距
和
另一个 实体
这样
那个 另外 时距
比
那个 时距
发生的
earlier
和
那个 另外 实体
是
那个 实体
的
mother
在
那个 另外 时距
holdsDuring
和
死
是
那个 另外 实体
的
attribute
在
那个 时距
holdsDuring
(=>
(
instance
?MULE
Mule
)
(
exists
(?DONKEY ?HORSE)
(
and
(
father
?MULE ?DONKEY)
(
instance
?DONKEY
Donkey
)
(
mother
?MULE ?HORSE)
(
instance
?HORSE
Horse
))))
Mid-level-ontology.kif 20164-20171
如果
生物
是
马骡
的
instance
,
然后 有存在
另一个 生物
和
第三 生物
这样
那个 另外 生物
是
那个 生物
father
和
那个 另外 生物
是
驴
的
instance
和
那个 第三 生物
是
那个 生物
的
mother
和
那个 第三 生物
是
马
的
instance
(=>
(
maternalAunt
?P ?AUN)
(
exists
(?M)
(
and
(
mother
?P ?M)
(
sister
?M ?AUN))))
ArabicCulture.kif 595-600
如果
生物
的
maternal
aunt
是
人类
,
然后 有存在
女人
这样
那个 女人
是
那个 生物
的
mother
和
那个 女人
是
那个 人类
的
sister
(=>
(
maternalUncle
?P ?UNC)
(
exists
(?M)
(
and
(
mother
?P ?M)
(
brother
?UNC ?M))))
ArabicCulture.kif 573-578
如果
生物
的
maternal
uncle
是
人
,
然后 有存在
人类
这样
那个 人类
是
那个 生物
的
mother
和
那个 人
是
那个 人类
的
brother
(=>
(
mothersBrothersDaughter
?P ?H)
(
exists
(?M ?UNC)
(
and
(
mother
?P ?M)
(
brother
?M ?UNC)
(
daughter
?UNC ?H))))
ArabicCulture.kif 690-696
如果
生物
的
mother
's
brother
's
daughter
是
另一个 生物
,
然后 有存在
人
和
人类
这样
那个 人
是
那个 生物
的
mother
和
那个 人
是
那个 人类
的
brother
和
那个 人类
是
那个 另外 生物
的
daughter
(=>
(
mothersBrothersSon
?P ?H)
(
exists
(?M ?UNC)
(
and
(
mother
?P ?M)
(
brother
?M ?UNC)
(
son
?UNC ?H))))
ArabicCulture.kif 678-684
如果
生物
的
mother
's
brother
's
son
是
另一个 生物
,
然后 有存在
人
和
人类
这样
那个 人
是
那个 生物
的
mother
和
那个 人
是
那个 人类
的
brother
和
那个 人类
是
那个 另外 生物
的
son
(=>
(
mothersBrothersWife
?P ?W)
(
exists
(?M ?UNC)
(
and
(
mother
?P ?M)
(
brother
?M ?UNC)
(
wife
?UNC ?W))))
ArabicCulture.kif 618-624
如果
生物
的
mother
's
brother
's
wife
是
人
,
然后 有存在
另一个 人
和
女人
这样
那个 另外 人
是
那个 生物
的
mother
和
那个 另外 人
是
那个 女人
的
brother
和
那个 女人
是
那个 人
的
wife
(=>
(
mothersSistersDaughter
?P ?H)
(
exists
(?M ?AUN)
(
and
(
mother
?P ?M)
(
sister
?M ?AUN)
(
daughter
?AUN ?H))))
ArabicCulture.kif 738-744
如果
生物
的
mother
's
sister
's
daughter
是
另一个 生物
,
然后 有存在
女人
和
人类
这样
那个 女人
是
那个 生物
的
mother
和
那个 女人
是
那个 人类
的
sister
和
那个 人类
是
那个 另外 生物
的
daughter
(=>
(
mothersSistersHusband
?P ?H)
(
exists
(?M ?AUN)
(
and
(
mother
?P ?M)
(
sister
?M ?AUN)
(
husband
?AUN ?H))))
ArabicCulture.kif 642-648
如果
生物
的
mother
's
sister
's
husband
是
女人
,
然后 有存在
另一个 女人
和
人
这样
那个 另外 女人
是
那个 生物
的
mother
和
那个 另外 女人
是
那个 人
的
sister
和
那个 人
是
那个 女人
的
huband
(=>
(
mothersSistersSon
?P ?H)
(
exists
(?M ?AUN)
(
and
(
mother
?P ?M)
(
sister
?M ?AUN)
(
son
?AUN ?H))))
ArabicCulture.kif 726-732
如果
生物
的
mother
's
sister
's
son
是
另一个 生物
,
然后 有存在
女人
和
人类
这样
那个 女人
是
那个 生物
的
mother
和
那个 女人
是
那个 人类
的
sister
和
那个 人类
是
那个 另外 生物
的
son
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