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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 1367-1370
(domain dateEstablished 1 Physical) Mid-level-ontology.kif 1365-1365 建立日期 的 1 数量 是 物理instance
(domainSubclass dateEstablished 2 TimePosition) Mid-level-ontology.kif 1366-1366 建立日期 的 2 数量 是 时间位置subclass
(instance dateEstablished BinaryPredicate) Mid-level-ontology.kif 1364-1364 建立日期二元谓语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 18616-18616
(termFormat ChineseTraditionalLanguage dateEstablished "建立日期") domainEnglishFormat.kif 18615-18615
(termFormat EnglishLanguage dateEstablished "date established") domainEnglishFormat.kif 18614-18614

antecedent
-------------------------


(=>
    (dateEstablished ?THING ?DATE)
    (exists (?DAY)
        (and
            (instance ?DAY ?DATE)
            (overlapsTemporally ?DAY
                (BeginFn
                    (WhenFn ?THING))))))
Mid-level-ontology.kif 1372-1377

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


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

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


(dateEstablished ASEANRegionalForum
    (YearFn 1994))
Government.kif 2808-2808 1994 Year东盟区域论坛 的成立 date
(dateEstablished AfricanCaribbeanAndPacificGroupOfStates
    (DayFn 6
        (MonthFn June
            (YearFn 1975))))
Government.kif 2691-2691 6 Day非洲加勒比和太平洋国家集团 的成立 date
(dateEstablished AfricanDevelopmentBank
    (DayFn 4
        (MonthFn August
            (YearFn 1963))))
Government.kif 2698-2698 4 Day非洲开发银行 的成立 date
(dateEstablished AgencyForTheFrenchSpeakingCommunity
    (DayFn 20
        (MonthFn March
            (YearFn 1970))))
Government.kif 2707-2707 20 Day法语社区的代理机构 的成立 date
(dateEstablished AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean
    (DayFn 14
        (MonthFn February
            (YearFn 1967))))
Government.kif 2714-2714 14 Day在拉丁美洲和加勒比地区禁止核武器的机构 的成立 date
(dateEstablished AndeanCommunityOfNations
    (DayFn 26
        (MonthFn May
            (YearFn 1969))))
Government.kif 2727-2727 26 Day安第斯国际社会 的成立 date
(dateEstablished AntarcticTreatyCouncil
    (DayFn 23
        (MonthFn June
            (YearFn 1961))))
Government.kif 2732-2732 23 Day南极条约理事会 的成立 date
(dateEstablished ArabBankForEconomicDevelopmentInAfrica
    (DayFn 18
        (MonthFn February
            (YearFn 1974))))
Government.kif 2743-2743 18 Day阿拉伯非洲经济发展银行 的成立 date
(dateEstablished ArabCooperationCouncil
    (DayFn 16
        (MonthFn February
            (YearFn 1989))))
Government.kif 2749-2749 16 Day阿拉伯合作理事会 的成立 date
(dateEstablished ArabFundForEconomicAndSocialDevelopment
    (DayFn 16
        (MonthFn May
            (YearFn 1968))))
Government.kif 2755-2755 16 Day阿拉伯经济和社会发展基金 的成立 date
(dateEstablished ArabLeague
    (DayFn 22
        (MonthFn March
            (YearFn 1945))))
Government.kif 2764-2764 22 Day阿拉伯联盟 的成立 date
(dateEstablished ArabMaghrebUnion
    (DayFn 17
        (MonthFn February
            (YearFn 1989))))
Government.kif 2773-2773 17 Day阿拉伯马格里布联盟 的成立 date
(dateEstablished ArabMonetaryFund
    (DayFn 27
        (MonthFn April
            (YearFn 1976))))
Government.kif 2782-2782 27 Day阿拉伯货币基金 的成立 date
(dateEstablished AsiaPacificEconomicCooperation
    (DayFn 7
        (MonthFn November
            (YearFn 1989))))
Government.kif 2788-2788 7 Day亚太经济合作 的成立 date
(dateEstablished AsianDevelopmentBank
    (DayFn 19
        (MonthFn December
            (YearFn 1966))))
Government.kif 2794-2794 19 Day亚洲开发银行 的成立 date
(dateEstablished AssociationOfSoutheastAsianNations
    (DayFn 8
        (MonthFn August
            (YearFn 1967))))
Government.kif 2800-2800 8 Day东南亚国家联盟 的成立 date
(dateEstablished AustraliaGroup
    (YearFn 1984))
Government.kif 2814-2814 1984 Year澳大利亚集团 的成立 date
(dateEstablished AustraliaNewZealandUnitedStatesSecurityTreaty
    (DayFn 1
        (MonthFn September
            (YearFn 1951))))
Government.kif 2820-2820 1 Day澳大利亚新西兰美国安全条约 的成立 date
(dateEstablished BankForInternationalSettlements
    (DayFn 20
        (MonthFn January
            (YearFn 1930))))
Government.kif 2826-2826 20 Day国际结算银行 的成立 date
(dateEstablished BeneluxEconomicUnion
    (DayFn 3
        (MonthFn February
            (YearFn 1958))))
Government.kif 2832-2832 3 Day比荷卢经济联盟 的成立 date
(dateEstablished BigSeven
    (YearFn 1975))
Government.kif 2840-2840 1975 Year大七 的成立 date
(dateEstablished BigSix
    (YearFn 1967))
Government.kif 2845-2845 1967 Year大六 的成立 date
(dateEstablished BlackSeaEconomicCooperationZone
    (DayFn 25
        (MonthFn June
            (YearFn 1992))))
Government.kif 2852-2852 25 Day黑海经济合作区 的成立 date
(dateEstablished CaribbeanCommunityAndCommonMarket
    (DayFn 4
        (MonthFn July
            (YearFn 1973))))
Government.kif 2859-2859 4 Day加勒比共同体和共同市场 的成立 date
(dateEstablished CaribbeanDevelopmentBank
    (DayFn 18
        (MonthFn October
            (YearFn 1969))))
Government.kif 2866-2866 18 Day加勒比开发银行 的成立 date

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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