Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  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 and Physical
(domainSubclass dateEstablished 2 TimePosition) Mid-level-ontology.kif 979-979 域子類 建立日期, 2 and TimePosition
(instance dateEstablished BinaryPredicate) Mid-level-ontology.kif 977-977 例 建立日期 and BinaryPredicate

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

consequent
-------------------------


(=>
    (yearOfFounding ?O ?Y)
    (dateEstablished ?O
        (YearFn ?Y)))		 Mid-level-ontology.kif 960-963

appearance as argument number 0
-------------------------


(dateEstablished ASEANRegionalForum
    (YearFn 1994))		 Government.kif 2877-2877 年 1994 是 東盟區域論壇 的成立 date
(dateEstablished AfricanCaribbeanAndPacificGroupOfStates
    (DayFn 6
        (MonthFn June
            (YearFn 1975))))		 Government.kif 2750-2750 天 6 and 月 June and 年 1975 是 非洲加勒比和太平洋國家集團 的成立 date
(dateEstablished AfricanDevelopmentBank
    (DayFn 4
        (MonthFn August
            (YearFn 1963))))		 Government.kif 2757-2757 天 4 and 月 August and 年 1963 是 非洲開發銀行 的成立 date
(dateEstablished AgencyForTheFrenchSpeakingCommunity
    (DayFn 20
        (MonthFn March
            (YearFn 1970))))		 Government.kif 2771-2771 天 20 and 月 March and 年 1970 是 法語社區的代理機構 的成立 date
(dateEstablished AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean
    (DayFn 14
        (MonthFn February
            (YearFn 1967))))		 Government.kif 2778-2778 天 14 and 月 February and 年 1967 是 在拉丁美洲和加勒比地區禁止核武器的機構 的成立 date
(dateEstablished AndeanCommunityOfNations
    (DayFn 26
        (MonthFn May
            (YearFn 1969))))		 Government.kif 2796-2796 天 26 and 月 May and 年 1969 是 安第斯國際社會 的成立 date
(dateEstablished AntarcticTreatyCouncil
    (DayFn 23
        (MonthFn June
            (YearFn 1961))))		 Government.kif 2801-2801 天 23 and 月 June and 年 1961 是 南極條約理事會 的成立 date
(dateEstablished ArabBankForEconomicDevelopmentInAfrica
    (DayFn 18
        (MonthFn February
            (YearFn 1974))))		 Government.kif 2812-2812 天 18 and 月 February and 年 1974 是 阿拉伯非洲經濟發展銀行 的成立 date
(dateEstablished ArabCooperationCouncil
    (DayFn 16
        (MonthFn February
            (YearFn 1989))))		 Government.kif 2818-2818 天 16 and 月 February and 年 1989 是 阿拉伯合作理事會 的成立 date
(dateEstablished ArabFundForEconomicAndSocialDevelopment
    (DayFn 16
        (MonthFn May
            (YearFn 1968))))		 Government.kif 2824-2824 天 16 and 月 May and 年 1968 是 阿拉伯經濟和社會發展基金 的成立 date
(dateEstablished ArabLeague
    (DayFn 22
        (MonthFn March
            (YearFn 1945))))		 Government.kif 2833-2833 天 22 and 月 March and 年 1945 是 阿拉伯聯盟 的成立 date
(dateEstablished ArabMaghrebUnion
    (DayFn 17
        (MonthFn February
            (YearFn 1989))))		 Government.kif 2842-2842 天 17 and 月 February and 年 1989 是 阿拉伯馬格里布聯盟 的成立 date
(dateEstablished ArabMonetaryFund
    (DayFn 27
        (MonthFn April
            (YearFn 1976))))		 Government.kif 2851-2851 天 27 and 月 April and 年 1976 是 阿拉伯貨幣基金 的成立 date
(dateEstablished AsiaPacificEconomicCooperation
    (DayFn 7
        (MonthFn November
            (YearFn 1989))))		 Government.kif 2857-2857 天 7 and 月 November and 年 1989 是 亞太經濟合作 的成立 date
(dateEstablished AsianDevelopmentBank
    (DayFn 19
        (MonthFn December
            (YearFn 1966))))		 Government.kif 2863-2863 天 19 and 月 December and 年 1966 是 亞洲開發銀行 的成立 date
(dateEstablished AssociationOfSoutheastAsianNations
    (DayFn 8
        (MonthFn August
            (YearFn 1967))))		 Government.kif 2869-2869 天 8 and 月 August and 年 1967 是 東南亞國家聯盟 的成立 date
(dateEstablished AustraliaGroup
    (YearFn 1984))		 Government.kif 2883-2883 年 1984 是 澳大利亞集團 的成立 date
(dateEstablished AustraliaNewZealandUnitedStatesSecurityTreaty
    (DayFn 1
        (MonthFn September
            (YearFn 1951))))		 Government.kif 2889-2889 天 1 and 月 September and 年 1951 是 澳大利亞新西蘭美國安全條約 的成立 date
(dateEstablished BankForInternationalSettlements
    (DayFn 20
        (MonthFn January
            (YearFn 1930))))		 Government.kif 2895-2895 天 20 and 月 January and 年 1930 是 國際結算銀行 的成立 date
(dateEstablished BeneluxEconomicUnion
    (DayFn 3
        (MonthFn February
            (YearFn 1958))))		 Government.kif 2901-2901 天 3 and 月 February and 年 1958 是 比荷盧經濟聯盟 的成立 date
(dateEstablished BigSeven
    (YearFn 1975))		 Government.kif 2909-2909 年 1975 是 大七 的成立 date
(dateEstablished BigSix
    (YearFn 1967))		 Government.kif 2914-2914 年 1967 是 大六 的成立 date
(dateEstablished BlackSeaEconomicCooperationZone
    (DayFn 25
        (MonthFn June
            (YearFn 1992))))		 Government.kif 2921-2921 天 25 and 月 June and 年 1992 是 黑海經濟合作區 的成立 date
(dateEstablished CaribbeanCommunityAndCommonMarket
    (DayFn 4
        (MonthFn July
            (YearFn 1973))))		 Government.kif 2928-2928 天 4 and 月 July and 年 1973 是 加勒比共同體和共同市場 的成立 date
(dateEstablished CaribbeanDevelopmentBank
    (DayFn 18
        (MonthFn October
            (YearFn 1969))))		 Government.kif 2935-2935 天 18 and 月 October and 年 1969 是 加勒比開發銀行 的成立 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