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
wife
の数値 1 引数は
Woman
の
instance
では %n
(
domain
wife
2
Man
)
Merge.kif 16605-16605
wife
の数値 2 引数は
Man
の
instance
では %n
(
instance
wife
AsymmetricRelation
)
Merge.kif 16601-16601
wife
は
非対称関係
の
instance
では %n
(
instance
wife
BinaryPredicate
)
Merge.kif 16603-16603
wife
は
2進述語
の
instance
では %n
(
instance
wife
IrreflexiveRelation
)
Merge.kif 16602-16602
wife
は
非反射関係
の
instance
では %n
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
husband
は
wife
の
inverse
では %n
(
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
Housewife
は
Woman
の
attribute
では %n
Man
wife
Woman
and
Man
(=>
(
fathersBrothersWife
?P ?W)
(
exists
(?F ?UNC)
(
and
(
father
?P ?F)
(
brother
?F ?UNC)
(
wife
?UNC ?W))))
ArabicCulture.kif 606-612
fathersBrothersWife
物
and
Man
Man
Woman
Man
は
物
の
father
では %n
brother
Man
and
Woman
wife
Woman
and
Man
(=>
(
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
時間間隔
は
MuakharSadaq
の
instance
では %n
AutonomousAgent
エンティティー
,
時間間隔
and
時間間隔
AutonomousAgent
は
時間間隔
の
agent
では %n
時間間隔
は
AutonomousAgent
から
originate
s %n{ない}
時間間隔
は
エンティティー
に
end
s %n{ない}
wife
エンティティー
and
AutonomousAgent
は
時間間隔
の
during
holds %n{ない}
wife
エンティティー
and
AutonomousAgent
は
時間間隔
の
during
hold ない
時間間隔
は
時間間隔
を
finish
es %n{ない}
時間間隔
は
時間間隔
の
before
に happens %n{ない}
時間間隔
は
時間間隔
を
start
s %n{ない}
(=>
(
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
時間間隔
は
MuqaddamSadaq
の
instance
では %n
AutonomousAgent
エンティティー
,
時間間隔
and
時間間隔
AutonomousAgent
は
時間間隔
の
agent
では %n
時間間隔
は
AutonomousAgent
から
originate
s %n{ない}
時間間隔
は
エンティティー
に
end
s %n{ない}
wife
エンティティー
and
AutonomousAgent
は
時間間隔
の
during
hold ない
wife
エンティティー
and
AutonomousAgent
は
時間間隔
の
during
holds %n{ない}
時間間隔
は
時間間隔
を
finish
es %n{ない}
時間間隔
は
時間間隔
の
before
に happens %n{ない}
時間間隔
は
時間間隔
を
start
s %n{ない}
(=>
(
mothersBrothersWife
?P ?W)
(
exists
(?M ?UNC)
(
and
(
mother
?P ?M)
(
brother
?M ?UNC)
(
wife
?UNC ?W))))
ArabicCulture.kif 618-624
mothersBrothersWife
物
and
Man
Man
Woman
Man
は
物
の
mother
では %n
brother
Man
and
Woman
wife
Woman
and
Man
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