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 and
Physical
(
domainSubclass
dateDissolved
2
TimePosition
)
Government.kif 2556-2556
域子類
日期解散
, 2 and
TimePosition
(
instance
dateDissolved
BinaryPredicate
)
Government.kif 2554-2554
例
日期解散
and
BinaryPredicate
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
TimePosition
是
Physical
的閉幕
date
TimeInterval
例
TimeInterval
and
TimePosition
暫時重疊
TimeInterval
and
結束
何時
Physical
appearance as argument number 0
(
dateDissolved
CoordinatingCommitteeOnExportControls
(
DayFn
31
(
MonthFn
March
(
YearFn
1994))))
Government.kif 2994-2994
天
31 and
月
March
and
年
1994 是
出口管制協調委員會
的閉幕
date
(
dateDissolved
CouncilForMutualEconomicAssistance
(
DayFn
1
(
MonthFn
January
(
YearFn
1991))))
Government.kif 3009-3009
天
1 and
月
January
and
年
1991 是
共同經濟援助理事會
的閉幕
date
(
dateDissolved
UnitedNationsPreventiveDeploymentForce
(
DayFn
25
(
MonthFn
March
(
YearFn
1999))))
Government.kif 4145-4145
天
25 and
月
March
and
年
1999 是
聯合國預防性部署部隊
的閉幕
date
(
dateDissolved
WarsawPact
(
DayFn
1
(
MonthFn
July
(
YearFn
1991))))
Government.kif 4285-4285
天
1 and
月
July
and
年
1991 是
華沙協議
的閉幕
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