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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MonthFn
MonthFn

appearance as argument number 1
-------------------------


(documentation MonthFn ChineseLanguage "这是一个 BinaryFunction,它把 Month 的子类别与 Year 的子类别和该 Year 对应 Month 的类别联系起来。例如:(MonthFn August (YearFn 1912)) 是包含第八个 Month 的类别,即是1912 Year 的八月。另一个例子是(MonthFn August Year)等于 August,这是所有八月的类别。注:这个函数得出一个 Class 作为它的值,原因是和它相关的函数,即 MonthFnDayFnHourFnMinuteFnSecondFn 等,是用来得出特定的 TimeInterval 和重复发生的时段,而唯一的做法是把这些函数的领域和范围当成类别而不是个别的实例。") chinese_format.kif 2754-2759
(documentation MonthFn EnglishLanguage "A BinaryFunction that maps a subclass of Month and a subclass of Year to the class containing the Month corresponding to that Year. For example (MonthFn August (YearFn 1912)) is the class containing the eighth Month, i.e. August, of the Year 1912. For another example, (MonthFn August Year) is equal to August, the class of all months of August. Note that this function returns a Class as a value. The reason for this is that the related functions, viz. DayFn, HourFn, MinuteFn, and SecondFn, are used to generate both specific TimeIntervals and recurrent intervals, and the only way to do this is to make the domains and ranges of these functions classes rather than individuals.") Merge.kif 8061-8069
(domainSubclass MonthFn 1 Month) Merge.kif 8057-8057 月函数 的 1 数量 是 subclass
(domainSubclass MonthFn 2 Year) Merge.kif 8058-8058 月函数 的 2 数量 是 subclass
(instance MonthFn BinaryFunction) Merge.kif 8055-8055 月函数二元函数instance
(instance MonthFn PartialValuedRelation) Merge.kif 8056-8056 月函数部分值关系instance
(instance MonthFn TemporalRelation) Merge.kif 8054-8054 月函数时间关系instance
(rangeSubclass MonthFn Month) Merge.kif 8059-8059 月函数 的所得值 是 subclass

appearance as argument number 2
-------------------------


(format ChineseLanguage MonthFn "%1 month") chinese_format.kif 467-467
(format EnglishLanguage MonthFn "the month %1") english_format.kif 476-476
(relatedInternalConcept Month MonthFn) Merge.kif 8514-8514 月函数 是 内部相关
(termFormat ChineseLanguage MonthFn "月") domainEnglishFormat.kif 38479-38479
(termFormat ChineseLanguage MonthFn "月函数") chinese_format.kif 468-468
(termFormat ChineseTraditionalLanguage MonthFn "月") domainEnglishFormat.kif 38478-38478
(termFormat EnglishLanguage MonthFn "month") domainEnglishFormat.kif 38477-38477

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


(=>
    (and
        (commemoratesDate ?HOLIDAY
            (DayFn ?DAY
                (MonthFn ?MONTH
                    (YearFn ?YEAR))))
        (instance ?DATE ?HOLIDAY)
        (instance ?ANYO
            (YearFn ?YEAR)))
    (not
        (earlier ?DATE ?ANYO)))
Government.kif 599-604
(=>
    (and
        (commemoratesDate ?HOLIDAY
            (DayFn ?DAY
                (MonthFn ?MONTH
                    (YearFn ?YEAR))))
        (instance ?DATE ?HOLIDAY)
        (subclass ?HOLIDAY FixedHoliday)
        (lessThanOrEqualTo ?YEAR ?LATER-YEAR))
    (instance ?DATE
        (DayFn ?DAY
            (MonthFn ?MONTH
                (YearFn ?LATER-YEAR)))))
Government.kif 606-612
(=>
    (and
        (instance ?D1
            (DayFn ?N1
                (MonthFn ?M
                    (YearFn ?Y))))
        (instance ?D2
            (DayFn ?N2
                (MonthFn ?M
                    (YearFn ?Y))))
        (equal ?T1
            (BeginFn ?D1))
        (equal ?T2
            (BeginFn ?D2))
        (greaterThan ?N2 ?N1))
    (before ?T1 ?T2))
Merge.kif 8208-8215
(=>
    (and
        (instance ?D1
            (DayFn ?N1
                (MonthFn ?M
                    (YearFn ?Y))))
        (instance ?D2
            (DayFn ?N2
                (MonthFn ?M
                    (YearFn ?Y))))
        (greaterThan ?N2 ?N1))
    (earlier ?D1 ?D2))
Merge.kif 8217-8222
(=>
    (and
        (instance ?M1
            (MonthFn ?N1
                (YearFn ?Y)))
        (instance ?M2
            (MonthFn ?N2
                (YearFn ?Y)))
        (equal ?T1
            (BeginFn ?M1))
        (equal ?T2
            (BeginFn ?M2))
        (successorClass ?N1 ?N2))
    (before ?T1 ?T2))
Merge.kif 8192-8199
(=>
    (and
        (instance ?M1
            (MonthFn ?N1
                (YearFn ?Y)))
        (instance ?M2
            (MonthFn ?N2
                (YearFn ?Y)))
        (successorClass ?N1 ?N2))
    (earlier ?M1 ?M2))
Merge.kif 8201-8206
(=>
    (and
        (instance ?MONTH
            (MonthFn February ?YEAR))
        (instance ?Y ?YEAR)
        (instance ?Y LeapYear))
    (duration ?MONTH
        (MeasureFn 29 DayDuration)))
Merge.kif 8543-8548
(=>
    (and
        (instance ?MONTH
            (MonthFn February ?YEAR))
        (instance ?Y ?YEAR)
        (not
            (instance ?Y LeapYear)))
    (duration ?MONTH
        (MeasureFn 28 DayDuration)))
Merge.kif 8536-8541
(=>
    (and
        (instance ?MONTH1
            (MonthFn April ?YEAR))
        (instance ?MONTH2
            (MonthFn May ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 8578-8582
(=>
    (and
        (instance ?MONTH1
            (MonthFn August ?YEAR))
        (instance ?MONTH2
            (MonthFn September ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 8634-8638
(=>
    (and
        (instance ?MONTH1
            (MonthFn December ?YEAR1))
        (instance ?MONTH2
            (MonthFn January ?YEAR2))
        (instance ?Y1 ?YEAR1)
        (instance ?Y2 ?YEAR2)
        (meetsTemporally ?Y1 ?Y2))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 8691-8698
(=>
    (and
        (instance ?MONTH1
            (MonthFn February ?YEAR))
        (instance ?MONTH2
            (MonthFn March ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 8550-8554
(=>
    (and
        (instance ?MONTH1
            (MonthFn January ?YEAR))
        (instance ?MONTH2
            (MonthFn February ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 8526-8530
(=>
    (and
        (instance ?MONTH1
            (MonthFn July ?YEAR))
        (instance ?MONTH2
            (MonthFn August ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 8620-8624
(=>
    (and
        (instance ?MONTH1
            (MonthFn June ?YEAR))
        (instance ?MONTH2
            (MonthFn July ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 8606-8610
(=>
    (and
        (instance ?MONTH1
            (MonthFn March ?YEAR))
        (instance ?MONTH2
            (MonthFn April ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 8564-8568
(=>
    (and
        (instance ?MONTH1
            (MonthFn May ?YEAR))
        (instance ?MONTH2
            (MonthFn June ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 8592-8596
(=>
    (and
        (instance ?MONTH1
            (MonthFn November ?YEAR))
        (instance ?MONTH2
            (MonthFn December ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 8677-8681
(=>
    (and
        (instance ?MONTH1
            (MonthFn October ?YEAR))
        (instance ?MONTH2
            (MonthFn November ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 8663-8667
(=>
    (and
        (instance ?MONTH1
            (MonthFn September ?YEAR))
        (instance ?MONTH2
            (MonthFn October ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 8649-8653

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


(=>
    (and
        (commemoratesDate ?HOLIDAY
            (DayFn ?DAY
                (MonthFn ?MONTH
                    (YearFn ?YEAR))))
        (instance ?DATE ?HOLIDAY)
        (subclass ?HOLIDAY FixedHoliday)
        (lessThanOrEqualTo ?YEAR ?LATER-YEAR))
    (instance ?DATE
        (DayFn ?DAY
            (MonthFn ?MONTH
                (YearFn ?LATER-YEAR)))))
Government.kif 606-612

statement
-------------------------


(agreementAdoptionDate AntarcticTreaty
    (DayFn 1
        (MonthFn December
            (YearFn 1959))))
Geography.kif 3051-3051 1 Day南极条约agreement 采用日期
(agreementEffectiveDate AntarcticTreaty
    (DayFn 23
        (MonthFn June
            (YearFn 1961))))
Geography.kif 3052-3052 23 Day南极条约agreement 生效日期
(dateDissolved CoordinatingCommitteeOnExportControls
    (DayFn 31
        (MonthFn March
            (YearFn 1994))))
Government.kif 2925-2925 31 Day出口管制协调委员会 的闭幕 date
(dateDissolved CouncilForMutualEconomicAssistance
    (DayFn 1
        (MonthFn January
            (YearFn 1991))))
Government.kif 2940-2940 1 Day共同经济援助理事会 的闭幕 date
(dateDissolved UnitedNationsPreventiveDeploymentForce
    (DayFn 25
        (MonthFn March
            (YearFn 1999))))
Government.kif 4076-4076 25 Day联合国预防性部署部队 的闭幕 date
(dateDissolved WarsawPact
    (DayFn 1
        (MonthFn July
            (YearFn 1991))))
Government.kif 4216-4216 1 Day华沙协议 的闭幕 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 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 BlackSeaEconomicCooperationZone
    (DayFn 25
        (MonthFn June
            (YearFn 1992))))
Government.kif 2852-2852 25 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