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 16606-16607
(
domain
wife
1
Woman
)
Merge.kif 16604-16604
域
妻子
, 1 and
女人
(
domain
wife
2
Man
)
Merge.kif 16605-16605
域
妻子
, 2 and
人
(
instance
wife
AsymmetricRelation
)
Merge.kif 16601-16601
例
妻子
and
AsymmetricRelation
(
instance
wife
BinaryPredicate
)
Merge.kif 16603-16603
例
妻子
and
BinaryPredicate
(
instance
wife
IrreflexiveRelation
)
Merge.kif 16602-16602
例
妻子
and
IrreflexiveRelation
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 16596-16596
逆
丈夫
and
妻子
(
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 20586-20589
attribute
女人
and
家庭主婦
人
女人
是
人
的
wife
(=>
(
fathersBrothersWife
?P ?W)
(
exists
(?F ?UNC)
(
and
(
father
?P ?F)
(
brother
?F ?UNC)
(
wife
?UNC ?W))))
ArabicCulture.kif 606-612
Organism
是
人
的
father
's
brother
's
wife
人
女人
父親
Organism
and
人
人
是
女人
的
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
例
TimeInterval
and
穆哈爾薩達克
AutonomousAgent
Entity
,
TimeInterval
and
TimeInterval
agent
TimeInterval
and
AutonomousAgent
起源
TimeInterval
and
AutonomousAgent
目的地
TimeInterval
and
Entity
持有期間
TimeInterval
and
Entity
是
AutonomousAgent
的
wife
持有期間
TimeInterval
and
Entity
是
AutonomousAgent
的
wife
飾面
TimeInterval
and
TimeInterval
之前
TimeInterval
and
TimeInterval
啟動
TimeInterval
and
TimeInterval
(=>
(
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
例
TimeInterval
and
穆卡達姆薩達克
AutonomousAgent
Entity
,
TimeInterval
and
TimeInterval
agent
TimeInterval
and
AutonomousAgent
起源
TimeInterval
and
AutonomousAgent
目的地
TimeInterval
and
Entity
持有期間
TimeInterval
and
Entity
是
AutonomousAgent
的
wife
持有期間
TimeInterval
and
Entity
是
AutonomousAgent
的
wife
飾面
TimeInterval
and
TimeInterval
之前
TimeInterval
and
TimeInterval
啟動
TimeInterval
and
TimeInterval
(=>
(
mothersBrothersWife
?P ?W)
(
exists
(?M ?UNC)
(
and
(
mother
?P ?M)
(
brother
?M ?UNC)
(
wife
?UNC ?W))))
ArabicCulture.kif 618-624
Organism
的
mother
's
brother
's
wife
是
人
人
女人
母親
Organism
and
人
人
是
女人
的
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