Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLangua
EnglishLanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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 16744-16745
(
domain
wife
1
Woman
)
Merge.kif 16742-16742
The number 1 argument of
wife
is an
instance
of
woman
(
domain
wife
2
Man
)
Merge.kif 16743-16743
The number 2 argument of
wife
is an
instance
of
man
(
instance
wife
AsymmetricRelation
)
Merge.kif 16739-16739
wife
is an
instance
of
asymmetric relation
(
instance
wife
BinaryPredicate
)
Merge.kif 16741-16741
wife
is an
instance
of
binary predicate
(
instance
wife
IrreflexiveRelation
)
Merge.kif 16740-16740
wife
is an
instance
of
irreflexive relation
appearance as argument number 2
(
format
ChineseLanguage
wife
"%1 是 %2 的
wife
")
domainEnglishFormat.kif 4998-4998
(
format
ChineseTraditionalLanguage
wife
"%1 是 %2 的
wife
")
domainEnglishFormat.kif 4997-4997
(
format
EnglishLanguage
wife
"%1 is the
wife
of %2")
domainEnglishFormat.kif 4996-4996
(
inverse
husband
wife
)
Merge.kif 16734-16734
husband
is an
inverse
of
wife
(
termFormat
ChineseLanguage
wife
"妻子")
domainEnglishFormat.kif 63075-63075
husband
is an
inverse
of
wife
(
termFormat
ChineseTraditionalLanguage
wife
"妻子")
domainEnglishFormat.kif 63074-63074
husband
is an
inverse
of
wife
(
termFormat
EnglishLanguage
wife
"wife")
domainEnglishFormat.kif 63073-63073
husband
is an
inverse
of
wife
consequent
(=>
(
attribute
?W
Housewife
)
(
exists
(?H)
(
wife
?W ?H)))
Mid-level-ontology.kif 22204-22207
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 616-622
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 630-636
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