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
und
domesticPartner
werden
disjunkt
(
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
Die Zahl 1 Argument von
spouse
ist ein
fall
von
Human
%n{nicht}
(
domain
spouse
2
Human
)
Merge.kif 16585-16585
Die Zahl 2 Argument von
spouse
ist ein
fall
von
Human
%n{nicht}
(
instance
spouse
IrreflexiveRelation
)
Merge.kif 16581-16581
spouse
ist ein
fall
von
IrreflexiveRelation
%n{nicht}
(
instance
spouse
PartialValuedRelation
)
Merge.kif 16583-16583
spouse
ist ein
fall
von
PartialValuedRelation
%n{nicht}
(
instance
spouse
SymmetricRelation
)
Merge.kif 16582-16582
spouse
ist ein
fall
von
SymmetricRelation
%n{nicht}
(
subrelation
spouse
legalRelation
)
Merge.kif 16580-16580
spouse
ist eine
teilrelation
von
legalRelation
(
subrelation
spouse
mutualAcquaintance
)
Merge.kif 16578-16578
spouse
ist eine
teilrelation
von
mutualAcquaintance
(
subrelation
spouse
relative
)
Merge.kif 16344-16344
spouse
ist eine
teilrelation
von
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
Wenn
spouse
Entity
and
** Entity
haelt
waehrend
TimeInterval
%n{nicht} und
** TimeInterval
ist ein
fall
von
TimeInterval
%n{nicht},
dann es gibt
Process
um
** Process
ist ein
fall
von
Wedding
%n{nicht} und
** Entity
ist ein
patient
von
** Process
%n{nicht} und
** ** Entity
ist ein
patient
von
** Process
%n{nicht} und die
zeit
des Bestehens von
** Process
geschieht frueh als
** TimeInterval
%n{nicht}
(=>
(
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
Wenn
ContentBearingPhysical
ist ein
fall
von
MarriageCertificate
%n{nicht} und
Human
ist ein
fall
von
Human
%n{nicht} und
** Human
ist ein
fall
von
Human
%n{nicht} und
spouse
** Human
and
** ** Human
,
dann
containsFormula
** ContentBearingPhysical
and es gibt
entity
um
weddingdate
** Human
,
** ** Human
and
** entity
und
** entity
ist ein
fall
von
Day
%n{nicht}
(=>
(
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
Wenn
Organism
ist das
elterntiel
von
** Organism
%n{nicht} und
** Organism
ist das
elterntiel
von
** ** Organism
%n{nicht} und
spouse
** Organism
and
** ** Organism
und
cohabitant
** Organism
and
** ** Organism
und
cohabitant
** ** Organism
and
** Organism
haelt
waehrend
TimePosition
%n{nicht},
dann es gibt
Entity
um
** Entity
ist ein
fall
von
NuclearFamily
%n{nicht} und
** ** Organism
ist ein
Mitglied
von
** Entity
%n{nicht} und
** Organism
ist ein
Mitglied
von
** Entity
%n{nicht} und
** ** Organism
ist ein
Mitglied
von
** Entity
%n{nicht} haelt
waehrend
** TimePosition
%n{nicht}
consequent
(<=>
(
stepfather
?P ?F)
(
exists
(?M)
(
and
(
mother
?P ?M)
(
spouse
?F ?M)
(
not
(
father
?P ?F)))))
Mid-level-ontology.kif 23151-23158
stepfather
Human
and
Man
genau dann wenn es gibt
** Human
um
** ** Human
ist die
mutter
von
** Human
%n{nicht} und
spouse
** Man
and
** ** Human
und
** Man
ist der
vater
von
** Human
nicht
(<=>
(
stepmother
?P ?M)
(
exists
(?F)
(
and
(
father
?P ?F)
(
spouse
?M ?F)
(
not
(
mother
?P ?M)))))
Mid-level-ontology.kif 23168-23175
stepmother
Human
and
Woman
genau dann wenn es gibt
** Human
um
** ** Human
ist der
vater
von
** Human
%n{nicht} und
spouse
** Woman
and
** ** Human
und
** Woman
ist die
mutter
von
** Human
nicht
(=>
(
attribute
?P
PrinceConsort
)
(
exists
(?QUEEN ?PLACE)
(
and
(
chiefOfState
?PLACE
QueenRegnant
?QUEEN)
(
spouse
?QUEEN ?P))))
Government.kif 1426-1431
Wenn
PrinceConsort
ist ein
attribut
von
Human
%n{nicht},
dann es gibt
** Human
und
** Human
LACE um
chiefOfState
** Human
LACE,
QueenRegnant
and
** ** Human
und
spouse
** ** Human
and
** Human
(=>
(
attribute
?Q
QueenConsort
)
(
exists
(?KING ?PLACE)
(
and
(
chiefOfState
?PLACE
King
?KING)
(
spouse
?KING ?Q))))
Government.kif 1415-1420
Wenn
QueenConsort
ist ein
attribut
von
Human
%n{nicht},
dann es gibt
** Human
und
GeopoliticalArea
um
chiefOfState
** GeopoliticalArea
,
King
and
** ** Human
und
spouse
** ** Human
and
** 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
Wenn
Widowed
ist ein
attribut
von
entity
%n{nicht} haelt
waehrend
TimeInterval
%n{nicht},
dann es gibt
** TimeInterval
und
** entity
um
** ** TimeInterval
geschieht frueh als
** TimeInterval
%n{nicht} und
spouse
** ** entity
and
** entity
haelt
waehrend
** ** TimeInterval
%n{nicht} und
Dead
ist ein
attribut
von
** ** entity
%n{nicht} haelt
waehrend
** TimeInterval
%n{nicht} und es gibt nicht
** entity
um
spouse
** ** entity
and
** entity
haelt
waehrend
** TimeInterval
%n{nicht}
(=>
(
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
Wenn
TimeInterval
ist ein
fall
von
Divorcing
%n{nicht},
dann es gibt
entity
,
** entity
,, ,
** TimeInterval
, and und
** TimeInterval
um
spouse
** entity
and
** ** entity
haelt
waehrend
** ** TimeInterval
%n{nicht} und
spouse
** entity
and
** ** entity
haelt
waehrend
** ** TimeInterval
%n{nicht} und
** ** TimeInterval
beendet
** TimeInterval
%n{nicht} und
** ** TimeInterval
beginnt
** TimeInterval
%n{nicht}
(=>
(
instance
?WED
Wedding
)
(
exists
(?PERSON1 ?PERSON2)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?WED))
(
spouse
?PERSON1 ?PERSON2))))
Mid-level-ontology.kif 7964-7969
Wenn
Physical
ist ein
fall
von
Wedding
%n{nicht},
dann es gibt
entity
und
** entity
um
spouse
** entity
and
** ** entity
haelt
waehrend
sofort
nach
die
zeit
des Bestehens von
** Physical
%n{nicht}
(=>
(
property
?C
MarriageContract
)
(
exists
(?P1 ?P2)
(
and
(
partyToAgreement
?P1 ?C)
(
partyToAgreement
?P2 ?C)
(
spouse
?P1 ?P2))))
Mid-level-ontology.kif 14169-14175
Wenn
Agreement
hat ein
attribut
MarriageContract
%n{nicht},
dann es gibt
Human
und
** Human
um
partyToAgreement
** Human
and
** Agreement
und
partyToAgreement
** ** Human
and
** Agreement
und
spouse
** Human
and
** ** 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