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
dateEstablished
Sigma KEE - dateEstablished
dateEstablished
appearance as argument number 1
(
documentation
dateEstablished
EnglishLanguage
"(
dateEstablished
?THING ?TIME) means that the
Physical
?THING was founded on the date indicated by ?TIME. For example, (
dateEstablished
UnitedNations
(
DayFn
26 (
MonthFn
June
(
YearFn
1945)))).")
Mid-level-ontology.kif 980-983
(
domain
dateEstablished
1
Physical
)
Mid-level-ontology.kif 978-978
建立日期
的 1 数量 是
物理
的
instance
(
domainSubclass
dateEstablished
2
TimePosition
)
Mid-level-ontology.kif 979-979
建立日期
的 2 数量 是
时间位置
的
subclass
(
instance
dateEstablished
BinaryPredicate
)
Mid-level-ontology.kif 977-977
建立日期
是
二元谓语
的
instance
appearance as argument number 2
(
format
ChineseLanguage
dateEstablished
"%2 %n 是 %1 的成立
date
")
domainEnglishFormat.kif 652-652
(
format
ChineseTraditionalLanguage
dateEstablished
"%2 %n 是 %1 的成立
date
")
domainEnglishFormat.kif 651-651
(
format
EnglishLanguage
dateEstablished
"%2 is %n a
date
established of %1")
domainEnglishFormat.kif 650-650
(
termFormat
ChineseLanguage
dateEstablished
"建立日期")
domainEnglishFormat.kif 18618-18618
(
termFormat
ChineseTraditionalLanguage
dateEstablished
"建立日期")
domainEnglishFormat.kif 18617-18617
(
termFormat
EnglishLanguage
dateEstablished
"date established")
domainEnglishFormat.kif 18616-18616
antecedent
(=>
(
dateEstablished
?THING ?DATE)
(
exists
(?DAY)
(
and
(
instance
?DAY ?DATE)
(
overlapsTemporally
?DAY
(
BeginFn
(
WhenFn
?THING))))))
Mid-level-ontology.kif 985-990
如果
有点 时间位置
是
物理
的成立
date
,
然后 有存在
时距
这样
那个 时距
是
有点 时间位置
的
instance
和
那个 物理
出现 的
time
的开始 时段 和
那个 时距
重叠
consequent
(=>
(
yearOfFounding
?O ?Y)
(
dateEstablished
?O
(
YearFn
?Y)))
Mid-level-ontology.kif 960-963
如果
整数
是
机构
的
year
资金,
然后
那个 整数
year
是
那个 机构
的成立
date
appearance as argument number 0
(
dateEstablished
ASEANRegionalForum
(
YearFn
1994))
Government.kif 2877-2877
1994
Year
是
东盟区域论坛
的成立
date
(
dateEstablished
AfricanCaribbeanAndPacificGroupOfStates
(
DayFn
6
(
MonthFn
June
(
YearFn
1975))))
Government.kif 2750-2750
6
Day
是
非洲加勒比和太平洋国家集团
的成立
date
(
dateEstablished
AfricanDevelopmentBank
(
DayFn
4
(
MonthFn
August
(
YearFn
1963))))
Government.kif 2757-2757
4
Day
是
非洲开发银行
的成立
date
(
dateEstablished
AgencyForTheFrenchSpeakingCommunity
(
DayFn
20
(
MonthFn
March
(
YearFn
1970))))
Government.kif 2771-2771
20
Day
是
法语社区的代理机构
的成立
date
(
dateEstablished
AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean
(
DayFn
14
(
MonthFn
February
(
YearFn
1967))))
Government.kif 2778-2778
14
Day
是
在拉丁美洲和加勒比地区禁止核武器的机构
的成立
date
(
dateEstablished
AndeanCommunityOfNations
(
DayFn
26
(
MonthFn
May
(
YearFn
1969))))
Government.kif 2796-2796
26
Day
是
安第斯国际社会
的成立
date
(
dateEstablished
AntarcticTreatyCouncil
(
DayFn
23
(
MonthFn
June
(
YearFn
1961))))
Government.kif 2801-2801
23
Day
是
南极条约理事会
的成立
date
(
dateEstablished
ArabBankForEconomicDevelopmentInAfrica
(
DayFn
18
(
MonthFn
February
(
YearFn
1974))))
Government.kif 2812-2812
18
Day
是
阿拉伯非洲经济发展银行
的成立
date
(
dateEstablished
ArabCooperationCouncil
(
DayFn
16
(
MonthFn
February
(
YearFn
1989))))
Government.kif 2818-2818
16
Day
是
阿拉伯合作理事会
的成立
date
(
dateEstablished
ArabFundForEconomicAndSocialDevelopment
(
DayFn
16
(
MonthFn
May
(
YearFn
1968))))
Government.kif 2824-2824
16
Day
是
阿拉伯经济和社会发展基金
的成立
date
(
dateEstablished
ArabLeague
(
DayFn
22
(
MonthFn
March
(
YearFn
1945))))
Government.kif 2833-2833
22
Day
是
阿拉伯联盟
的成立
date
(
dateEstablished
ArabMaghrebUnion
(
DayFn
17
(
MonthFn
February
(
YearFn
1989))))
Government.kif 2842-2842
17
Day
是
阿拉伯马格里布联盟
的成立
date
(
dateEstablished
ArabMonetaryFund
(
DayFn
27
(
MonthFn
April
(
YearFn
1976))))
Government.kif 2851-2851
27
Day
是
阿拉伯货币基金
的成立
date
(
dateEstablished
AsiaPacificEconomicCooperation
(
DayFn
7
(
MonthFn
November
(
YearFn
1989))))
Government.kif 2857-2857
7
Day
是
亚太经济合作
的成立
date
(
dateEstablished
AsianDevelopmentBank
(
DayFn
19
(
MonthFn
December
(
YearFn
1966))))
Government.kif 2863-2863
19
Day
是
亚洲开发银行
的成立
date
(
dateEstablished
AssociationOfSoutheastAsianNations
(
DayFn
8
(
MonthFn
August
(
YearFn
1967))))
Government.kif 2869-2869
8
Day
是
东南亚国家联盟
的成立
date
(
dateEstablished
AustraliaGroup
(
YearFn
1984))
Government.kif 2883-2883
1984
Year
是
澳大利亚集团
的成立
date
(
dateEstablished
AustraliaNewZealandUnitedStatesSecurityTreaty
(
DayFn
1
(
MonthFn
September
(
YearFn
1951))))
Government.kif 2889-2889
1
Day
是
澳大利亚新西兰美国安全条约
的成立
date
(
dateEstablished
BankForInternationalSettlements
(
DayFn
20
(
MonthFn
January
(
YearFn
1930))))
Government.kif 2895-2895
20
Day
是
国际结算银行
的成立
date
(
dateEstablished
BeneluxEconomicUnion
(
DayFn
3
(
MonthFn
February
(
YearFn
1958))))
Government.kif 2901-2901
3
Day
是
比荷卢经济联盟
的成立
date
(
dateEstablished
BigSeven
(
YearFn
1975))
Government.kif 2909-2909
1975
Year
是
大七
的成立
date
(
dateEstablished
BigSix
(
YearFn
1967))
Government.kif 2914-2914
1967
Year
是
大六
的成立
date
(
dateEstablished
BlackSeaEconomicCooperationZone
(
DayFn
25
(
MonthFn
June
(
YearFn
1992))))
Government.kif 2921-2921
25
Day
是
黑海经济合作区
的成立
date
(
dateEstablished
CaribbeanCommunityAndCommonMarket
(
DayFn
4
(
MonthFn
July
(
YearFn
1973))))
Government.kif 2928-2928
4
Day
是
加勒比共同体和共同市场
的成立
date
(
dateEstablished
CaribbeanDevelopmentBank
(
DayFn
18
(
MonthFn
October
(
YearFn
1969))))
Government.kif 2935-2935
18
Day
是
加勒比开发银行
的成立
date
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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