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 内对应该 PositiveRealNumber 的 Day。例如： (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 8628-8633
(documentation DayFn JapaneseLanguage "BinaryFunction は、PositiveRealNumber と Month のサブクラスを、その PositiveRealNumber に対応する各 Month 内の Day に割り当てる。例えば、 (DayFn 16 August) は８月のすべての１６日間の Class である。別の例として、(DayFn 9 Month) は、任意の月のすべての９日間のクラスを返す。さらに別の例については、 (DayFn 18(MonthFn August (YearFn 1912))) は１９１２年８月１８日を示す。") japanese_format.kif 1488-1492
(domain DayFn 1 PositiveInteger) Merge.kif 8624-8624
(domainSubclass DayFn 2 Month) Merge.kif 8625-8625
(instance DayFn BinaryFunction) Merge.kif 8622-8622
(instance DayFn PartialValuedRelation) Merge.kif 8623-8623
(instance DayFn TemporalRelation) Merge.kif 8621-8621
(rangeSubclass DayFn Day) Merge.kif 8626-8626

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
(format FrenchLanguage DayFn "le jour %1") french_format.kif 271-271
(format ItalianLanguage DayFn "il giorno %1") relations-it.txt 65-65
(format JapaneseLanguage DayFn "%1 day 目") japanese_format.kif 2061-2061
(format PortugueseLanguage DayFn "o dia %1") portuguese_format.kif 223-223
(format cb DayFn "ang adlaw %1") relations-cb.txt 99-99
(format cz DayFn "%1 of %2") relations-cz.txt 277-277
(format de DayFn "der tag %1") relations-de.txt 612-612
(format hi DayFn "dina %1 hai") relations-hindi.txt 106-106
(format ro DayFn "day%t{ziua} %1") relations-ro.kif 292-292
(format sv DayFn "dagen %1") relations-sv.txt 298-298
(format tg DayFn "ang araw %1") relations-tg.txt 146-146
(relatedInternalConcept Day DayFn) Merge.kif 9267-9267
(termFormat ChineseLanguage DayFn "天") domainEnglishFormat.kif 18660-18660
(termFormat ChineseLanguage DayFn "日函数") chinese_format.kif 470-470
(termFormat ChineseTraditionalLanguage DayFn "天") domainEnglishFormat.kif 18659-18659
(termFormat EnglishLanguage DayFn "day") domainEnglishFormat.kif 18658-18658
(termFormat tg DayFn "tungkulin araw") relations-tg.txt 147-147

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


(=>
    (and
        (birthdate ?A ?DAY)
        (instance ?DAY
            (DayFn ?D
                (MonthFn ?M
                    (YearFn ?Y)))))
    (exists (?CLASS ?FUTURE)
        (and
            (birthday ?A ?CLASS)
            (subclass ?CLASS Day)
            (instance ?FUTURE Integer)
            (equal ?CLASS
                (DayFn ?D
                    (MonthFn ?M
                        (YearFn ?FUTURE))))
            (greaterThan ?FUTURE ?Y))))		 Mid-level-ontology.kif 24293-24303
(=>
    (and
        (commemoratesDate ?HOLIDAY
            (DayFn ?DAY
                (MonthFn ?MONTH
                    (YearFn ?YEAR))))
        (instance ?DATE ?HOLIDAY)
        (instance ?ANYO
            (YearFn ?YEAR)))
    (not
        (earlier ?DATE ?ANYO)))		 Government.kif 576-581
(=>
    (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 583-589
(=>
    (and
        (holdsDuring ?T
            (attribute ?F Menopausal))
        (birthdate ?F ?B)
        (instance ?B
            (DayFn ?D
                (MonthFn ?M
                    (YearFn ?Y))))
        (equal ?A1
            (AdditionFn 49 ?Y))
        (equal ?A2
            (AdditionFn 52 ?Y))
        (equal ?START
            (BeginFn ?T)))
    (modalAttribute
        (and
            (greaterThan ?START ?A1)
            (greaterThan ?A2 ?START)) Likely))		 Mid-level-ontology.kif 23973-23989
(=>
    (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 8758-8765
(=>
    (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 8767-8772
(=>
    (and
        (instance ?D2
            (DayFn ?N2
                (MonthFn ?M
                    (YearFn ?Y))))
        (temporalPart ?D1
            (WeekBeforeFn ?D2))
        (temporalPart ?D2
            (WeekAfterFn ?D1)))
    (exists (?N1)
        (and
            (instance ?D1
                (DayFn ?N1
                    (MonthFn ?M
                        (YearFn ?Y))))
            (equal ?N1
                (SubtractionFn ?N2 7)))))		 Mid-level-ontology.kif 14864-14873
(=>
    (and
        (instance ?DAY1
            (DayFn ?NUMBER1 ?MONTH))
        (instance ?DAY2
            (DayFn ?NUMBER2 ?MONTH))
        (equal
            (SubtractionFn ?NUMBER2 ?NUMBER1) 1))
    (meetsTemporally ?DAY1 ?DAY2))		 Merge.kif 8639-8644
(=>
    (and
        (instance ?MIT BarMitzvah)
        (patient ?MIT ?X)
        (instance ?X Boy)
        (member ?X ?GROUP)
        (instance ?GROUP Judaism)
        (birthdate ?X ?DAY)
        (instance ?DAY
            (DayFn ?D
                (MonthFn ?M
                    (YearFn ?Y)))))
    (exists (?Y13 ?BD13)
        (and
            (instance ?Y13 Integer)
            (equal ?Y13
                (AdditionFn ?Y 13))
            (instance ?BD13
                (DayFn ?D
                    (MonthFn ?M
                        (YearFn ?Y13))))
            (equal
                (WhenFn ?MIT)
                (ImmediateFutureFn ?BD13)))))		 Biography.kif 69-85
(=>
    (and
        (instance ?MIT BatMitzvah)
        (patient ?MIT ?X)
        (instance ?X Girl)
        (member ?X ?GROUP)
        (instance ?GROUP Judaism)
        (birthdate ?X ?DAY)
        (instance ?DAY
            (DayFn ?D
                (MonthFn ?M
                    (YearFn ?Y)))))
    (exists (?Y13 ?BD13)
        (and
            (instance ?Y13 Integer)
            (equal ?Y13
                (AdditionFn ?Y 13))
            (instance ?BD13
                (DayFn ?D
                    (MonthFn ?M
                        (YearFn ?Y13))))
            (equal
                (WhenFn ?MIT)
                (ImmediateFutureFn ?BD13)))))		 Biography.kif 99-115
(=>
    (and
        (instance ?UTC
            (HourFn ?H1
                (DayFn ?D
                    (MonthFn ?M
                        (YearFn ?Y)))))
        (instance ?CST
            (HourFn ?H2
                (DayFn ?D
                    (MonthFn ?M
                        (YearFn ?Y)))))
        (equal
            (RelativeTimeFn ?UTC CentralTimeZone) ?CST))
    (equal ?H2
        (AdditionFn ?H1 6)))		 Merge.kif 17277-17283
(=>
    (and
        (instance ?UTC
            (HourFn ?H1
                (DayFn ?D
                    (MonthFn ?M
                        (YearFn ?Y)))))
        (instance ?EST
            (HourFn ?H2
                (DayFn ?D
                    (MonthFn ?M
                        (YearFn ?Y)))))
        (equal
            (RelativeTimeFn ?UTC EasternTimeZone) ?EST))
    (equal ?H2
        (AdditionFn ?H1 5)))		 Merge.kif 17289-17295
(=>
    (and
        (instance ?UTC
            (HourFn ?H1
                (DayFn ?D
                    (MonthFn ?M
                        (YearFn ?Y)))))
        (instance ?MST
            (HourFn ?H2
                (DayFn ?D
                    (MonthFn ?M
                        (YearFn ?Y)))))
        (equal
            (RelativeTimeFn ?UTC MountainTimeZone) ?MST))
    (equal ?H2
        (AdditionFn ?H1 7)))		 Merge.kif 17265-17271
(=>
    (and
        (instance ?UTC
            (HourFn ?H1
                (DayFn ?D
                    (MonthFn ?M
                        (YearFn ?Y)))))
        (instance ?PST
            (HourFn ?H2
                (DayFn ?D
                    (MonthFn ?M
                        (YearFn ?Y)))))
        (equal
            (RelativeTimeFn ?UTC PacificTimeZone) ?PST))
    (equal ?H2
        (AdditionFn ?H1 8)))		 Merge.kif 17253-17259
(=>
    (and
        (instance ?WED Wedding)
        (date ?WED ?DAY)
        (instance ?DAY
            (DayFn ?D
                (MonthFn ?M
                    (YearFn ?Y)))))
    (exists (?CLASS ?FUTURE)
        (and
            (weddingAnniversary ?WED ?CLASS)
            (subclass ?CLASS Day)
            (instance ?FUTURE Integer)
            (equal ?CLASS
                (DayFn ?D
                    (MonthFn ?M
                        (YearFn ?FUTURE))))
            (greaterThan ?FUTURE ?Y))))		 Mid-level-ontology.kif 24252-24263
(=>
    (instance ?DAY
        (DayFn ?NUMBER ?MONTH))
    (lessThanOrEqualTo ?NUMBER 31))		 Merge.kif 8635-8637

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


(=>
    (and
        (birthdate ?A ?DAY)
        (instance ?DAY
            (DayFn ?D
                (MonthFn ?M
                    (YearFn ?Y)))))
    (exists (?CLASS ?FUTURE)
        (and
            (birthday ?A ?CLASS)
            (subclass ?CLASS Day)
            (instance ?FUTURE Integer)
            (equal ?CLASS
                (DayFn ?D
                    (MonthFn ?M
                        (YearFn ?FUTURE))))
            (greaterThan ?FUTURE ?Y))))		 Mid-level-ontology.kif 24293-24303
(=>
    (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 583-589
(=>
    (and
        (instance ?D2
            (DayFn ?N2
                (MonthFn ?M
                    (YearFn ?Y))))
        (temporalPart ?D1
            (WeekBeforeFn ?D2))
        (temporalPart ?D2
            (WeekAfterFn ?D1)))
    (exists (?N1)
        (and
            (instance ?D1
                (DayFn ?N1
                    (MonthFn ?M
                        (YearFn ?Y))))
            (equal ?N1
                (SubtractionFn ?N2 7)))))		 Mid-level-ontology.kif 14864-14873
(=>
    (and
        (instance ?MIT BarMitzvah)
        (patient ?MIT ?X)
        (instance ?X Boy)
        (member ?X ?GROUP)
        (instance ?GROUP Judaism)
        (birthdate ?X ?DAY)
        (instance ?DAY
            (DayFn ?D
                (MonthFn ?M
                    (YearFn ?Y)))))
    (exists (?Y13 ?BD13)
        (and
            (instance ?Y13 Integer)
            (equal ?Y13
                (AdditionFn ?Y 13))
            (instance ?BD13
                (DayFn ?D
                    (MonthFn ?M
                        (YearFn ?Y13))))
            (equal
                (WhenFn ?MIT)
                (ImmediateFutureFn ?BD13)))))		 Biography.kif 69-85
(=>
    (and
        (instance ?MIT BatMitzvah)
        (patient ?MIT ?X)
        (instance ?X Girl)
        (member ?X ?GROUP)
        (instance ?GROUP Judaism)
        (birthdate ?X ?DAY)
        (instance ?DAY
            (DayFn ?D
                (MonthFn ?M
                    (YearFn ?Y)))))
    (exists (?Y13 ?BD13)
        (and
            (instance ?Y13 Integer)
            (equal ?Y13
                (AdditionFn ?Y 13))
            (instance ?BD13
                (DayFn ?D
                    (MonthFn ?M
                        (YearFn ?Y13))))
            (equal
                (WhenFn ?MIT)
                (ImmediateFutureFn ?BD13)))))		 Biography.kif 99-115
(=>
    (and
        (instance ?WED Wedding)
        (date ?WED ?DAY)
        (instance ?DAY
            (DayFn ?D
                (MonthFn ?M
                    (YearFn ?Y)))))
    (exists (?CLASS ?FUTURE)
        (and
            (weddingAnniversary ?WED ?CLASS)
            (subclass ?CLASS Day)
            (instance ?FUTURE Integer)
            (equal ?CLASS
                (DayFn ?D
                    (MonthFn ?M
                        (YearFn ?FUTURE))))
            (greaterThan ?FUTURE ?Y))))		 Mid-level-ontology.kif 24252-24263

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


(agreementAdoptionDate AntarcticTreaty
    (DayFn 1
        (MonthFn December
            (YearFn 1959))))		 Geography.kif 3192-3192
(agreementEffectiveDate AntarcticTreaty
    (instance ?D
        (DayFn 23
            (MonthFn June
                (YearFn 1961)))))		 Geography.kif 3193-3193
(dateDissolved CoordinatingCommitteeOnExportControls
    (DayFn 31
        (MonthFn March
            (YearFn 1994))))		 Government.kif 2958-2958
(dateDissolved CouncilForMutualEconomicAssistance
    (DayFn 1
        (MonthFn January
            (YearFn 1991))))		 Government.kif 2973-2973
(dateDissolved UnitedNationsPreventiveDeploymentForce
    (DayFn 25
        (MonthFn March
            (YearFn 1999))))		 Government.kif 4109-4109
(dateDissolved WarsawPact
    (DayFn 1
        (MonthFn July
            (YearFn 1991))))		 Government.kif 4249-4249
(dateEstablished AfricanCaribbeanAndPacificGroupOfStates
    (DayFn 6
        (MonthFn June
            (YearFn 1975))))		 Government.kif 2714-2714
(dateEstablished AfricanDevelopmentBank
    (DayFn 4
        (MonthFn August
            (YearFn 1963))))		 Government.kif 2721-2721
(dateEstablished AgencyForTheFrenchSpeakingCommunity
    (DayFn 20
        (MonthFn March
            (YearFn 1970))))		 Government.kif 2735-2735
(dateEstablished AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean
    (DayFn 14
        (MonthFn February
            (YearFn 1967))))		 Government.kif 2742-2742
(dateEstablished AndeanCommunityOfNations
    (DayFn 26
        (MonthFn May
            (YearFn 1969))))		 Government.kif 2760-2760
(dateEstablished AntarcticTreatyCouncil
    (DayFn 23
        (MonthFn June
            (YearFn 1961))))		 Government.kif 2765-2765
(dateEstablished ArabBankForEconomicDevelopmentInAfrica
    (DayFn 18
        (MonthFn February
            (YearFn 1974))))		 Government.kif 2776-2776
(dateEstablished ArabCooperationCouncil
    (DayFn 16
        (MonthFn February
            (YearFn 1989))))		 Government.kif 2782-2782
(dateEstablished ArabFundForEconomicAndSocialDevelopment
    (DayFn 16
        (MonthFn May
            (YearFn 1968))))		 Government.kif 2788-2788
(dateEstablished ArabLeague
    (DayFn 22
        (MonthFn March
            (YearFn 1945))))		 Government.kif 2797-2797
(dateEstablished ArabMaghrebUnion
    (DayFn 17
        (MonthFn February
            (YearFn 1989))))		 Government.kif 2806-2806
(dateEstablished ArabMonetaryFund
    (DayFn 27
        (MonthFn April
            (YearFn 1976))))		 Government.kif 2815-2815
(dateEstablished AsiaPacificEconomicCooperation
    (DayFn 7
        (MonthFn November
            (YearFn 1989))))		 Government.kif 2821-2821
(dateEstablished AsianDevelopmentBank
    (DayFn 19
        (MonthFn December
            (YearFn 1966))))		 Government.kif 2827-2827
(dateEstablished AssociationOfSoutheastAsianNations
    (DayFn 8
        (MonthFn August
            (YearFn 1967))))		 Government.kif 2833-2833
(dateEstablished AustraliaNewZealandUnitedStatesSecurityTreaty
    (DayFn 1
        (MonthFn September
            (YearFn 1951))))		 Government.kif 2853-2853
(dateEstablished BankForInternationalSettlements
    (DayFn 20
        (MonthFn January
            (YearFn 1930))))		 Government.kif 2859-2859
(dateEstablished BeneluxEconomicUnion
    (DayFn 3
        (MonthFn February
            (YearFn 1958))))		 Government.kif 2865-2865
(dateEstablished BlackSeaEconomicCooperationZone
    (DayFn 25
        (MonthFn June
            (YearFn 1992))))		 Government.kif 2885-2885

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