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
wife
Sigma KEE - wife
wife
appearance as argument number 1
(
documentation
wife
ChineseLanguage
"(
wife
?WOMAN ?MAN)的意思是 ?WOMAN 是 ?MAN 的妻子。")
chinese_format.kif 3716-3716
(
documentation
wife
EnglishLanguage
"(
wife
?WOMAN ?MAN) means that ?WOMAN is the wife of ?MAN.")
Merge.kif 16584-16585
(
domain
wife
1
Woman
)
Merge.kif 16582-16582
妻子
的 1 数量 是
女人
的
instance
(
domain
wife
2
Man
)
Merge.kif 16583-16583
妻子
的 2 数量 是
人
的
instance
(
instance
wife
AsymmetricRelation
)
Merge.kif 16579-16579
妻子
是
非对称关系
的
instance
(
instance
wife
BinaryPredicate
)
Merge.kif 16581-16581
妻子
是
二元谓语
的
instance
(
instance
wife
IrreflexiveRelation
)
Merge.kif 16580-16580
妻子
是
非自反关系
的
instance
appearance as argument number 2
(
format
ChineseLanguage
wife
"%1 是 %2 的
wife
")
domainEnglishFormat.kif 4990-4990
(
format
ChineseTraditionalLanguage
wife
"%1 是 %2 的
wife
")
domainEnglishFormat.kif 4989-4989
(
format
EnglishLanguage
wife
"%1 is the
wife
of %2")
domainEnglishFormat.kif 4988-4988
(
inverse
husband
wife
)
Merge.kif 16574-16574
丈夫
是
妻子
的
inverse
(
termFormat
ChineseLanguage
wife
"妻子")
domainEnglishFormat.kif 63081-63081
(
termFormat
ChineseTraditionalLanguage
wife
"妻子")
domainEnglishFormat.kif 63080-63080
(
termFormat
EnglishLanguage
wife
"wife")
domainEnglishFormat.kif 63079-63079
consequent
(=>
(
attribute
?W
Housewife
)
(
exists
(?H)
(
wife
?W ?H)))
Mid-level-ontology.kif 20587-20590
如果
家庭主妇
是
女人
的
attribute
,
然后 有存在
人
这样
那个 女人
是
那个 人
的
wife
(=>
(
fathersBrothersWife
?P ?W)
(
exists
(?F ?UNC)
(
and
(
father
?P ?F)
(
brother
?F ?UNC)
(
wife
?UNC ?W))))
ArabicCulture.kif 606-612
如果
生物
是
人
的
father
's
brother
's
wife
,
然后 有存在
另一个 人
和
女人
这样
那个 另外 人
是
那个 生物
father
和
那个 另外 人
是
那个 女人
的
brother
和
那个 女人
是
那个 人
的
wife
(=>
(
instance
?MS
MuakharSadaq
)
(
exists
(?H ?W ?T1 ?T2)
(
and
(
agent
?MS ?H)
(
origin
?MS ?H)
(
destination
?MS ?W)
(
holdsDuring
?T1
(
wife
?W ?H))
(
not
(
holdsDuring
?T2
(
wife
?W ?H)))
(
finishes
?T1 ?MS)
(
before
?T1 ?T2)
(
starts
?T2 ?MS))))
ArabicCulture.kif 285-299
如果
时距
是
穆哈尔萨达克
的
instance
,
然后 有存在
施事体
,
实体
,, ,
另一个 时距
, and 和
第三 时距
这样
那个 施事体
是
那个 时距
的
agent
和
那个 施事体
是
那个 时距
的源头 和
那个 时距
在
那个 实体
结束 和
那个 实体
是
那个 施事体
的
wife
在
那个 另外 时距
holdsDuring
和
那个 实体
是
那个 施事体
的
wife
doesn't 在
那个 第三 时距
holdsDuring
和
那个 另外 时距
finishes
了才到
那个 时距
和
那个 另外 时距
%n在
那个 第三 时距
before
发生 和
那个 第三 时距
starts
了才到
那个 时距
(=>
(
instance
?MS
MuqaddamSadaq
)
(
exists
(?H ?W ?T1 ?T2)
(
and
(
agent
?MS ?H)
(
origin
?MS ?H)
(
destination
?MS ?W)
(
not
(
holdsDuring
?T1
(
wife
?W ?H)))
(
holdsDuring
?T2
(
wife
?W ?H))
(
finishes
?T1 ?MS)
(
before
?T1 ?T2)
(
starts
?T2 ?MS))))
ArabicCulture.kif 305-319
如果
时距
是
穆卡达姆萨达克
的
instance
,
然后 有存在
施事体
,
实体
,, ,
另一个 时距
, and 和
第三 时距
这样
那个 施事体
是
那个 时距
的
agent
和
那个 施事体
是
那个 时距
的源头 和
那个 时距
在
那个 实体
结束 和
那个 实体
是
那个 施事体
的
wife
doesn't 在
那个 另外 时距
holdsDuring
和
那个 实体
是
那个 施事体
的
wife
在
那个 第三 时距
holdsDuring
和
那个 另外 时距
finishes
了才到
那个 时距
和
那个 另外 时距
%n在
那个 第三 时距
before
发生 和
那个 第三 时距
starts
了才到
那个 时距
(=>
(
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
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