dateEstablished - Sigma Knowledge base Browser

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	domain dateEstablished, 1 and Physical
(domainSubclass dateEstablished 2 TimePosition)	Mid-level-ontology.kif 1366-1366	domainSubclass dateEstablished, 2 and TimePosition
(instance dateEstablished BinaryPredicate)	Mid-level-ontology.kif 1364-1364	instance dateEstablished 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 18541-18541
(termFormat ChineseTraditionalLanguage dateEstablished "建立日期")	domainEnglishFormat.kif 18540-18540
(termFormat EnglishLanguage dateEstablished "date established")	domainEnglishFormat.kif 18539-18539

antecedent

(=>
    (dateEstablished ?THING ?DATE)
    (exists (?DAY)
        (and
            (instance ?DAY ?DATE)
            (overlapsTemporally ?DAY
                (BeginFn
                    (WhenFn ?THING))))))

Mid-level-ontology.kif 1372-1377

dateEstablished Physical and TimePosition
TimeInterval instance TimeInterval and TimePosition overlapsTemporally TimeInterval and BeginFn WhenFn Physical

consequent

(=>
    (yearOfFounding ?O ?Y)
    (dateEstablished ?O
        (YearFn ?Y)))

Mid-level-ontology.kif 1351-1354

yearOfFounding Organization and Integer
dateEstablished Organization and YearFn Integer

appearance as argument number 0

(dateEstablished ASEANRegionalForum (YearFn 1994))	Government.kif 2808-2808	dateEstablished ASEANRegionalForum and YearFn 1994
(dateEstablished AfricanCaribbeanAndPacificGroupOfStates (DayFn 6 (MonthFn June (YearFn 1975))))	Government.kif 2691-2691	dateEstablished AfricanCaribbeanAndPacificGroupOfStates and DayFn 6 and MonthFn June and YearFn 1975
(dateEstablished AfricanDevelopmentBank (DayFn 4 (MonthFn August (YearFn 1963))))	Government.kif 2698-2698	dateEstablished AfricanDevelopmentBank and DayFn 4 and MonthFn August and YearFn 1963
(dateEstablished AgencyForTheFrenchSpeakingCommunity (DayFn 20 (MonthFn March (YearFn 1970))))	Government.kif 2707-2707	dateEstablished AgencyForTheFrenchSpeakingCommunity and DayFn 20 and MonthFn March and YearFn 1970
(dateEstablished AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean (DayFn 14 (MonthFn February (YearFn 1967))))	Government.kif 2714-2714	dateEstablished AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean and DayFn 14 and MonthFn February and YearFn 1967
(dateEstablished AndeanCommunityOfNations (DayFn 26 (MonthFn May (YearFn 1969))))	Government.kif 2727-2727	dateEstablished AndeanCommunityOfNations and DayFn 26 and MonthFn May and YearFn 1969
(dateEstablished AntarcticTreatyCouncil (DayFn 23 (MonthFn June (YearFn 1961))))	Government.kif 2732-2732	dateEstablished AntarcticTreatyCouncil and DayFn 23 and MonthFn June and YearFn 1961
(dateEstablished ArabBankForEconomicDevelopmentInAfrica (DayFn 18 (MonthFn February (YearFn 1974))))	Government.kif 2743-2743	dateEstablished ArabBankForEconomicDevelopmentInAfrica and DayFn 18 and MonthFn February and YearFn 1974
(dateEstablished ArabCooperationCouncil (DayFn 16 (MonthFn February (YearFn 1989))))	Government.kif 2749-2749	dateEstablished ArabCooperationCouncil and DayFn 16 and MonthFn February and YearFn 1989
(dateEstablished ArabFundForEconomicAndSocialDevelopment (DayFn 16 (MonthFn May (YearFn 1968))))	Government.kif 2755-2755	dateEstablished ArabFundForEconomicAndSocialDevelopment and DayFn 16 and MonthFn May and YearFn 1968
(dateEstablished ArabLeague (DayFn 22 (MonthFn March (YearFn 1945))))	Government.kif 2764-2764	dateEstablished ArabLeague and DayFn 22 and MonthFn March and YearFn 1945
(dateEstablished ArabMaghrebUnion (DayFn 17 (MonthFn February (YearFn 1989))))	Government.kif 2773-2773	dateEstablished ArabMaghrebUnion and DayFn 17 and MonthFn February and YearFn 1989
(dateEstablished ArabMonetaryFund (DayFn 27 (MonthFn April (YearFn 1976))))	Government.kif 2782-2782	dateEstablished ArabMonetaryFund and DayFn 27 and MonthFn April and YearFn 1976
(dateEstablished AsiaPacificEconomicCooperation (DayFn 7 (MonthFn November (YearFn 1989))))	Government.kif 2788-2788	dateEstablished AsiaPacificEconomicCooperation and DayFn 7 and MonthFn November and YearFn 1989
(dateEstablished AsianDevelopmentBank (DayFn 19 (MonthFn December (YearFn 1966))))	Government.kif 2794-2794	dateEstablished AsianDevelopmentBank and DayFn 19 and MonthFn December and YearFn 1966
(dateEstablished AssociationOfSoutheastAsianNations (DayFn 8 (MonthFn August (YearFn 1967))))	Government.kif 2800-2800	dateEstablished AssociationOfSoutheastAsianNations and DayFn 8 and MonthFn August and YearFn 1967
(dateEstablished AustraliaGroup (YearFn 1984))	Government.kif 2814-2814	dateEstablished AustraliaGroup and YearFn 1984
(dateEstablished AustraliaNewZealandUnitedStatesSecurityTreaty (DayFn 1 (MonthFn September (YearFn 1951))))	Government.kif 2820-2820	dateEstablished AustraliaNewZealandUnitedStatesSecurityTreaty and DayFn 1 and MonthFn September and YearFn 1951
(dateEstablished BankForInternationalSettlements (DayFn 20 (MonthFn January (YearFn 1930))))	Government.kif 2826-2826	dateEstablished BankForInternationalSettlements and DayFn 20 and MonthFn January and YearFn 1930
(dateEstablished BeneluxEconomicUnion (DayFn 3 (MonthFn February (YearFn 1958))))	Government.kif 2832-2832	dateEstablished BeneluxEconomicUnion and DayFn 3 and MonthFn February and YearFn 1958
(dateEstablished BigSeven (YearFn 1975))	Government.kif 2840-2840	dateEstablished BigSeven and YearFn 1975
(dateEstablished BigSix (YearFn 1967))	Government.kif 2845-2845	dateEstablished BigSix and YearFn 1967
(dateEstablished BlackSeaEconomicCooperationZone (DayFn 25 (MonthFn June (YearFn 1992))))	Government.kif 2852-2852	dateEstablished BlackSeaEconomicCooperationZone and DayFn 25 and MonthFn June and YearFn 1992
(dateEstablished CaribbeanCommunityAndCommonMarket (DayFn 4 (MonthFn July (YearFn 1973))))	Government.kif 2859-2859	dateEstablished CaribbeanCommunityAndCommonMarket and DayFn 4 and MonthFn July and YearFn 1973
(dateEstablished CaribbeanDevelopmentBank (DayFn 18 (MonthFn October (YearFn 1969))))	Government.kif 2866-2866	dateEstablished CaribbeanDevelopmentBank and DayFn 18 and MonthFn October and YearFn 1969

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

KB Term:			Term intersection

English Word: