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 973-976
(
domain
dateEstablished
1
Physical
)
Mid-level-ontology.kif 971-971
Die Zahl 1 Argument von
dateEstablished
ist ein
fall
von
Physical
%n{nicht}
(
domainSubclass
dateEstablished
2
TimePosition
)
Mid-level-ontology.kif 972-972
Die Zahl 2 Argument von
dateEstablished
ist eine
teilkategorie
von
TimePosition
%n{nicht}
(
instance
dateEstablished
BinaryPredicate
)
Mid-level-ontology.kif 970-970
dateEstablished
ist ein
fall
von
BinaryPredicate
%n{nicht}
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 978-983
Wenn
dateEstablished
Physical
and
** TimePosition
,
dann es gibt
TimeInterval
um
** TimeInterval
ist ein
fall
von
** TimePosition
%n{nicht} und der
anfang
von die
zeit
des Bestehens von
** Physical
deckt
sich mit
** TimeInterval
%n{nicht}
consequent
(=>
(
yearOfFounding
?O ?Y)
(
dateEstablished
?O
(
YearFn
?Y)))
Mid-level-ontology.kif 953-956
Wenn
yearOfFounding
Organization
and
Integer
,
dann
dateEstablished
** Organization
and das
jahr
** Integer
appearance as argument number 0
(
dateEstablished
ASEANRegionalForum
(
YearFn
1994))
Government.kif 2841-2841
dateEstablished
ASEANRegionalForum
and das
jahr
1994
(
dateEstablished
AfricanCaribbeanAndPacificGroupOfStates
(
DayFn
6
(
MonthFn
June
(
YearFn
1975))))
Government.kif 2714-2714
dateEstablished
AfricanCaribbeanAndPacificGroupOfStates
and der
tag
6
(
dateEstablished
AfricanDevelopmentBank
(
DayFn
4
(
MonthFn
August
(
YearFn
1963))))
Government.kif 2721-2721
dateEstablished
AfricanDevelopmentBank
and der
tag
4
(
dateEstablished
AgencyForTheFrenchSpeakingCommunity
(
DayFn
20
(
MonthFn
March
(
YearFn
1970))))
Government.kif 2735-2735
dateEstablished
AgencyForTheFrenchSpeakingCommunity
and der
tag
20
(
dateEstablished
AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean
(
DayFn
14
(
MonthFn
February
(
YearFn
1967))))
Government.kif 2742-2742
dateEstablished
AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean
and der
tag
14
(
dateEstablished
AndeanCommunityOfNations
(
DayFn
26
(
MonthFn
May
(
YearFn
1969))))
Government.kif 2760-2760
dateEstablished
AndeanCommunityOfNations
and der
tag
26
(
dateEstablished
AntarcticTreatyCouncil
(
DayFn
23
(
MonthFn
June
(
YearFn
1961))))
Government.kif 2765-2765
dateEstablished
AntarcticTreatyCouncil
and der
tag
23
(
dateEstablished
ArabBankForEconomicDevelopmentInAfrica
(
DayFn
18
(
MonthFn
February
(
YearFn
1974))))
Government.kif 2776-2776
dateEstablished
ArabBankForEconomicDevelopmentInAfrica
and der
tag
18
(
dateEstablished
ArabCooperationCouncil
(
DayFn
16
(
MonthFn
February
(
YearFn
1989))))
Government.kif 2782-2782
dateEstablished
ArabCooperationCouncil
and der
tag
16
(
dateEstablished
ArabFundForEconomicAndSocialDevelopment
(
DayFn
16
(
MonthFn
May
(
YearFn
1968))))
Government.kif 2788-2788
dateEstablished
ArabFundForEconomicAndSocialDevelopment
and der
tag
16
(
dateEstablished
ArabLeague
(
DayFn
22
(
MonthFn
March
(
YearFn
1945))))
Government.kif 2797-2797
dateEstablished
ArabLeague
and der
tag
22
(
dateEstablished
ArabMaghrebUnion
(
DayFn
17
(
MonthFn
February
(
YearFn
1989))))
Government.kif 2806-2806
dateEstablished
ArabMaghrebUnion
and der
tag
17
(
dateEstablished
ArabMonetaryFund
(
DayFn
27
(
MonthFn
April
(
YearFn
1976))))
Government.kif 2815-2815
dateEstablished
ArabMonetaryFund
and der
tag
27
(
dateEstablished
AsiaPacificEconomicCooperation
(
DayFn
7
(
MonthFn
November
(
YearFn
1989))))
Government.kif 2821-2821
dateEstablished
AsiaPacificEconomicCooperation
and der
tag
7
(
dateEstablished
AsianDevelopmentBank
(
DayFn
19
(
MonthFn
December
(
YearFn
1966))))
Government.kif 2827-2827
dateEstablished
AsianDevelopmentBank
and der
tag
19
(
dateEstablished
AssociationOfSoutheastAsianNations
(
DayFn
8
(
MonthFn
August
(
YearFn
1967))))
Government.kif 2833-2833
dateEstablished
AssociationOfSoutheastAsianNations
and der
tag
8
(
dateEstablished
AustraliaGroup
(
YearFn
1984))
Government.kif 2847-2847
dateEstablished
AustraliaGroup
and das
jahr
1984
(
dateEstablished
AustraliaNewZealandUnitedStatesSecurityTreaty
(
DayFn
1
(
MonthFn
September
(
YearFn
1951))))
Government.kif 2853-2853
dateEstablished
AustraliaNewZealandUnitedStatesSecurityTreaty
and der
tag
1
(
dateEstablished
BankForInternationalSettlements
(
DayFn
20
(
MonthFn
January
(
YearFn
1930))))
Government.kif 2859-2859
dateEstablished
BankForInternationalSettlements
and der
tag
20
(
dateEstablished
BeneluxEconomicUnion
(
DayFn
3
(
MonthFn
February
(
YearFn
1958))))
Government.kif 2865-2865
dateEstablished
BeneluxEconomicUnion
and der
tag
3
(
dateEstablished
BigSeven
(
YearFn
1975))
Government.kif 2873-2873
dateEstablished
BigSeven
and das
jahr
1975
(
dateEstablished
BigSix
(
YearFn
1967))
Government.kif 2878-2878
dateEstablished
BigSix
and das
jahr
1967
(
dateEstablished
BlackSeaEconomicCooperationZone
(
DayFn
25
(
MonthFn
June
(
YearFn
1992))))
Government.kif 2885-2885
dateEstablished
BlackSeaEconomicCooperationZone
and der
tag
25
(
dateEstablished
CaribbeanCommunityAndCommonMarket
(
DayFn
4
(
MonthFn
July
(
YearFn
1973))))
Government.kif 2892-2892
dateEstablished
CaribbeanCommunityAndCommonMarket
and der
tag
4
(
dateEstablished
CaribbeanDevelopmentBank
(
DayFn
18
(
MonthFn
October
(
YearFn
1969))))
Government.kif 2899-2899
dateEstablished
CaribbeanDevelopmentBank
and der
tag
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