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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DayFn

Sigma KEE - DayFn
DayFn

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


(documentation DayFn ChineseLanguage "这是一个 BinaryFunction, 它把一个 PositiveRealNumber 与一个 Month 的子类别,分配到每个 Month 内对应该 PositiveRealNumberDay。例如: (DayFn 16 August) 是八月份所有第16日的 Class,又例如: (DayFn 9 Month)会得出任何一个月 的第九日。再一个例子:(DayFn 18(MonthFn August (YearFn 1912)))表示1912年八月十八日。") Merge.kif 8717-8720
(documentation DayFn EnglishLanguage "A BinaryFunction that assigns a PositiveRealNumber and a subclass of Months to the Days within each Month corresponding to that PositiveRealNumber. For example, (DayFn 16 August) is the Class of all sixteenth days of August. For another example, (DayFn 9 Month) would return the class of all ninth days of any month. For still another example, (DayFn 18 (MonthFn August (YearFn 1912))) denotes the 18th day of August 1912.") Merge.kif 8711-8716
(domain DayFn 1 PositiveInteger) Merge.kif 8708-8708 日函数 的 1 数量 是 正整数instance
(domainSubclass DayFn 2 Month) Merge.kif 8709-8709 日函数 的 2 数量 是 subclass
(instance DayFn BinaryFunction) Merge.kif 8706-8706 日函数二元函数instance
(instance DayFn PartialValuedRelation) Merge.kif 8707-8707 日函数部分值关系instance
(instance DayFn TemporalRelation) Merge.kif 8705-8705 日函数时间关系instance
(rangeSubclass DayFn Day) Merge.kif 8710-8710 日函数 的所得值 是 subclass

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


(format ChineseLanguage DayFn "%1 day ") chinese_format.kif 469-469
(format EnglishLanguage DayFn "the day %1") english_format.kif 282-282
(relatedInternalConcept Day DayFn) Merge.kif 9255-9255 日函数 是 内部相关
(termFormat ChineseLanguage DayFn "日函数") chinese_format.kif 470-470 termFormat ChineseLanguage, 日函数 and "日函数"
(termFormat EnglishLanguage DayFn "day") domainEnglishFormat.kif 3531-3531 termFormat EnglishLanguage, 日函数 and "day"

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


(=>
    (and
        (commemoratesDate ?HOLIDAY
            (DayFn ?DAY
                (MonthFn ?MONTH
                    (YearFn ?YEAR))))
        (instance ?DATE ?HOLIDAY)
        (instance ?ANYO
            (YearFn ?YEAR)))
    (not
        (earlier ?DATE ?ANYO)))
Government.kif 606-611
(=>
    (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 613-619
(=>
    (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 8859-8866
(=>
    (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 8868-8873
(=>
    (and
        (instance ?DAY1
            (DayFn ?NUMBER1 ?MONTH))
        (instance ?DAY2
            (DayFn ?NUMBER2 ?MONTH))
        (equal
            (SubtractionFn ?NUMBER2 ?NUMBER1) 1))
    (meetsTemporally ?DAY1 ?DAY2))
Merge.kif 8726-8731
(=>
    (instance ?DAY
        (DayFn ?NUMBER ?MONTH))
    (lessThanOrEqualTo ?NUMBER 31))
Merge.kif 8722-8724

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 613-619

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


(agreementAdoptionDate AntarcticTreaty
    (DayFn 1
        (MonthFn December
            (YearFn 1959))))
Geography.kif 3038-3038 agreementAdoptionDate AntarcticTreaty and 1 day
(agreementEffectiveDate AntarcticTreaty
    (DayFn 23
        (MonthFn June
            (YearFn 1961))))
Geography.kif 3039-3039 agreementEffectiveDate AntarcticTreaty and 23 day
(dateDissolved CoordinatingCommitteeOnExportControls
    (DayFn 31
        (MonthFn March
            (YearFn 1994))))
Government.kif 2931-2931 dateDissolved CoordinatingCommitteeOnExportControls and 31 day
(dateDissolved CouncilForMutualEconomicAssistance
    (DayFn 1
        (MonthFn January
            (YearFn 1991))))
Government.kif 2946-2946 dateDissolved CouncilForMutualEconomicAssistance and 1 day
(dateDissolved UnitedNationsPreventiveDeploymentForce
    (DayFn 25
        (MonthFn March
            (YearFn 1999))))
Government.kif 4082-4082 dateDissolved UnitedNationsPreventiveDeploymentForce and 25 day
(dateDissolved WarsawPact
    (DayFn 1
        (MonthFn July
            (YearFn 1991))))
Government.kif 4222-4222 dateDissolved WarsawPact and 1 day
(dateEstablished AfricanCaribbeanAndPacificGroupOfStates
    (DayFn 6
        (MonthFn June
            (YearFn 1975))))
Government.kif 2697-2697 dateEstablished AfricanCaribbeanAndPacificGroupOfStates and 6 day
(dateEstablished AfricanDevelopmentBank
    (DayFn 4
        (MonthFn August
            (YearFn 1963))))
Government.kif 2704-2704 dateEstablished AfricanDevelopmentBank and 4 day
(dateEstablished AgencyForTheFrenchSpeakingCommunity
    (DayFn 20
        (MonthFn March
            (YearFn 1970))))
Government.kif 2713-2713 dateEstablished AgencyForTheFrenchSpeakingCommunity and 20 day
(dateEstablished AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean
    (DayFn 14
        (MonthFn February
            (YearFn 1967))))
Government.kif 2720-2720 dateEstablished AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean and 14 day
(dateEstablished AndeanCommunityOfNations
    (DayFn 26
        (MonthFn May
            (YearFn 1969))))
Government.kif 2733-2733 dateEstablished AndeanCommunityOfNations and 26 day
(dateEstablished AntarcticTreatyCouncil
    (DayFn 23
        (MonthFn June
            (YearFn 1961))))
Government.kif 2738-2738 dateEstablished AntarcticTreatyCouncil and 23 day
(dateEstablished ArabBankForEconomicDevelopmentInAfrica
    (DayFn 18
        (MonthFn February
            (YearFn 1974))))
Government.kif 2749-2749 dateEstablished ArabBankForEconomicDevelopmentInAfrica and 18 day
(dateEstablished ArabCooperationCouncil
    (DayFn 16
        (MonthFn February
            (YearFn 1989))))
Government.kif 2755-2755 dateEstablished ArabCooperationCouncil and 16 day
(dateEstablished ArabFundForEconomicAndSocialDevelopment
    (DayFn 16
        (MonthFn May
            (YearFn 1968))))
Government.kif 2761-2761 dateEstablished ArabFundForEconomicAndSocialDevelopment and 16 day
(dateEstablished ArabLeague
    (DayFn 22
        (MonthFn March
            (YearFn 1945))))
Government.kif 2770-2770 dateEstablished ArabLeague and 22 day
(dateEstablished ArabMaghrebUnion
    (DayFn 17
        (MonthFn February
            (YearFn 1989))))
Government.kif 2779-2779 dateEstablished ArabMaghrebUnion and 17 day
(dateEstablished ArabMonetaryFund
    (DayFn 27
        (MonthFn April
            (YearFn 1976))))
Government.kif 2788-2788 dateEstablished ArabMonetaryFund and 27 day
(dateEstablished AsiaPacificEconomicCooperation
    (DayFn 7
        (MonthFn November
            (YearFn 1989))))
Government.kif 2794-2794 dateEstablished AsiaPacificEconomicCooperation and 7 day
(dateEstablished AsianDevelopmentBank
    (DayFn 19
        (MonthFn December
            (YearFn 1966))))
Government.kif 2800-2800 dateEstablished AsianDevelopmentBank and 19 day
(dateEstablished AssociationOfSoutheastAsianNations
    (DayFn 8
        (MonthFn August
            (YearFn 1967))))
Government.kif 2806-2806 dateEstablished AssociationOfSoutheastAsianNations and 8 day
(dateEstablished AustraliaNewZealandUnitedStatesSecurityTreaty
    (DayFn 1
        (MonthFn September
            (YearFn 1951))))
Government.kif 2826-2826 dateEstablished AustraliaNewZealandUnitedStatesSecurityTreaty and 1 day
(dateEstablished BankForInternationalSettlements
    (DayFn 20
        (MonthFn January
            (YearFn 1930))))
Government.kif 2832-2832 dateEstablished BankForInternationalSettlements and 20 day
(dateEstablished BeneluxEconomicUnion
    (DayFn 3
        (MonthFn February
            (YearFn 1958))))
Government.kif 2838-2838 dateEstablished BeneluxEconomicUnion and 3 day
(dateEstablished BlackSeaEconomicCooperationZone
    (DayFn 25
        (MonthFn June
            (YearFn 1992))))
Government.kif 2858-2858 dateEstablished BlackSeaEconomicCooperationZone and 25 day

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners