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
et
domesticPartner
sont
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
Le nombre 1 argument de
spouse
est une
instance
de
humain
(
domain
spouse
2
Human
)
Merge.kif 16585-16585
Le nombre 2 argument de
spouse
est une
instance
de
humain
(
instance
spouse
IrreflexiveRelation
)
Merge.kif 16581-16581
spouse
est une
instance
de
relation irr�flexive
(
instance
spouse
PartialValuedRelation
)
Merge.kif 16583-16583
spouse
est une
instance
de
relation partielle
(
instance
spouse
SymmetricRelation
)
Merge.kif 16582-16582
spouse
est une
instance
de
relation sym�trique
(
subrelation
spouse
legalRelation
)
Merge.kif 16580-16580
spouse
est une
sous
-relation de
legalRelation
(
subrelation
spouse
mutualAcquaintance
)
Merge.kif 16578-16578
spouse
est une
sous
-relation de
mutualAcquaintance
(
subrelation
spouse
relative
)
Merge.kif 16344-16344
spouse
est une
sous
-relation de
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
spouse
entit�
and
entit�
pendant
interval temporel
interval temporel
est une
instance
de
interval temporel
processus
processus
est une
instance
de
Wedding
entit�
est un
patient
de
processus
entit�
est un
patient
de
processus
temps
d'existence de
processus
arrive
plus
t�t que
interval temporel
(=>
(
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
ContentBearingPhysical
est une
instance
de
MarriageCertificate
humain
est une
instance
de
humain
humain
est une
instance
de
humain
spouse
humain
and
humain
containsFormula
ContentBearingPhysical
and
entit�
weddingdate
humain
,
humain
and
entit�
entit�
est une
instance
de
jour
(=>
(
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
Organisme
est un
parent
de
organisme
organisme
est un
parent
de
organisme
spouse
organisme
and
organisme
cohabitant
organisme
and
organisme
cohabitant
organisme
and
organisme
pendant
position temporel
entit�
entit�
est une
instance
de
NuclearFamily
organisme
est un
membre
de
entit�
organisme
est un
membre
de
entit�
organisme
est un
membre
de
entit�
pendant
position temporel
consequent
(<=>
(
stepfather
?P ?F)
(
exists
(?M)
(
and
(
mother
?P ?M)
(
spouse
?F ?M)
(
not
(
father
?P ?F)))))
Mid-level-ontology.kif 23151-23158
stepfather
humain
and
Man
humain
humain
est la
m
�re de
humain
spouse
Man
and
humain
Man
est le
p
�re de
humain
(<=>
(
stepmother
?P ?M)
(
exists
(?F)
(
and
(
father
?P ?F)
(
spouse
?M ?F)
(
not
(
mother
?P ?M)))))
Mid-level-ontology.kif 23168-23175
stepmother
humain
and
Woman
humain
humain
est le
p
�re de
humain
spouse
Woman
and
humain
Woman
est la
m
�re de
humain
(=>
(
attribute
?P
PrinceConsort
)
(
exists
(?QUEEN ?PLACE)
(
and
(
chiefOfState
?PLACE
QueenRegnant
?QUEEN)
(
spouse
?QUEEN ?P))))
Government.kif 1426-1431
PrinceConsort
est un
attribut
de
humain
humain
humain
LACE
chiefOfState
humain
LACE,
QueenRegnant
and
humain
spouse
humain
and
humain
(=>
(
attribute
?Q
QueenConsort
)
(
exists
(?KING ?PLACE)
(
and
(
chiefOfState
?PLACE
King
?KING)
(
spouse
?KING ?Q))))
Government.kif 1415-1420
QueenConsort
est un
attribut
de
humain
humain
secteur g�opolitique
chiefOfState
secteur g�opolitique
,
King
and
humain
spouse
humain
and
humain
(=>
(
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
Widowed
est un
attribut
de
entit�
pendant
interval temporel
interval temporel
entit�
interval temporel
arrive
plus
t�t que
interval temporel
spouse
entit�
and
entit�
pendant
interval temporel
Dead
est un
attribut
de
entit�
pendant
interval temporel
entit�
spouse
entit�
and
entit�
pendant
interval temporel
(=>
(
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
Interval temporel
est une
instance
de
Divorcing
entit�
entit�
,
interval temporel
and
interval temporel
spouse
entit�
and
entit�
pendant
interval temporel
spouse
entit�
and
entit�
pendant
interval temporel
interval temporel
finit
interval temporel
interval temporel
commence
interval temporel
(=>
(
instance
?WED
Wedding
)
(
exists
(?PERSON1 ?PERSON2)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?WED))
(
spouse
?PERSON1 ?PERSON2))))
Mid-level-ontology.kif 7964-7969
Physique
est une
instance
de
Wedding
entit�
entit�
spouse
entit�
and
entit�
pendant
immediatement
apr
�s
temps
d'existence de
physique
(=>
(
property
?C
MarriageContract
)
(
exists
(?P1 ?P2)
(
and
(
partyToAgreement
?P1 ?C)
(
partyToAgreement
?P2 ?C)
(
spouse
?P1 ?P2))))
Mid-level-ontology.kif 14169-14175
Agreement
a un
attribute
MarriageContract
humain
humain
partyToAgreement
humain
and
Agreement
partyToAgreement
humain
and
Agreement
spouse
humain
and
humain
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