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
独立日期
的 1 数量 是
地缘政治区域
的
instance
(
domainSubclass
independenceDate
2
TimeInterval
)
Government.kif 503-503
独立日期
的 2 数量 是
时距
的
subclass
(
instance
independenceDate
BinaryPredicate
)
Government.kif 501-501
独立日期
是
二元谓语
的
instance
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
如果
有点 时距
是
地缘政治区域
的
independence
日期 和
时间位置
是
有点 时距
的
instance
,
然后 不存在
实体
这样
那个 地缘政治区域
是
那个 实体
的
dependent
在
那个 时间位置
之后
holdsDuring
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