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
spouse
Sigma KEE - spouse
spouse
appearance as argument number 1
(
disjointRelation
spouse
domesticPartner
)
Mid-level-ontology.kif 23372-23372
spouse
and
domestic partner
are
disjoint
(
documentation
spouse
ChineseLanguage
"这是两个
Human
的婚姻关系。")
chinese_format.kif 3713-3713
(
documentation
spouse
EnglishLanguage
"The relationship of marriage between two
Human
s.")
Merge.kif 16586-16587
(
domain
spouse
1
Human
)
Merge.kif 16584-16584
The number 1 argument of
spouse
is an
instance
of
human
(
domain
spouse
2
Human
)
Merge.kif 16585-16585
The number 2 argument of
spouse
is an
instance
of
human
(
instance
spouse
IrreflexiveRelation
)
Merge.kif 16581-16581
spouse
is an
instance
of
irreflexive relation
(
instance
spouse
PartialValuedRelation
)
Merge.kif 16583-16583
spouse
is an
instance
of
partial valued relation
(
instance
spouse
SymmetricRelation
)
Merge.kif 16582-16582
spouse
is an
instance
of
symmetric relation
(
subrelation
spouse
legalRelation
)
Merge.kif 16580-16580
spouse
is a
subrelation
of
legal relation
(
subrelation
spouse
mutualAcquaintance
)
Merge.kif 16578-16578
spouse
is a
subrelation
of
mutual acquaintance
(
subrelation
spouse
relative
)
Merge.kif 16344-16344
spouse
is a
subrelation
of
relative
appearance as argument number 2
(
format
ChineseLanguage
spouse
"%1 是 %2 的
spouse
")
domainEnglishFormat.kif 4594-4594
(
format
ChineseTraditionalLanguage
spouse
"%1 是 %2 的
spouse
")
domainEnglishFormat.kif 4593-4593
(
format
EnglishLanguage
spouse
"%1 is the
spouse
of %2")
domainEnglishFormat.kif 4592-4592
(
termFormat
ChineseLanguage
spouse
"伴侣")
domainEnglishFormat.kif 54798-54798
(
termFormat
ChineseTraditionalLanguage
spouse
"伴侶")
domainEnglishFormat.kif 54797-54797
(
termFormat
EnglishLanguage
spouse
"spouse")
domainEnglishFormat.kif 54796-54796
antecedent
(=>
(
and
(
holdsDuring
?T1
(
spouse
?P1 ?P2))
(
instance
?T1
TimeInterval
))
(
exists
(?WED)
(
and
(
instance
?WED
Wedding
)
(
patient
?WED ?P1)
(
patient
?WED ?P2)
(
earlier
(
WhenFn
?WED) ?T1))))
Mid-level-ontology.kif 7971-7981
If
an entity
is the
spouse
of
another entity
holds
during
a time interval
and
the time interval
is an
instance
of
time interval
,
then there exists
a process
such that
the process
is an
instance
of
wedding
and
the entity
is a
patient
of
the process
and
the other entity
is a
patient
of
the process
and the
time
of existence of
the process
happens
earlier
than
the time interval
(=>
(
and
(
instance
?TEXT
MarriageCertificate
)
(
instance
?A
Human
)
(
instance
?B
Human
)
(
spouse
?A ?B))
(
containsFormula
?TEXT
(
exists
(?DAY)
(
and
(
weddingdate
?A ?B ?DAY)
(
instance
?DAY
Day
)))))
Biography.kif 307-317
If
a content bearing physical
is an
instance
of
MarriageCertificate
and
a human
is an
instance
of
human
and
another human
is an
instance
of
human
and
the human
is the
spouse
of
the other human
,
then
the content bearing physical
contains the formula there exists
an entity
such that
the human
and
the other human
were
married
on
the entity
and
the entity
is an
instance
of
day
(=>
(
and
(
parent
?CHILD ?PARENT1)
(
parent
?CHILD ?PARENT2)
(
holdsDuring
?T1
(
and
(
spouse
?PARENT1 ?PARENT2)
(
cohabitant
?PARENT1 ?PARENT2)
(
cohabitant
?CHILD ?PARENT1))))
(
exists
(?FAM)
(
and
(
instance
?FAM
NuclearFamily
)
(
holdsDuring
?T1
(
and
(
member
?CHILD ?FAM)
(
member
?PARENT1 ?FAM)
(
member
?PARENT2 ?FAM))))))
Mid-level-ontology.kif 23185-23201
If
an organism
is a
parent
of
another organism
and
a third organism
is a
parent
of
the other organism
and
the organism
is the
spouse
of
the third organism
and
the third organism
is a
cohabitant
of
the organism
and
the organism
is a
cohabitant
of
the other organism
holds
during
a time position
,
then there exists
an entity
such that
the entity
is an
instance
of
nuclear family
and
the other organism
is a
member
of
the entity
and
the organism
is a
member
of
the entity
and
the third organism
is a
member
of
the entity
holds
during
the time position
consequent
(<=>
(
stepfather
?P ?F)
(
exists
(?M)
(
and
(
mother
?P ?M)
(
spouse
?F ?M)
(
not
(
father
?P ?F)))))
Mid-level-ontology.kif 23151-23158
A man
is the
stepfather
of
a human
if and only if there exists
another human
such that
the other human
is a
mother
of
the human
and
the man
is the
spouse
of
the other human
and
the man
is not a
father
of
the human
(<=>
(
stepmother
?P ?M)
(
exists
(?F)
(
and
(
father
?P ?F)
(
spouse
?M ?F)
(
not
(
mother
?P ?M)))))
Mid-level-ontology.kif 23168-23175
A woman
is the
stepfather
of
a human
if and only if there exists
another human
such that
the other human
is a
father
of
the human
and
the woman
is the
spouse
of
the other human
and
the woman
is not a
mother
of
the human
(=>
(
attribute
?P
PrinceConsort
)
(
exists
(?QUEEN ?PLACE)
(
and
(
chiefOfState
?PLACE
QueenRegnant
?QUEEN)
(
spouse
?QUEEN ?P))))
Government.kif 1426-1431
If
prince consort
is an
attribute
of
a human
,
then there exist
another human
and
the human
LACE such that
the human
LACE
chief
of state
Queen regnant
for
the other human
and
the other human
is the
spouse
of
the human
(=>
(
attribute
?Q
QueenConsort
)
(
exists
(?KING ?PLACE)
(
and
(
chiefOfState
?PLACE
King
?KING)
(
spouse
?KING ?Q))))
Government.kif 1415-1420
If
Queen consort
is an
attribute
of
a human
,
then there exist
another human
and
a geopolitical area
such that
the geopolitical area
chief
of state
king
for
the other human
and
the other human
is the
spouse
of
the human
(=>
(
holdsDuring
?NOW
(
attribute
?P
Widowed
))
(
and
(
exists
(?BEFORE ?SPOUSE)
(
and
(
earlier
?BEFORE ?NOW)
(
holdsDuring
?BEFORE
(
spouse
?SPOUSE ?P))
(
holdsDuring
?NOW
(
attribute
?SPOUSE
Dead
))))
(
not
(
exists
(?OTHER)
(
holdsDuring
?NOW
(
spouse
?OTHER ?P))))))
Mid-level-ontology.kif 22306-22320
If
widowed woman
is an
attribute
of
an entity
holds
during
a time interval
,
then there exist
another time interval
and
another entity
such that
the other time interval
happens
earlier
than
the time interval
and
the other entity
is the
spouse
of
the entity
holds
during
the other time interval
and
dead
is an
attribute
of
the other entity
holds
during
the time interval
and there doesn't exist
a third entity
such that
the third entity
is the
spouse
of
the entity
holds
during
the time interval
(=>
(
instance
?D
Divorcing
)
(
exists
(?P1 ?P2 ?T1 ?T2)
(
and
(
holdsDuring
?T1
(
spouse
?P1 ?P2))
(
holdsDuring
?T2
(
not
(
spouse
?P1 ?P2)))
(
finishes
?T1 ?D)
(
starts
?T2 ?D))))
Mid-level-ontology.kif 1025-1034
If
a time interval
is an
instance
of
divorcing
,
then there exist
an entity
,
another entity
,, ,
another time interval
and
a third time interval
such that
the entity
is the
spouse
of
the other entity
holds
during
the other time interval
and not
the entity
is the
spouse
of
the other entity
holds
during
the third time interval
and
the other time interval
finish
es
the time interval
and
the third time interval
start
s
the time interval
(=>
(
instance
?WED
Wedding
)
(
exists
(?PERSON1 ?PERSON2)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?WED))
(
spouse
?PERSON1 ?PERSON2))))
Mid-level-ontology.kif 7964-7969
If
a physical
is an
instance
of
wedding
,
then there exist
an entity
and
another entity
such that
the entity
is the
spouse
of
the other entity
holds
during
immediately
after
the
time
of existence of
the physical
(=>
(
property
?C
MarriageContract
)
(
exists
(?P1 ?P2)
(
and
(
partyToAgreement
?P1 ?C)
(
partyToAgreement
?P2 ?C)
(
spouse
?P1 ?P2))))
Mid-level-ontology.kif 14169-14175
If
an agreement
the
attribute
marriage contract
,
then there exist
a human
and
another human
such that
the agreement
is a
party
to agreement of
the human
and
the agreement
is a
party
to agreement of
the other human
and
the human
is the
spouse
of
the other human
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