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年八月十八日。") chinese_format.kif 2760-2763
(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 8494-8499
(domain DayFn 1 PositiveInteger) Merge.kif 8490-8490 domain DayFn, 1 and PositiveInteger
(domainSubclass DayFn 2 Month) Merge.kif 8491-8491 domainSubclass DayFn, 2 and Month
(instance DayFn BinaryFunction) Merge.kif 8488-8488 instance DayFn and BinaryFunction
(instance DayFn PartialValuedRelation) Merge.kif 8489-8489 instance DayFn and PartialValuedRelation
(instance DayFn TemporalRelation) Merge.kif 8487-8487 instance DayFn and TemporalRelation
(rangeSubclass DayFn Day) Merge.kif 8492-8492 rangeSubclass DayFn and Day

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


(format ChineseLanguage DayFn "%1 day ") chinese_format.kif 469-469
(format EnglishLanguage DayFn "the day %1") english_format.kif 475-475
(relatedInternalConcept Day DayFn) Merge.kif 9129-9129 relatedInternalConcept Day and DayFn
(termFormat ChineseLanguage DayFn "天") domainEnglishFormat.kif 18651-18651
(termFormat ChineseLanguage DayFn "日函数") chinese_format.kif 470-470
(termFormat ChineseTraditionalLanguage DayFn "天") domainEnglishFormat.kif 18650-18650
(termFormat EnglishLanguage DayFn "day") domainEnglishFormat.kif 18649-18649

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


(=>
    (and
        (commemoratesDate ?HOLIDAY
            (DayFn ?DAY
                (MonthFn ?MONTH
                    (YearFn ?YEAR))))
        (instance ?DATE ?HOLIDAY)
        (instance ?ANYO
            (YearFn ?YEAR)))
    (not
        (earlier ?DATE ?ANYO)))
Government.kif 598-603
(=>
    (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 605-611
(=>
    (and
        (equal ?WF
            (WeekBeforeFn
                (DayFn ?D
                    (MonthFn ?M
                        (YearFn ?Y)))))
        (equal ?WF
            (DayFn ?D2
                (MonthFn ?M
                    (YearFn ?Y)))))
    (equal ?D2
        (SubtractionFn ?D 7)))
Mid-level-ontology.kif 14278-14290
(=>
    (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 8624-8631
(=>
    (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 8633-8638
(=>
    (and
        (instance ?DAY1
            (DayFn ?NUMBER1 ?MONTH))
        (instance ?DAY2
            (DayFn ?NUMBER2 ?MONTH))
        (equal
            (SubtractionFn ?NUMBER2 ?NUMBER1) 1))
    (meetsTemporally ?DAY1 ?DAY2))
Merge.kif 8505-8510
(=>
    (equal
        (RelativeTimeFn
            (HourFn ?H1
                (DayFn ?D
                    (MonthFn ?M
                        (YearFn ?Y)))) CentralTimeZone)
        (HourFn ?H2
            (DayFn ?D
                (MonthFn ?M
                    (YearFn ?Y)))))
    (equal ?H2
        (AdditionFn ?H1 6)))
Merge.kif 16934-16946
(=>
    (equal
        (RelativeTimeFn
            (HourFn ?H1
                (DayFn ?D
                    (MonthFn ?M
                        (YearFn ?Y)))) EasternTimeZone)
        (HourFn ?H2
            (DayFn ?D
                (MonthFn ?M
                    (YearFn ?Y)))))
    (equal ?H2
        (AdditionFn ?H1 5)))
Merge.kif 16952-16964
(=>
    (equal
        (RelativeTimeFn
            (HourFn ?H1
                (DayFn ?D
                    (MonthFn ?M
                        (YearFn ?Y)))) MountainTimeZone)
        (HourFn ?H2
            (DayFn ?D
                (MonthFn ?M
                    (YearFn ?Y)))))
    (equal ?H2
        (AdditionFn ?H1 7)))
Merge.kif 16916-16928
(=>
    (equal
        (RelativeTimeFn
            (HourFn ?H1
                (DayFn ?D
                    (MonthFn ?M
                        (YearFn ?Y)))) PacificTimeZone)
        (HourFn ?H2
            (DayFn ?D
                (MonthFn ?M
                    (YearFn ?Y)))))
    (equal ?H2
        (AdditionFn ?H1 8)))
Merge.kif 16898-16910
(=>
    (instance ?DAY
        (DayFn ?NUMBER ?MONTH))
    (lessThanOrEqualTo ?NUMBER 31))
Merge.kif 8501-8503

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 605-611

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


(agreementAdoptionDate AntarcticTreaty
    (DayFn 1
        (MonthFn December
            (YearFn 1959))))
Geography.kif 3114-3114 agreementAdoptionDate AntarcticTreaty and DayFn 1 and MonthFn December and YearFn 1959
(agreementEffectiveDate AntarcticTreaty
    (DayFn 23
        (MonthFn June
            (YearFn 1961))))
Geography.kif 3115-3115 agreementEffectiveDate AntarcticTreaty and DayFn 23 and MonthFn June and YearFn 1961
(dateDissolved CoordinatingCommitteeOnExportControls
    (DayFn 31
        (MonthFn March
            (YearFn 1994))))
Government.kif 2974-2974 dateDissolved CoordinatingCommitteeOnExportControls and DayFn 31 and MonthFn March and YearFn 1994
(dateDissolved CouncilForMutualEconomicAssistance
    (DayFn 1
        (MonthFn January
            (YearFn 1991))))
Government.kif 2989-2989 dateDissolved CouncilForMutualEconomicAssistance and DayFn 1 and MonthFn January and YearFn 1991
(dateDissolved UnitedNationsPreventiveDeploymentForce
    (DayFn 25
        (MonthFn March
            (YearFn 1999))))
Government.kif 4125-4125 dateDissolved UnitedNationsPreventiveDeploymentForce and DayFn 25 and MonthFn March and YearFn 1999
(dateDissolved WarsawPact
    (DayFn 1
        (MonthFn July
            (YearFn 1991))))
Government.kif 4265-4265 dateDissolved WarsawPact and DayFn 1 and MonthFn July and YearFn 1991
(dateEstablished AfricanCaribbeanAndPacificGroupOfStates
    (DayFn 6
        (MonthFn June
            (YearFn 1975))))
Government.kif 2735-2735 dateEstablished AfricanCaribbeanAndPacificGroupOfStates and DayFn 6 and MonthFn June and YearFn 1975
(dateEstablished AfricanDevelopmentBank
    (DayFn 4
        (MonthFn August
            (YearFn 1963))))
Government.kif 2742-2742 dateEstablished AfricanDevelopmentBank and DayFn 4 and MonthFn August and YearFn 1963
(dateEstablished AgencyForTheFrenchSpeakingCommunity
    (DayFn 20
        (MonthFn March
            (YearFn 1970))))
Government.kif 2751-2751 dateEstablished AgencyForTheFrenchSpeakingCommunity and DayFn 20 and MonthFn March and YearFn 1970
(dateEstablished AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean
    (DayFn 14
        (MonthFn February
            (YearFn 1967))))
Government.kif 2758-2758 dateEstablished AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean and DayFn 14 and MonthFn February and YearFn 1967
(dateEstablished AndeanCommunityOfNations
    (DayFn 26
        (MonthFn May
            (YearFn 1969))))
Government.kif 2776-2776 dateEstablished AndeanCommunityOfNations and DayFn 26 and MonthFn May and YearFn 1969
(dateEstablished AntarcticTreatyCouncil
    (DayFn 23
        (MonthFn June
            (YearFn 1961))))
Government.kif 2781-2781 dateEstablished AntarcticTreatyCouncil and DayFn 23 and MonthFn June and YearFn 1961
(dateEstablished ArabBankForEconomicDevelopmentInAfrica
    (DayFn 18
        (MonthFn February
            (YearFn 1974))))
Government.kif 2792-2792 dateEstablished ArabBankForEconomicDevelopmentInAfrica and DayFn 18 and MonthFn February and YearFn 1974
(dateEstablished ArabCooperationCouncil
    (DayFn 16
        (MonthFn February
            (YearFn 1989))))
Government.kif 2798-2798 dateEstablished ArabCooperationCouncil and DayFn 16 and MonthFn February and YearFn 1989
(dateEstablished ArabFundForEconomicAndSocialDevelopment
    (DayFn 16
        (MonthFn May
            (YearFn 1968))))
Government.kif 2804-2804 dateEstablished ArabFundForEconomicAndSocialDevelopment and DayFn 16 and MonthFn May and YearFn 1968
(dateEstablished ArabLeague
    (DayFn 22
        (MonthFn March
            (YearFn 1945))))
Government.kif 2813-2813 dateEstablished ArabLeague and DayFn 22 and MonthFn March and YearFn 1945
(dateEstablished ArabMaghrebUnion
    (DayFn 17
        (MonthFn February
            (YearFn 1989))))
Government.kif 2822-2822 dateEstablished ArabMaghrebUnion and DayFn 17 and MonthFn February and YearFn 1989
(dateEstablished ArabMonetaryFund
    (DayFn 27
        (MonthFn April
            (YearFn 1976))))
Government.kif 2831-2831 dateEstablished ArabMonetaryFund and DayFn 27 and MonthFn April and YearFn 1976
(dateEstablished AsiaPacificEconomicCooperation
    (DayFn 7
        (MonthFn November
            (YearFn 1989))))
Government.kif 2837-2837 dateEstablished AsiaPacificEconomicCooperation and DayFn 7 and MonthFn November and YearFn 1989
(dateEstablished AsianDevelopmentBank
    (DayFn 19
        (MonthFn December
            (YearFn 1966))))
Government.kif 2843-2843 dateEstablished AsianDevelopmentBank and DayFn 19 and MonthFn December and YearFn 1966
(dateEstablished AssociationOfSoutheastAsianNations
    (DayFn 8
        (MonthFn August
            (YearFn 1967))))
Government.kif 2849-2849 dateEstablished AssociationOfSoutheastAsianNations and DayFn 8 and MonthFn August and YearFn 1967
(dateEstablished AustraliaNewZealandUnitedStatesSecurityTreaty
    (DayFn 1
        (MonthFn September
            (YearFn 1951))))
Government.kif 2869-2869 dateEstablished AustraliaNewZealandUnitedStatesSecurityTreaty and DayFn 1 and MonthFn September and YearFn 1951
(dateEstablished BankForInternationalSettlements
    (DayFn 20
        (MonthFn January
            (YearFn 1930))))
Government.kif 2875-2875 dateEstablished BankForInternationalSettlements and DayFn 20 and MonthFn January and YearFn 1930
(dateEstablished BeneluxEconomicUnion
    (DayFn 3
        (MonthFn February
            (YearFn 1958))))
Government.kif 2881-2881 dateEstablished BeneluxEconomicUnion and DayFn 3 and MonthFn February and YearFn 1958
(dateEstablished BlackSeaEconomicCooperationZone
    (DayFn 25
        (MonthFn June
            (YearFn 1992))))
Government.kif 2901-2901 dateEstablished BlackSeaEconomicCooperationZone and DayFn 25 and MonthFn June and YearFn 1992

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