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 23425-23425
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 16635-16636
(
domain
spouse
1
Human
)
Merge.kif 16633-16633
Le nombre 1 argument de
spouse
est une
instance
de
humain
(
domain
spouse
2
Human
)
Merge.kif 16634-16634
Le nombre 2 argument de
spouse
est une
instance
de
humain
(
instance
spouse
IrreflexiveRelation
)
Merge.kif 16630-16630
spouse
est une
instance
de
relation irr�flexive
(
instance
spouse
PartialValuedRelation
)
Merge.kif 16632-16632
spouse
est une
instance
de
relation partielle
(
instance
spouse
SymmetricRelation
)
Merge.kif 16631-16631
spouse
est une
instance
de
relation sym�trique
(
subrelation
spouse
legalRelation
)
Merge.kif 16629-16629
spouse
est une
sous
-relation de
legalRelation
(
subrelation
spouse
mutualAcquaintance
)
Merge.kif 16627-16627
spouse
est une
sous
-relation de
mutualAcquaintance
(
subrelation
spouse
relative
)
Merge.kif 16393-16393
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 54800-54800
(
termFormat
ChineseTraditionalLanguage
spouse
"伴侶")
domainEnglishFormat.kif 54799-54799
(
termFormat
EnglishLanguage
spouse
"spouse")
domainEnglishFormat.kif 54798-54798
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 7999-8009
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 23238-23254
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 23204-23211
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 23221-23228
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 1390-1395
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 1379-1384
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 22359-22373
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 1018-1027
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 7992-7997
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 14197-14203
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