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
Le nombre 1 argument de
dateEstablished
est une
instance
de
physique
(
domainSubclass
dateEstablished
2
TimePosition
)
Mid-level-ontology.kif 979-979
Le nombre 2 argument de
dateEstablished
est une
sous
-classe de
position temporel
(
instance
dateEstablished
BinaryPredicate
)
Mid-level-ontology.kif 977-977
dateEstablished
est une
instance
de
pr�dicat binaire
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
physique
and
position temporel
interval temporel
interval temporel
est une
instance
de
position temporel
le
d
�but de
temps
d'existence de
physique
recouvre
interval temporel
consequent
(=>
(
yearOfFounding
?O ?Y)
(
dateEstablished
?O
(
YearFn
?Y)))
Mid-level-ontology.kif 960-963
yearOfFounding
organisation
and
nombre entier
dateEstablished
organisation
and l'
ann
�e
nombre entier
appearance as argument number 0
(
dateEstablished
ASEANRegionalForum
(
YearFn
1994))
Government.kif 2877-2877
dateEstablished
ASEANRegionalForum
and l'
ann
�e 1994
(
dateEstablished
AfricanCaribbeanAndPacificGroupOfStates
(
DayFn
6
(
MonthFn
June
(
YearFn
1975))))
Government.kif 2750-2750
dateEstablished
AfricanCaribbeanAndPacificGroupOfStates
and le
jour
6
(
dateEstablished
AfricanDevelopmentBank
(
DayFn
4
(
MonthFn
August
(
YearFn
1963))))
Government.kif 2757-2757
dateEstablished
AfricanDevelopmentBank
and le
jour
4
(
dateEstablished
AgencyForTheFrenchSpeakingCommunity
(
DayFn
20
(
MonthFn
March
(
YearFn
1970))))
Government.kif 2771-2771
dateEstablished
AgencyForTheFrenchSpeakingCommunity
and le
jour
20
(
dateEstablished
AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean
(
DayFn
14
(
MonthFn
February
(
YearFn
1967))))
Government.kif 2778-2778
dateEstablished
AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean
and le
jour
14
(
dateEstablished
AndeanCommunityOfNations
(
DayFn
26
(
MonthFn
May
(
YearFn
1969))))
Government.kif 2796-2796
dateEstablished
AndeanCommunityOfNations
and le
jour
26
(
dateEstablished
AntarcticTreatyCouncil
(
DayFn
23
(
MonthFn
June
(
YearFn
1961))))
Government.kif 2801-2801
dateEstablished
AntarcticTreatyCouncil
and le
jour
23
(
dateEstablished
ArabBankForEconomicDevelopmentInAfrica
(
DayFn
18
(
MonthFn
February
(
YearFn
1974))))
Government.kif 2812-2812
dateEstablished
ArabBankForEconomicDevelopmentInAfrica
and le
jour
18
(
dateEstablished
ArabCooperationCouncil
(
DayFn
16
(
MonthFn
February
(
YearFn
1989))))
Government.kif 2818-2818
dateEstablished
ArabCooperationCouncil
and le
jour
16
(
dateEstablished
ArabFundForEconomicAndSocialDevelopment
(
DayFn
16
(
MonthFn
May
(
YearFn
1968))))
Government.kif 2824-2824
dateEstablished
ArabFundForEconomicAndSocialDevelopment
and le
jour
16
(
dateEstablished
ArabLeague
(
DayFn
22
(
MonthFn
March
(
YearFn
1945))))
Government.kif 2833-2833
dateEstablished
ArabLeague
and le
jour
22
(
dateEstablished
ArabMaghrebUnion
(
DayFn
17
(
MonthFn
February
(
YearFn
1989))))
Government.kif 2842-2842
dateEstablished
ArabMaghrebUnion
and le
jour
17
(
dateEstablished
ArabMonetaryFund
(
DayFn
27
(
MonthFn
April
(
YearFn
1976))))
Government.kif 2851-2851
dateEstablished
ArabMonetaryFund
and le
jour
27
(
dateEstablished
AsiaPacificEconomicCooperation
(
DayFn
7
(
MonthFn
November
(
YearFn
1989))))
Government.kif 2857-2857
dateEstablished
AsiaPacificEconomicCooperation
and le
jour
7
(
dateEstablished
AsianDevelopmentBank
(
DayFn
19
(
MonthFn
December
(
YearFn
1966))))
Government.kif 2863-2863
dateEstablished
AsianDevelopmentBank
and le
jour
19
(
dateEstablished
AssociationOfSoutheastAsianNations
(
DayFn
8
(
MonthFn
August
(
YearFn
1967))))
Government.kif 2869-2869
dateEstablished
AssociationOfSoutheastAsianNations
and le
jour
8
(
dateEstablished
AustraliaGroup
(
YearFn
1984))
Government.kif 2883-2883
dateEstablished
AustraliaGroup
and l'
ann
�e 1984
(
dateEstablished
AustraliaNewZealandUnitedStatesSecurityTreaty
(
DayFn
1
(
MonthFn
September
(
YearFn
1951))))
Government.kif 2889-2889
dateEstablished
AustraliaNewZealandUnitedStatesSecurityTreaty
and le
jour
1
(
dateEstablished
BankForInternationalSettlements
(
DayFn
20
(
MonthFn
January
(
YearFn
1930))))
Government.kif 2895-2895
dateEstablished
BankForInternationalSettlements
and le
jour
20
(
dateEstablished
BeneluxEconomicUnion
(
DayFn
3
(
MonthFn
February
(
YearFn
1958))))
Government.kif 2901-2901
dateEstablished
BeneluxEconomicUnion
and le
jour
3
(
dateEstablished
BigSeven
(
YearFn
1975))
Government.kif 2909-2909
dateEstablished
BigSeven
and l'
ann
�e 1975
(
dateEstablished
BigSix
(
YearFn
1967))
Government.kif 2914-2914
dateEstablished
BigSix
and l'
ann
�e 1967
(
dateEstablished
BlackSeaEconomicCooperationZone
(
DayFn
25
(
MonthFn
June
(
YearFn
1992))))
Government.kif 2921-2921
dateEstablished
BlackSeaEconomicCooperationZone
and le
jour
25
(
dateEstablished
CaribbeanCommunityAndCommonMarket
(
DayFn
4
(
MonthFn
July
(
YearFn
1973))))
Government.kif 2928-2928
dateEstablished
CaribbeanCommunityAndCommonMarket
and le
jour
4
(
dateEstablished
CaribbeanDevelopmentBank
(
DayFn
18
(
MonthFn
October
(
YearFn
1969))))
Government.kif 2935-2935
dateEstablished
CaribbeanDevelopmentBank
and le
jour
18
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