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 2529-2533
(
domain
dateDissolved
1
Physical
)
Government.kif 2519-2519
(
domainSubclass
dateDissolved
2
TimePosition
)
Government.kif 2520-2520
(
instance
dateDissolved
BinaryPredicate
)
Government.kif 2518-2518
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 2522-2527
appearance as argument number 0
(
dateDissolved
CoordinatingCommitteeOnExportControls
(
DayFn
31
(
MonthFn
March
(
YearFn
1994))))
Government.kif 2958-2958
(
dateDissolved
CouncilForMutualEconomicAssistance
(
DayFn
1
(
MonthFn
January
(
YearFn
1991))))
Government.kif 2973-2973
(
dateDissolved
UnitedNationsPreventiveDeploymentForce
(
DayFn
25
(
MonthFn
March
(
YearFn
1999))))
Government.kif 4109-4109
(
dateDissolved
WarsawPact
(
DayFn
1
(
MonthFn
July
(
YearFn
1991))))
Government.kif 4249-4249
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