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
Le nombre 1 argument de
dateDissolved
est une
instance
de
physique
(
domainSubclass
dateDissolved
2
TimePosition
)
Government.kif 2556-2556
Le nombre 2 argument de
dateDissolved
est une
sous
-classe de
position temporel
(
instance
dateDissolved
BinaryPredicate
)
Government.kif 2554-2554
dateDissolved
est une
instance
de
pr�dicat binaire
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
dateDissolved
physique
and
position temporel
interval temporel
interval temporel
est une
instance
de
position temporel
la
fin
de
temps
d'existence de
physique
recouvre
interval temporel
appearance as argument number 0
(
dateDissolved
CoordinatingCommitteeOnExportControls
(
DayFn
31
(
MonthFn
March
(
YearFn
1994))))
Government.kif 2994-2994
dateDissolved
CoordinatingCommitteeOnExportControls
and le
jour
31
(
dateDissolved
CouncilForMutualEconomicAssistance
(
DayFn
1
(
MonthFn
January
(
YearFn
1991))))
Government.kif 3009-3009
dateDissolved
CouncilForMutualEconomicAssistance
and le
jour
1
(
dateDissolved
UnitedNationsPreventiveDeploymentForce
(
DayFn
25
(
MonthFn
March
(
YearFn
1999))))
Government.kif 4145-4145
dateDissolved
UnitedNationsPreventiveDeploymentForce
and le
jour
25
(
dateDissolved
WarsawPact
(
DayFn
1
(
MonthFn
July
(
YearFn
1991))))
Government.kif 4285-4285
dateDissolved
WarsawPact
and le
jour
1
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