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
The number 1 argument of
wife
is an
instance
of
woman
(
domain
wife
2
Man
)
Merge.kif 16583-16583
The number 2 argument of
wife
is an
instance
of
man
(
instance
wife
AsymmetricRelation
)
Merge.kif 16579-16579
wife
is an
instance
of
asymmetric relation
(
instance
wife
BinaryPredicate
)
Merge.kif 16581-16581
wife
is an
instance
of
binary predicate
(
instance
wife
IrreflexiveRelation
)
Merge.kif 16580-16580
wife
is an
instance
of
irreflexive relation
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
husband
is an
inverse
of
wife
(
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
If
housewife
is an
attribute
of
a woman
,
then there exists
a man
such that
the woman
is the
wife
of
the man
(=>
(
fathersBrothersWife
?P ?W)
(
exists
(?F ?UNC)
(
and
(
father
?P ?F)
(
brother
?F ?UNC)
(
wife
?UNC ?W))))
ArabicCulture.kif 606-612
If
an organism
is the
father
's
brother
's
wife
of
a man
,
then there exist
another man
and
a woman
such that
the other man
is a
father
of
the organism
and
the other man
is the
brother
of
the woman
and
the woman
is the
wife
of
the 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
If
a time interval
is an
instance
of
muakhar sadaq
,
then there exist
an agent
,
an entity
,, ,
another time interval
and
a third time interval
such that
the agent
is an
agent
of
the time interval
and
the time interval
originate
s at
the agent
and
the time interval
end
s up at
the entity
and
the entity
is the
wife
of
the agent
holds
during
the other time interval
and
the entity
is the
wife
of
the agent
doesn't hold
during
the third time interval
and
the other time interval
finish
es
the time interval
and
the other time interval
happens
before
the third time interval
and
the third time interval
start
s
the time interval
(=>
(
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
If
a time interval
is an
instance
of
muqaddam sadaq
,
then there exist
an agent
,
an entity
,, ,
another time interval
and
a third time interval
such that
the agent
is an
agent
of
the time interval
and
the time interval
originate
s at
the agent
and
the time interval
end
s up at
the entity
and
the entity
is the
wife
of
the agent
doesn't hold
during
the other time interval
and
the entity
is the
wife
of
the agent
holds
during
the third time interval
and
the other time interval
finish
es
the time interval
and
the other time interval
happens
before
the third time interval
and
the third time interval
start
s
the time interval
(=>
(
mothersBrothersWife
?P ?W)
(
exists
(?M ?UNC)
(
and
(
mother
?P ?M)
(
brother
?M ?UNC)
(
wife
?UNC ?W))))
ArabicCulture.kif 618-624
If the
mother
's
brother
's
wife
of
an organism
is
a man
,
then there exist
another man
and
a woman
such that
the other man
is a
mother
of
the organism
and
the other man
is the
brother
of
the woman
and
the woman
is the
wife
of
the 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