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 973-976
(domain dateEstablished 1 Physical) Mid-level-ontology.kif 971-971 建立日期 的 1 数量 是 物理 的 instance
(domainSubclass dateEstablished 2 TimePosition) Mid-level-ontology.kif 972-972 建立日期 的 2 数量 是 时间位置 的 subclass
(instance dateEstablished BinaryPredicate) Mid-level-ontology.kif 970-970 建立日期 是 二元谓语 的 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 978-983

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


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

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


(dateEstablished ASEANRegionalForum
    (YearFn 1994))		 Government.kif 2841-2841 1994 Year 是 东盟区域论坛 的成立 date
(dateEstablished AfricanCaribbeanAndPacificGroupOfStates
    (DayFn 6
        (MonthFn June
            (YearFn 1975))))		 Government.kif 2714-2714 6 Day 是 非洲加勒比和太平洋国家集团 的成立 date
(dateEstablished AfricanDevelopmentBank
    (DayFn 4
        (MonthFn August
            (YearFn 1963))))		 Government.kif 2721-2721 4 Day 是 非洲开发银行 的成立 date
(dateEstablished AgencyForTheFrenchSpeakingCommunity
    (DayFn 20
        (MonthFn March
            (YearFn 1970))))		 Government.kif 2735-2735 20 Day 是 法语社区的代理机构 的成立 date
(dateEstablished AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean
    (DayFn 14
        (MonthFn February
            (YearFn 1967))))		 Government.kif 2742-2742 14 Day 是 在拉丁美洲和加勒比地区禁止核武器的机构 的成立 date
(dateEstablished AndeanCommunityOfNations
    (DayFn 26
        (MonthFn May
            (YearFn 1969))))		 Government.kif 2760-2760 26 Day 是 安第斯国际社会 的成立 date
(dateEstablished AntarcticTreatyCouncil
    (DayFn 23
        (MonthFn June
            (YearFn 1961))))		 Government.kif 2765-2765 23 Day 是 南极条约理事会 的成立 date
(dateEstablished ArabBankForEconomicDevelopmentInAfrica
    (DayFn 18
        (MonthFn February
            (YearFn 1974))))		 Government.kif 2776-2776 18 Day 是 阿拉伯非洲经济发展银行 的成立 date
(dateEstablished ArabCooperationCouncil
    (DayFn 16
        (MonthFn February
            (YearFn 1989))))		 Government.kif 2782-2782 16 Day 是 阿拉伯合作理事会 的成立 date
(dateEstablished ArabFundForEconomicAndSocialDevelopment
    (DayFn 16
        (MonthFn May
            (YearFn 1968))))		 Government.kif 2788-2788 16 Day 是 阿拉伯经济和社会发展基金 的成立 date
(dateEstablished ArabLeague
    (DayFn 22
        (MonthFn March
            (YearFn 1945))))		 Government.kif 2797-2797 22 Day 是 阿拉伯联盟 的成立 date
(dateEstablished ArabMaghrebUnion
    (DayFn 17
        (MonthFn February
            (YearFn 1989))))		 Government.kif 2806-2806 17 Day 是 阿拉伯马格里布联盟 的成立 date
(dateEstablished ArabMonetaryFund
    (DayFn 27
        (MonthFn April
            (YearFn 1976))))		 Government.kif 2815-2815 27 Day 是 阿拉伯货币基金 的成立 date
(dateEstablished AsiaPacificEconomicCooperation
    (DayFn 7
        (MonthFn November
            (YearFn 1989))))		 Government.kif 2821-2821 7 Day 是 亚太经济合作 的成立 date
(dateEstablished AsianDevelopmentBank
    (DayFn 19
        (MonthFn December
            (YearFn 1966))))		 Government.kif 2827-2827 19 Day 是 亚洲开发银行 的成立 date
(dateEstablished AssociationOfSoutheastAsianNations
    (DayFn 8
        (MonthFn August
            (YearFn 1967))))		 Government.kif 2833-2833 8 Day 是 东南亚国家联盟 的成立 date
(dateEstablished AustraliaGroup
    (YearFn 1984))		 Government.kif 2847-2847 1984 Year 是 澳大利亚集团 的成立 date
(dateEstablished AustraliaNewZealandUnitedStatesSecurityTreaty
    (DayFn 1
        (MonthFn September
            (YearFn 1951))))		 Government.kif 2853-2853 1 Day 是 澳大利亚新西兰美国安全条约 的成立 date
(dateEstablished BankForInternationalSettlements
    (DayFn 20
        (MonthFn January
            (YearFn 1930))))		 Government.kif 2859-2859 20 Day 是 国际结算银行 的成立 date
(dateEstablished BeneluxEconomicUnion
    (DayFn 3
        (MonthFn February
            (YearFn 1958))))		 Government.kif 2865-2865 3 Day 是 比荷卢经济联盟 的成立 date
(dateEstablished BigSeven
    (YearFn 1975))		 Government.kif 2873-2873 1975 Year 是 大七 的成立 date
(dateEstablished BigSix
    (YearFn 1967))		 Government.kif 2878-2878 1967 Year 是 大六 的成立 date
(dateEstablished BlackSeaEconomicCooperationZone
    (DayFn 25
        (MonthFn June
            (YearFn 1992))))		 Government.kif 2885-2885 25 Day 是 黑海经济合作区 的成立 date
(dateEstablished CaribbeanCommunityAndCommonMarket
    (DayFn 4
        (MonthFn July
            (YearFn 1973))))		 Government.kif 2892-2892 4 Day 是 加勒比共同体和共同市场 的成立 date
(dateEstablished CaribbeanDevelopmentBank
    (DayFn 18
        (MonthFn October
            (YearFn 1969))))		 Government.kif 2899-2899 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