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
伴侣
和
国内的合作伙伴
是
disjoint
关系
(
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
伴侣
的 1 数量 是
人类
的
instance
(
domain
spouse
2
Human
)
Merge.kif 16563-16563
伴侣
的 2 数量 是
人类
的
instance
(
instance
spouse
IrreflexiveRelation
)
Merge.kif 16559-16559
伴侣
是
非自反关系
的
instance
(
instance
spouse
PartialValuedRelation
)
Merge.kif 16561-16561
伴侣
是
部分值关系
的
instance
(
instance
spouse
SymmetricRelation
)
Merge.kif 16560-16560
伴侣
是
对称关系
的
instance
(
subrelation
spouse
legalRelation
)
Merge.kif 16558-16558
伴侣
是
法律关系
的
subrelation
(
subrelation
spouse
mutualAcquaintance
)
Merge.kif 16556-16556
伴侣
是
相识熟人
的
subrelation
(
subrelation
spouse
relative
)
Merge.kif 16322-16322
伴侣
是
相对的
的
subrelation
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
在
时距
holdsDuring
和
那个 时距
是
时距
的
instance
,
然后 有存在
过程
这样
那个 过程
是
婚礼
的
instance
和
那个 实体
是
那个 过程
的
patient
和
那个 另外 实体
是
那个 过程
的
patient
和
那个 过程
出现 的
time
比
那个 时距
发生的
earlier
(=>
(
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
如果
内容承载物理
是
MarriageCertificate
的
instance
和
人类
是
人类
的
instance
和
另一个 人类
是
人类
的
instance
和
那个 人类
是
那个 另外 人类
的
spouse
,
然后
containsFormula
那个 内容承载物理
and 有存在
实体
这样
那个 人类
和
那个 另外 人类
之前是
married
在
那个 实体
和
那个 实体
是
日
的
instance
(=>
(
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
和
第三 生物
是
那个 另外 生物
的
parent
和
那个 生物
是
那个 第三 生物
的
spouse
和
那个 第三 生物
是
那个 生物
的
cohabitant
和
那个 生物
是
那个 另外 生物
的
cohabitant
在
时间位置
holdsDuring
,
然后 有存在
实体
这样
那个 实体
是
核心家庭
的
instance
和
那个 另外 生物
是
那个 实体
的
member
和
那个 生物
是
那个 实体
的
member
和
那个 第三 生物
是
那个 实体
的
member
在
那个 时间位置
holdsDuring
consequent
(<=>
(
stepfather
?P ?F)
(
exists
(?M)
(
and
(
mother
?P ?M)
(
spouse
?F ?M)
(
not
(
father
?P ?F)))))
Mid-level-ontology.kif 23152-23159
人
是
人类
的
stepfather
若且唯若 有存在
另一个 人类
这样
那个 另外 人类
是
那个 人类
的
mother
和
那个 人
是
那个 另外 人类
的
spouse
和
那个 人
不 是
那个 人类
father
(<=>
(
stepmother
?P ?M)
(
exists
(?F)
(
and
(
father
?P ?F)
(
spouse
?M ?F)
(
not
(
mother
?P ?M)))))
Mid-level-ontology.kif 23169-23176
女人
是
人类
的
stepfather
若且唯若 有存在
另一个 人类
这样
那个 另外 人类
是
那个 人类
father
和
那个 女人
是
那个 另外 人类
的
spouse
和
那个 女人
不 是
那个 人类
的
mother
(=>
(
attribute
?P
PrinceConsort
)
(
exists
(?QUEEN ?PLACE)
(
and
(
chiefOfState
?PLACE
QueenRegnant
?QUEEN)
(
spouse
?QUEEN ?P))))
Government.kif 1426-1431
如果
PrinceConsort
是
人类
的
attribute
,
然后 有存在
另一个 人类
和
那个 人类
LACE 这样
那个 人类
LACE 州
QueenRegnant
的
chief
对于
那个 另外 人类
和
那个 另外 人类
是
那个 人类
的
spouse
(=>
(
attribute
?Q
QueenConsort
)
(
exists
(?KING ?PLACE)
(
and
(
chiefOfState
?PLACE
King
?KING)
(
spouse
?KING ?Q))))
Government.kif 1415-1420
如果
QueenConsort
是
人类
的
attribute
,
然后 有存在
另一个 人类
和
地缘政治区域
这样
那个 地缘政治区域
州
王
的
chief
对于
那个 另外 人类
和
那个 另外 人类
是
那个 人类
的
spouse
(=>
(
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
在
时距
holdsDuring
,
然后 有存在
另一个 时距
和
另一个 实体
这样
那个 另外 时距
比
那个 时距
发生的
earlier
和
那个 另外 实体
是
那个 实体
的
spouse
在
那个 另外 时距
holdsDuring
和
死
是
那个 另外 实体
的
attribute
在
那个 时距
holdsDuring
和 不存在
第四 实体
这样
那个 第四 实体
是
那个 实体
的
spouse
在
那个 时距
holdsDuring
(=>
(
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
如果
时距
是
离婚
的
instance
,
然后 有存在
实体
,
另一个 实体
,, ,
另一个 时距
, and 和
第三 时距
这样
那个 实体
是
那个 另外 实体
的
spouse
在
那个 另外 时距
holdsDuring
和 不
那个 实体
是
那个 另外 实体
的
spouse
在
那个 第三 时距
holdsDuring
和
那个 另外 时距
finishes
了才到
那个 时距
和
那个 第三 时距
starts
了才到
那个 时距
(=>
(
instance
?WED
Wedding
)
(
exists
(?PERSON1 ?PERSON2)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?WED))
(
spouse
?PERSON1 ?PERSON2))))
Mid-level-ontology.kif 7965-7970
如果
物理
是
婚礼
的
instance
,
然后 有存在
实体
和
另一个 实体
这样
那个 实体
是
那个 另外 实体
的
spouse
在 紧接
那个 物理
出现 的
time
after
holdsDuring
(=>
(
property
?C
MarriageContract
)
(
exists
(?P1 ?P2)
(
and
(
partyToAgreement
?P1 ?C)
(
partyToAgreement
?P2 ?C)
(
spouse
?P1 ?P2))))
Mid-level-ontology.kif 14170-14176
如果
协议
有
婚姻合同
的
attribute
,
然后 有存在
人类
和
另一个 人类
这样
那个 协议
是
那个 人类
的
party
协议 和
那个 协议
是
那个 另外 人类
的
party
协议 和
那个 人类
是
那个 另外 人类
的
spouse
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