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
dateEstablished
の数値 1 引数は
物理
の
instance
では %n
(
domainSubclass
dateEstablished
2
TimePosition
)
Mid-level-ontology.kif 979-979
dateEstablished
の数値 2 引数は
時間位置
の
subclass
では %n
(
instance
dateEstablished
BinaryPredicate
)
Mid-level-ontology.kif 977-977
dateEstablished
は
2進述語
の
instance
では %n
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
dateEstablished
物理
and
時間位置
時間間隔
時間間隔
は
時間位置
の
instance
では %n
物理
の
time
の existence の
beginning
は
時間間隔
と
overlap
s %n{dない}
consequent
(=>
(
yearOfFounding
?O ?Y)
(
dateEstablished
?O
(
YearFn
?Y)))
Mid-level-ontology.kif 960-963
yearOfFounding
組織
and
整数
dateEstablished
組織
and
整数
year
目
appearance as argument number 0
(
dateEstablished
ASEANRegionalForum
(
YearFn
1994))
Government.kif 2877-2877
dateEstablished
ASEANRegionalForum
and 1994
year
目
(
dateEstablished
AfricanCaribbeanAndPacificGroupOfStates
(
DayFn
6
(
MonthFn
June
(
YearFn
1975))))
Government.kif 2750-2750
dateEstablished
AfricanCaribbeanAndPacificGroupOfStates
and 6
day
目
(
dateEstablished
AfricanDevelopmentBank
(
DayFn
4
(
MonthFn
August
(
YearFn
1963))))
Government.kif 2757-2757
dateEstablished
AfricanDevelopmentBank
and 4
day
目
(
dateEstablished
AgencyForTheFrenchSpeakingCommunity
(
DayFn
20
(
MonthFn
March
(
YearFn
1970))))
Government.kif 2771-2771
dateEstablished
AgencyForTheFrenchSpeakingCommunity
and 20
day
目
(
dateEstablished
AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean
(
DayFn
14
(
MonthFn
February
(
YearFn
1967))))
Government.kif 2778-2778
dateEstablished
AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean
and 14
day
目
(
dateEstablished
AndeanCommunityOfNations
(
DayFn
26
(
MonthFn
May
(
YearFn
1969))))
Government.kif 2796-2796
dateEstablished
AndeanCommunityOfNations
and 26
day
目
(
dateEstablished
AntarcticTreatyCouncil
(
DayFn
23
(
MonthFn
June
(
YearFn
1961))))
Government.kif 2801-2801
dateEstablished
AntarcticTreatyCouncil
and 23
day
目
(
dateEstablished
ArabBankForEconomicDevelopmentInAfrica
(
DayFn
18
(
MonthFn
February
(
YearFn
1974))))
Government.kif 2812-2812
dateEstablished
ArabBankForEconomicDevelopmentInAfrica
and 18
day
目
(
dateEstablished
ArabCooperationCouncil
(
DayFn
16
(
MonthFn
February
(
YearFn
1989))))
Government.kif 2818-2818
dateEstablished
ArabCooperationCouncil
and 16
day
目
(
dateEstablished
ArabFundForEconomicAndSocialDevelopment
(
DayFn
16
(
MonthFn
May
(
YearFn
1968))))
Government.kif 2824-2824
dateEstablished
ArabFundForEconomicAndSocialDevelopment
and 16
day
目
(
dateEstablished
ArabLeague
(
DayFn
22
(
MonthFn
March
(
YearFn
1945))))
Government.kif 2833-2833
dateEstablished
ArabLeague
and 22
day
目
(
dateEstablished
ArabMaghrebUnion
(
DayFn
17
(
MonthFn
February
(
YearFn
1989))))
Government.kif 2842-2842
dateEstablished
ArabMaghrebUnion
and 17
day
目
(
dateEstablished
ArabMonetaryFund
(
DayFn
27
(
MonthFn
April
(
YearFn
1976))))
Government.kif 2851-2851
dateEstablished
ArabMonetaryFund
and 27
day
目
(
dateEstablished
AsiaPacificEconomicCooperation
(
DayFn
7
(
MonthFn
November
(
YearFn
1989))))
Government.kif 2857-2857
dateEstablished
AsiaPacificEconomicCooperation
and 7
day
目
(
dateEstablished
AsianDevelopmentBank
(
DayFn
19
(
MonthFn
December
(
YearFn
1966))))
Government.kif 2863-2863
dateEstablished
AsianDevelopmentBank
and 19
day
目
(
dateEstablished
AssociationOfSoutheastAsianNations
(
DayFn
8
(
MonthFn
August
(
YearFn
1967))))
Government.kif 2869-2869
dateEstablished
AssociationOfSoutheastAsianNations
and 8
day
目
(
dateEstablished
AustraliaGroup
(
YearFn
1984))
Government.kif 2883-2883
dateEstablished
AustraliaGroup
and 1984
year
目
(
dateEstablished
AustraliaNewZealandUnitedStatesSecurityTreaty
(
DayFn
1
(
MonthFn
September
(
YearFn
1951))))
Government.kif 2889-2889
dateEstablished
AustraliaNewZealandUnitedStatesSecurityTreaty
and 1
day
目
(
dateEstablished
BankForInternationalSettlements
(
DayFn
20
(
MonthFn
January
(
YearFn
1930))))
Government.kif 2895-2895
dateEstablished
BankForInternationalSettlements
and 20
day
目
(
dateEstablished
BeneluxEconomicUnion
(
DayFn
3
(
MonthFn
February
(
YearFn
1958))))
Government.kif 2901-2901
dateEstablished
BeneluxEconomicUnion
and 3
day
目
(
dateEstablished
BigSeven
(
YearFn
1975))
Government.kif 2909-2909
dateEstablished
BigSeven
and 1975
year
目
(
dateEstablished
BigSix
(
YearFn
1967))
Government.kif 2914-2914
dateEstablished
BigSix
and 1967
year
目
(
dateEstablished
BlackSeaEconomicCooperationZone
(
DayFn
25
(
MonthFn
June
(
YearFn
1992))))
Government.kif 2921-2921
dateEstablished
BlackSeaEconomicCooperationZone
and 25
day
目
(
dateEstablished
CaribbeanCommunityAndCommonMarket
(
DayFn
4
(
MonthFn
July
(
YearFn
1973))))
Government.kif 2928-2928
dateEstablished
CaribbeanCommunityAndCommonMarket
and 4
day
目
(
dateEstablished
CaribbeanDevelopmentBank
(
DayFn
18
(
MonthFn
October
(
YearFn
1969))))
Government.kif 2935-2935
dateEstablished
CaribbeanDevelopmentBank
and 18
day
目
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