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
不相交的關係
伴侶
and
國內的合作夥伴
(
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
域
伴侶
, 1 and
Human
(
domain
spouse
2
Human
)
Merge.kif 16634-16634
域
伴侶
, 2 and
Human
(
instance
spouse
IrreflexiveRelation
)
Merge.kif 16630-16630
例
伴侶
and
IrreflexiveRelation
(
instance
spouse
PartialValuedRelation
)
Merge.kif 16632-16632
例
伴侶
and
PartialValuedRelation
(
instance
spouse
SymmetricRelation
)
Merge.kif 16631-16631
例
伴侶
and
SymmetricRelation
(
subrelation
spouse
legalRelation
)
Merge.kif 16629-16629
子關係
伴侶
and
法律關係
(
subrelation
spouse
mutualAcquaintance
)
Merge.kif 16627-16627
子關係
伴侶
and
相識熟人
(
subrelation
spouse
relative
)
Merge.kif 16393-16393
子關係
伴侶
and
相對的
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
持有期間
TimeInterval
and
Entity
是
Entity
的
spouse
例
TimeInterval
and
TimeInterval
Process
例
Process
and
婚禮
患者
Process
and
Entity
患者
Process
and
Entity
早期
何時
Process
and
TimeInterval
(=>
(
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
例
內容承載物理
and
MarriageCertificate
例
Human
and
Human
例
Human
and
Human
Human
是
Human
的
spouse
containsFormula
內容承載物理
and
entity
Human
和
Human
之前是
married
在
entity
例
entity
and
Day
(=>
(
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
親
Organism
and
Organism
親
Organism
and
Organism
持有期間
TimePosition
and
Organism
是
Organism
的
spouse
Organism
是
Organism
的
cohabitant
Organism
是
Organism
的
cohabitant
Entity
例
Entity
and
核心家庭
持有期間
TimePosition
and
會員
Organism
and
Entity
會員
Organism
and
Entity
會員
Organism
and
Entity
consequent
(<=>
(
stepfather
?P ?F)
(
exists
(?M)
(
and
(
mother
?P ?M)
(
spouse
?F ?M)
(
not
(
father
?P ?F)))))
Mid-level-ontology.kif 23204-23211
人
是
Human
的
stepfather
Human
母親
Human
and
Human
人
是
Human
的
spouse
父親
Human
and
人
(<=>
(
stepmother
?P ?M)
(
exists
(?F)
(
and
(
father
?P ?F)
(
spouse
?M ?F)
(
not
(
mother
?P ?M)))))
Mid-level-ontology.kif 23221-23228
女人
是
Human
的
stepfather
Human
父親
Human
and
Human
女人
是
Human
的
spouse
母親
Human
and
女人
(=>
(
attribute
?P
PrinceConsort
)
(
exists
(?QUEEN ?PLACE)
(
and
(
chiefOfState
?PLACE
QueenRegnant
?QUEEN)
(
spouse
?QUEEN ?P))))
Government.kif 1390-1395
attribute
Human
and
PrinceConsort
Human
Human
LACE
Human
LACE 州
QueenRegnant
的
chief
對於
Human
Human
是
Human
的
spouse
(=>
(
attribute
?Q
QueenConsort
)
(
exists
(?KING ?PLACE)
(
and
(
chiefOfState
?PLACE
King
?KING)
(
spouse
?KING ?Q))))
Government.kif 1379-1384
attribute
Human
and
QueenConsort
Human
GeopoliticalArea
GeopoliticalArea
州
王
的
chief
對於
Human
Human
是
Human
的
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 22359-22373
持有期間
TimeInterval
and
attribute
entity
and
寡
TimeInterval
entity
早期
TimeInterval
and
TimeInterval
持有期間
TimeInterval
and
entity
是
entity
的
spouse
持有期間
TimeInterval
and
attribute
entity
and
死
entity
持有期間
TimeInterval
and
entity
是
entity
的
spouse
(=>
(
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
例
TimeInterval
and
離婚
entity
entity
,
TimeInterval
and
TimeInterval
持有期間
TimeInterval
and
entity
是
entity
的
spouse
持有期間
TimeInterval
and
entity
是
entity
的
spouse
飾面
TimeInterval
and
TimeInterval
啟動
TimeInterval
and
TimeInterval
(=>
(
instance
?WED
Wedding
)
(
exists
(?PERSON1 ?PERSON2)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?WED))
(
spouse
?PERSON1 ?PERSON2))))
Mid-level-ontology.kif 7992-7997
例
Physical
and
婚禮
entity
entity
持有期間
眼前的未來
何時
Physical
and
entity
是
entity
的
spouse
(=>
(
property
?C
MarriageContract
)
(
exists
(?P1 ?P2)
(
and
(
partyToAgreement
?P1 ?C)
(
partyToAgreement
?P2 ?C)
(
spouse
?P1 ?P2))))
Mid-level-ontology.kif 14197-14203
屬性
協議
and
婚姻合同
Human
Human
協議
是
Human
的
party
協議
協議
是
Human
的
party
協議
Human
是
Human
的
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