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 23373-23373
spouse
e
domesticPartner
sono
disgiunti
(
documentation
spouse
ChineseLanguage
"这是两个
Human
的婚姻关系。")
chinese_format.kif 3713-3713
(
documentation
spouse
EnglishLanguage
"The relationship of marriage between two
Human
s.")
Merge.kif 16564-16565
(
domain
spouse
1
Human
)
Merge.kif 16562-16562
Il numero 1 argomenti di
spouse
è un
istanza
di
Umano
(
domain
spouse
2
Human
)
Merge.kif 16563-16563
Il numero 2 argomenti di
spouse
è un
istanza
di
Umano
(
instance
spouse
IrreflexiveRelation
)
Merge.kif 16559-16559
spouse
è un'
istanza
di
RelazioneNonRiflessiva
(
instance
spouse
PartialValuedRelation
)
Merge.kif 16561-16561
spouse
è un'
istanza
di
RelazioneAValoreParziale
(
instance
spouse
SymmetricRelation
)
Merge.kif 16560-16560
spouse
è un'
istanza
di
RelazioneSimmetrica
(
subrelation
spouse
legalRelation
)
Merge.kif 16558-16558
spouse
è una
sottorelazione
di
legalRelation
(
subrelation
spouse
mutualAcquaintance
)
Merge.kif 16556-16556
spouse
è una
sottorelazione
di
mutualAcquaintance
(
subrelation
spouse
relative
)
Merge.kif 16322-16322
spouse
è una
sottorelazione
di
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 7972-7982
spouse
Entit�
and
Entit�
vales
durante
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
Processo
Processo
è un'
istanza
di
Wedding
Entit�
è un
paziente
di
Processo
Entit�
è un
paziente
di
Processo
il
tempo
di esistenza di
Processo
accades
prima
di
IntervalloTemporale
(=>
(
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
è un'
istanza
di
MarriageCertificate
Umano
è un'
istanza
di
Umano
Umano
è un'
istanza
di
Umano
spouse
Umano
and
Umano
containsFormula
ContentBearingPhysical
and
Entit�
weddingdate
Umano
,
Umano
and
Entit�
Entit�
è un'
istanza
di
Giorno
(=>
(
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 23186-23202
Organismo
è un
parente
di
Organismo
Organismo
è un
parente
di
Organismo
spouse
Organismo
and
Organismo
cohabitant
Organismo
and
Organismo
cohabitant
Organismo
and
Organismo
vales
durante
PosizioneTemporale
Entit�
Entit�
è un'
istanza
di
NuclearFamily
Organismo
è un
membro
di
Entit�
Organismo
è un
membro
di
Entit�
Organismo
è un
membro
di
Entit�
vales
durante
PosizioneTemporale
consequent
(<=>
(
stepfather
?P ?F)
(
exists
(?M)
(
and
(
mother
?P ?M)
(
spouse
?F ?M)
(
not
(
father
?P ?F)))))
Mid-level-ontology.kif 23152-23159
stepfather
Umano
and
Man
Umano
Umano
è una
madre
di
Umano
spouse
Man
and
Umano
Man
è un
padre
di
Umano
(<=>
(
stepmother
?P ?M)
(
exists
(?F)
(
and
(
father
?P ?F)
(
spouse
?M ?F)
(
not
(
mother
?P ?M)))))
Mid-level-ontology.kif 23169-23176
stepmother
Umano
and
Woman
Umano
Umano
è un
padre
di
Umano
spouse
Woman
and
Umano
Woman
è una
madre
di
Umano
(=>
(
attribute
?P
PrinceConsort
)
(
exists
(?QUEEN ?PLACE)
(
and
(
chiefOfState
?PLACE
QueenRegnant
?QUEEN)
(
spouse
?QUEEN ?P))))
Government.kif 1426-1431
attribute
Umano
and
PrinceConsort
Umano
Umano
LACE
chiefOfState
Umano
LACE,
QueenRegnant
and
Umano
spouse
Umano
and
Umano
(=>
(
attribute
?Q
QueenConsort
)
(
exists
(?KING ?PLACE)
(
and
(
chiefOfState
?PLACE
King
?KING)
(
spouse
?KING ?Q))))
Government.kif 1415-1420
attribute
Umano
and
QueenConsort
Umano
AreaGeopolitica
chiefOfState
AreaGeopolitica
,
King
and
Umano
spouse
Umano
and
Umano
(=>
(
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 22307-22321
attribute
Entit�
and
Widowed
vales
durante
IntervalloTemporale
IntervalloTemporale
Entit�
IntervalloTemporale
accades
prima
di
IntervalloTemporale
spouse
Entit�
and
Entit�
vales
durante
IntervalloTemporale
attribute
Entit�
and
Dead
vales
durante
IntervalloTemporale
Entit�
spouse
Entit�
and
Entit�
vales
durante
IntervalloTemporale
(=>
(
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
IntervalloTemporale
è un'
istanza
di
Divorcing
Entit�
Entit�
,
IntervalloTemporale
and
IntervalloTemporale
spouse
Entit�
and
Entit�
vales
durante
IntervalloTemporale
spouse
Entit�
and
Entit�
vales
durante
IntervalloTemporale
IntervalloTemporale
finisce
es
IntervalloTemporale
IntervalloTemporale
inizia
s
IntervalloTemporale
(=>
(
instance
?WED
Wedding
)
(
exists
(?PERSON1 ?PERSON2)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?WED))
(
spouse
?PERSON1 ?PERSON2))))
Mid-level-ontology.kif 7965-7970
Entit�Concreta
è un'
istanza
di
Wedding
Entit�
Entit�
spouse
Entit�
and
Entit�
vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Entit�Concreta
(=>
(
property
?C
MarriageContract
)
(
exists
(?P1 ?P2)
(
and
(
partyToAgreement
?P1 ?C)
(
partyToAgreement
?P2 ?C)
(
spouse
?P1 ?P2))))
Mid-level-ontology.kif 14170-14176
Agreement
ha un
attributo
MarriageContract
Umano
Umano
partyToAgreement
Umano
and
Agreement
partyToAgreement
Umano
and
Agreement
spouse
Umano
and
Umano
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