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
dateDissolved
Sigma KEE - dateDissolved
dateDissolved
appearance as argument number 1
(
documentation
dateDissolved
EnglishLanguage
"(
dateDissolved
?THING ?TIME) means that the
Physical
?THING was dissolved, disbanded, or superseded on the date indicated by ?TIME. For example, (
dateDissolved
UnitedNationsPreventiveDeploymentForce
(
DayFn
25 (
MonthFn
March
(
YearFn
1999)))).")
Government.kif 2565-2569
(
domain
dateDissolved
1
Physical
)
Government.kif 2555-2555
日期解散
的 1 数量 是
物理
的
instance
(
domainSubclass
dateDissolved
2
TimePosition
)
Government.kif 2556-2556
日期解散
的 2 数量 是
时间位置
的
subclass
(
instance
dateDissolved
BinaryPredicate
)
Government.kif 2554-2554
日期解散
是
二元谓语
的
instance
appearance as argument number 2
(
format
ChineseLanguage
dateDissolved
"%2 %n 是 %1 的闭幕
date
")
domainEnglishFormat.kif 648-648
(
format
ChineseTraditionalLanguage
dateDissolved
"%2 %n 是 %1 的閉幕
date
")
domainEnglishFormat.kif 647-647
(
format
EnglishLanguage
dateDissolved
"%2 is %n a
date
dissolved of %1")
domainEnglishFormat.kif 646-646
(
termFormat
ChineseLanguage
dateDissolved
"日期解散")
domainEnglishFormat.kif 18612-18612
(
termFormat
ChineseTraditionalLanguage
dateDissolved
"日期解散")
domainEnglishFormat.kif 18611-18611
(
termFormat
EnglishLanguage
dateDissolved
"date dissolved")
domainEnglishFormat.kif 18610-18610
antecedent
(=>
(
dateDissolved
?THING ?DATE)
(
exists
(?DAY)
(
and
(
instance
?DAY ?DATE)
(
overlapsTemporally
?DAY
(
EndFn
(
WhenFn
?THING))))))
Government.kif 2558-2563
如果
有点 时间位置
是
物理
的闭幕
date
,
然后 有存在
时距
这样
那个 时距
是
有点 时间位置
的
instance
和
那个 物理
出现 的
time
的结束 时段 和
那个 时距
重叠
appearance as argument number 0
(
dateDissolved
CoordinatingCommitteeOnExportControls
(
DayFn
31
(
MonthFn
March
(
YearFn
1994))))
Government.kif 2994-2994
31
Day
是
出口管制协调委员会
的闭幕
date
(
dateDissolved
CouncilForMutualEconomicAssistance
(
DayFn
1
(
MonthFn
January
(
YearFn
1991))))
Government.kif 3009-3009
1
Day
是
共同经济援助理事会
的闭幕
date
(
dateDissolved
UnitedNationsPreventiveDeploymentForce
(
DayFn
25
(
MonthFn
March
(
YearFn
1999))))
Government.kif 4145-4145
25
Day
是
联合国预防性部署部队
的闭幕
date
(
dateDissolved
WarsawPact
(
DayFn
1
(
MonthFn
July
(
YearFn
1991))))
Government.kif 4285-4285
1
Day
是
华沙协议
的闭幕
date
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