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
と
domesticPartner
は
disjoint
では %n
(
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
spouse
の数値 1 引数は
人[人間]
の
instance
では %n
(
domain
spouse
2
Human
)
Merge.kif 16563-16563
spouse
の数値 2 引数は
人[人間]
の
instance
では %n
(
instance
spouse
IrreflexiveRelation
)
Merge.kif 16559-16559
spouse
は
非反射関係
の
instance
では %n
(
instance
spouse
PartialValuedRelation
)
Merge.kif 16561-16561
spouse
は
部分的価値関係
の
instance
では %n
(
instance
spouse
SymmetricRelation
)
Merge.kif 16560-16560
spouse
は
対称関係
の
instance
では %n
(
subrelation
spouse
legalRelation
)
Merge.kif 16558-16558
spouse
は
legalRelation
の
subrelation
では %n
(
subrelation
spouse
mutualAcquaintance
)
Merge.kif 16556-16556
spouse
は
mutualAcquaintance
の
subrelation
では %n
(
subrelation
spouse
relative
)
Merge.kif 16322-16322
spouse
は
relative
の
subrelation
では %n
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
エンティティー
and
エンティティー
は
時間間隔
の
during
holds %n{ない}
時間間隔
は
時間間隔
の
instance
では %n
工程
工程
は
Wedding
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
工程
の
patient
では %n
工程
の
time
の existence は
時間間隔
より
earlier
happens %n{ない}
(=>
(
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
は
MarriageCertificate
の
instance
では %n
人[人間]
は
人[人間]
の
instance
では %n
人[人間]
は
人[人間]
の
instance
では %n
spouse
人[人間]
and
人[人間]
containsFormula
ContentBearingPhysical
and
エンティティー
weddingdate
人[人間]
,
人[人間]
and
エンティティー
エンティティー
は
日
の
instance
では %n
(=>
(
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
物
は
物
の
parent
では %n
物
は
物
の
parent
では %n
spouse
物
and
物
cohabitant
物
and
物
cohabitant
物
and
物
は
時間位置
の
during
holds %n{ない}
エンティティー
エンティティー
は
NuclearFamily
の
instance
では %n
物
は
エンティティー
の
member
では %n
物
は
エンティティー
の
member
では %n
物
は
エンティティー
の
member
では %n は
時間位置
の
during
holds %n{ない}
consequent
(<=>
(
stepfather
?P ?F)
(
exists
(?M)
(
and
(
mother
?P ?M)
(
spouse
?F ?M)
(
not
(
father
?P ?F)))))
Mid-level-ontology.kif 23152-23159
stepfather
人[人間]
and
Man
人[人間]
人[人間]
は
人[人間]
の
mother
では %n
spouse
Man
and
人[人間]
Man
は
人[人間]
の
father
では
(<=>
(
stepmother
?P ?M)
(
exists
(?F)
(
and
(
father
?P ?F)
(
spouse
?M ?F)
(
not
(
mother
?P ?M)))))
Mid-level-ontology.kif 23169-23176
stepmother
人[人間]
and
Woman
人[人間]
人[人間]
は
人[人間]
の
father
では %n
spouse
Woman
and
人[人間]
Woman
は
人[人間]
の
mother
では
(=>
(
attribute
?P
PrinceConsort
)
(
exists
(?QUEEN ?PLACE)
(
and
(
chiefOfState
?PLACE
QueenRegnant
?QUEEN)
(
spouse
?QUEEN ?P))))
Government.kif 1426-1431
PrinceConsort
は
人[人間]
の
attribute
では %n
人[人間]
人[人間]
LACE
chiefOfState
人[人間]
LACE,
QueenRegnant
and
人[人間]
spouse
人[人間]
and
人[人間]
(=>
(
attribute
?Q
QueenConsort
)
(
exists
(?KING ?PLACE)
(
and
(
chiefOfState
?PLACE
King
?KING)
(
spouse
?KING ?Q))))
Government.kif 1415-1420
QueenConsort
は
人[人間]
の
attribute
では %n
人[人間]
地政学的地域
chiefOfState
地政学的地域
,
King
and
人[人間]
spouse
人[人間]
and
人[人間]
(=>
(
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
Widowed
は
エンティティー
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
時間間隔
エンティティー
時間間隔
は
時間間隔
より
earlier
happens %n{ない}
spouse
エンティティー
and
エンティティー
は
時間間隔
の
during
holds %n{ない}
Dead
は
エンティティー
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
エンティティー
spouse
エンティティー
and
エンティティー
は
時間間隔
の
during
holds %n{ない}
(=>
(
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
時間間隔
は
Divorcing
の
instance
では %n
エンティティー
エンティティー
,
時間間隔
and
時間間隔
spouse
エンティティー
and
エンティティー
は
時間間隔
の
during
holds %n{ない}
spouse
エンティティー
and
エンティティー
は
時間間隔
の
during
holds %n{ない}
時間間隔
は
時間間隔
を
finish
es %n{ない}
時間間隔
は
時間間隔
を
start
s %n{ない}
(=>
(
instance
?WED
Wedding
)
(
exists
(?PERSON1 ?PERSON2)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?WED))
(
spouse
?PERSON1 ?PERSON2))))
Mid-level-ontology.kif 7965-7970
物理
は
Wedding
の
instance
では %n
エンティティー
エンティティー
spouse
エンティティー
and
エンティティー
は
物理
の
time
の existence の すぐ
after
の
during
holds %n{ない}
(=>
(
property
?C
MarriageContract
)
(
exists
(?P1 ?P2)
(
and
(
partyToAgreement
?P1 ?C)
(
partyToAgreement
?P2 ?C)
(
spouse
?P1 ?P2))))
Mid-level-ontology.kif 14170-14176
Agreement
には
attribute
MarriageContract
%n{ない}
人[人間]
人[人間]
partyToAgreement
人[人間]
and
Agreement
partyToAgreement
人[人間]
and
Agreement
spouse
人[人間]
and
人[人間]
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