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
independenceDate
Sigma KEE - independenceDate
independenceDate
appearance as argument number 1
(
documentation
independenceDate
EnglishLanguage
"(
independenceDate
?AREA ?DATE) means that the
GeopoliticalArea
?AREA achieved its sovereignty on the date ?DATE. For example, (
independenceDate
Afghanistan
(
DayFn
19 (
MonthFn
August
(
YearFn
1919)))).")
Government.kif 505-508
(
domain
independenceDate
1
GeopoliticalArea
)
Government.kif 502-502
The number 1 argument of
independence date
is an
instance
of
geopolitical area
(
domainSubclass
independenceDate
2
TimeInterval
)
Government.kif 503-503
The number 2 argument of
independence date
is a
subclass
of
time interval
(
instance
independenceDate
BinaryPredicate
)
Government.kif 501-501
independence date
is an
instance
of
binary predicate
appearance as argument number 2
(
format
ChineseLanguage
independenceDate
"%2 %n 是 %1 的 independence 日期")
domainEnglishFormat.kif 1305-1305
(
format
ChineseTraditionalLanguage
independenceDate
"%2 %n 是 %1 的 independence 日期")
domainEnglishFormat.kif 1304-1304
(
format
EnglishLanguage
independenceDate
"%2 is %n an independence date of %1")
domainEnglishFormat.kif 1303-1303
(
termFormat
ChineseLanguage
independenceDate
"独立日期")
domainEnglishFormat.kif 29551-29551
(
termFormat
ChineseTraditionalLanguage
independenceDate
"獨立日期")
domainEnglishFormat.kif 29550-29550
(
termFormat
EnglishLanguage
independenceDate
"independence date")
domainEnglishFormat.kif 29549-29549
antecedent
(=>
(
and
(
independenceDate
?COUNTRY1 ?DATE)
(
instance
?INST ?DATE))
(
holdsDuring
(
FutureFn
?INST)
(
not
(
exists
(?COUNTRY2)
(
dependentGeopoliticalArea
?COUNTRY1 ?COUNTRY2)))))
Government.kif 510-517
If
a kind of time interval
is an
independence
date of
a geopolitical area
and
a time position
is an
instance
of
a kind of time interval
,
then there doesn't exist
an entity
such that
the geopolitical area
is a
dependent
of
the entity
holds
during
after
the time position
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