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
(
domainSubclass
dateDissolved
2
TimePosition
)
Government.kif 2556-2556
(
instance
dateDissolved
BinaryPredicate
)
Government.kif 2554-2554
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
appearance as argument number 0
(
dateDissolved
CoordinatingCommitteeOnExportControls
(
DayFn
31
(
MonthFn
March
(
YearFn
1994))))
Government.kif 2994-2994
(
dateDissolved
CouncilForMutualEconomicAssistance
(
DayFn
1
(
MonthFn
January
(
YearFn
1991))))
Government.kif 3009-3009
(
dateDissolved
UnitedNationsPreventiveDeploymentForce
(
DayFn
25
(
MonthFn
March
(
YearFn
1999))))
Government.kif 4145-4145
(
dateDissolved
WarsawPact
(
DayFn
1
(
MonthFn
July
(
YearFn
1991))))
Government.kif 4285-4285
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