Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Month
Month(month)Brumaire, Floreal, Frimaire, Fructidor, Germinal, Messidor, Nivose, Pluviose, Prairial, Revolutionary_calendar_month, Thermidor, Vendemiaire, Ventose, calendar_month, inst, instant, month, prox, proximo, ult, ultimo

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


(subclass Month TimeInterval) Merge.kif 9245-9245 Month is a subclass of timeframe
(relatedInternalConcept Month MonthFn) Merge.kif 9246-9246 Month is internally related to month
(documentation Month EnglishLanguage "The Class of all calendar Months.") Merge.kif 9248-9248 Month is internally related to month

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


(rangeSubclass MonthFn Month) Merge.kif 8775-8775 The values returned by month are subclasses of month
(subclass January Month) Merge.kif 9250-9250 January is a subclass of month
(subclass February Month) Merge.kif 9264-9264 February is a subclass of month
(subclass March Month) Merge.kif 9288-9288 March is a subclass of month
(subclass April Month) Merge.kif 9302-9302 April is a subclass of month
(subclass May Month) Merge.kif 9316-9316 May is a subclass of month
(subclass June Month) Merge.kif 9330-9330 June is a subclass of month
(subclass July Month) Merge.kif 9344-9344 July is a subclass of month
(subclass August Month) Merge.kif 9358-9358 August is a subclass of month
(subclass September Month) Merge.kif 9372-9372 September is a subclass of month
(subclass October Month) Merge.kif 9387-9387 October is a subclass of month
(subclass November Month) Merge.kif 9401-9401 November is a subclass of month
(subclass December Month) Merge.kif 9415-9415 December is a subclass of month
(relatedInternalConcept DhuAlHijjah Month) ArabicCulture.kif 113-113 Dhu al hijjah is internally related to month
(termFormat EnglishLanguage Month "month") english_format.kif 1773-1773 Dhu al hijjah is internally related to month

appearance as argument number 3
-------------------------


(domainSubclass MonthFn 1 Month) Merge.kif 8773-8773 The number 1 argument of month is a subclass of month
(domainSubclass DayFn 2 Month) Merge.kif 8791-8791 The number 2 argument of day is a subclass of month
(domain averageRainfallForPeriod 2 Month) Geography.kif 2763-2763 The number 2 argument of average rainfall for period is an instance of month
(domainSubclass MeanMonthSSTFn 2 Month) Weather.kif 620-620 The number 2 argument of mean month sea surface temperature is a subclass of month
(domainSubclass DailyTempListFn 2 Month) Weather.kif 639-639 The number 2 argument of daily temperature list of the month is a subclass of month
(domainSubclass NumberOfDaysInMonthFn 1 Month) Weather.kif 666-666 The number 1 argument of number of days in the month is a subclass of month
(domainSubclass previousMonthYear 1 Month) Weather.kif 748-748 The number 1 argument of previous month of is a subclass of month
(domainSubclass previousMonthYear 3 Month) Weather.kif 750-750 The number 3 argument of previous month of is a subclass of month
(domainSubclass ThreeMonthsRunningMeanSSTFn 2 Month) Weather.kif 785-785 The number 2 argument of three months running mean sea surface temperature is a subclass of month
(domainSubclass ThirtyYearAverageSSTForMonthFn 2 Month) Weather.kif 818-818 The number 2 argument of thirty year average sea surface temperature for month is a subclass of month

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


(=>
    (and
        (instance ?MONTH Month)
        (duration ?MONTH
            (MeasureFn ?NUMBER DayDuration)))
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?MONTH Day)) ?NUMBER))		 Merge.kif 9688-9692 If X is an instance of month and duration of X is Y day duration(s), then equal the number of instances in decomposition of X into days and Y
(=>
    (and
        (instance ?Account LiabilityAccount)
        (minimumPayment ?Account
            (MeasureFn ?MinPayment ?U) MonthDuration)
        (instance ?U UnitOfCurrency)
        (instance ?Month Month)
        (destination ?Payment
            (CurrencyFn ?Account))
        (paymentsPerPeriod ?Account
            (MeasureFn ?Amount ?U) ?Month)
        (lessThan ?Amount ?MinPayment))
    (exists (?Penalty)
        (and
            (instance ?Penalty Penalty)
            (destination ?Penalty
                (CurrencyFn ?Account)))))		 FinancialOntology.kif 781-797 If All of the following hold: (1) X is an instance of liability account (2) X is minimum payment Y Z(s) for month duration (3) Z is an instance of unit of currency (4) W is an instance of month (5) V ends up at the currency of X (6) X payments per period U Z(s) for W (7) U is less than Y, then there exists T such that T is an instance of penalizing and T ends up at the currency of X
(=>
    (and
        (climateTypeInArea ?AREA TropicalClimateZone)
        (instance ?MO Month)
        (averageRainfallForPeriod ?AREA ?MO
            (MeasureFn ?AMOUNT
                (MilliFn Meter)))
        (greaterThanOrEqualTo ?AMOUNT 60.0))
    (climateTypeInArea ?AREA WetTropicalClimateZone))		 Geography.kif 2773-2780 If tropical climate zone is a climate type in area of X, Y is an instance of month, X average rainfall for period Y for Z one thousandth of a meter(s), and Z is greater than or equal to 60.0, then wet tropical climate zone is a climate type in area of X
(=>
    (and
        (climateTypeInArea ?AREA DesertClimateZone)
        (instance ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO
            (MeasureFn ?TEMP CelsiusDegree))
        (greaterThan ?TEMP 18.0))
    (climateTypeInArea ?AREA SubtropicalDesertClimateZone))		 Geography.kif 2827-2834 If desert climate zone is a climate type in area of X, Y is an instance of month, X average temperature for period Y for Z celsius degree(s), and Z is greater than 18.0, then subtropical desert climate zone is a climate type in area of X
(=>
    (and
        (climateTypeInArea ?AREA TemperateClimateZone)
        (instance ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO
            (MeasureFn ?TEMP CelsiusDegree)))
    (greaterThanOrEqualTo ?TEMP -3.0))		 Geography.kif 2876-2882 If temperate climate zone is a climate type in area of X, Y is an instance of month, and X average temperature for period Y for Z celsius degree(s), then Z is greater than or equal to -3.0
(=>
    (and
        (climateTypeInArea ?AREA ColdClimateZone)
        (forall (?MO)
            (and
                (instance ?MO Month)
                (averageTemperatureForPeriod ?AREA ?MO
                    (MeasureFn ?TEMP CelsiusDegree)))))
    (greaterThan 10.0 ?TEMP))		 Geography.kif 2979-2987 If cold climate zone is a climate type in area of X and For all TimeInterval Y: Y is an instance of month and X average temperature for period Y for Z celsius degree(s), then 10.0 is greater than Z
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO
            (MeasureFn ?TEMP CelsiusDegree))
        (greaterThan 10.0 ?TEMP))
    (climateTypeInArea ?AREA PolarClimateZone))		 Geography.kif 3032-3039 If X is an instance of geographic area, Y is an instance of month, X average temperature for period Y for Z celsius degree(s), and 10.0 is greater than Z, then polar climate zone is a climate type in area of X
(=>
    (and
        (instance ?D EasterSunday)
        (temporalPart ?D ?M)
        (instance ?M Month))
    (or
        (instance ?M March)
        (instance ?M April)
        (instance ?M May)))		 Media.kif 492-500 If X is an instance of Easter sunday, X is a part of Y, and Y is an instance of month, then At least one of the following holds: (1) Y is an instance of March (2) Y is an instance of April (3) Y is an instance of May

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


(=>
    (instance ?YEAR Year)
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?YEAR Month)) 12))		 Merge.kif 9684-9686 If X is an instance of year, then equal the number of instances in decomposition of X into months and 12
(<=>
    (monthlyIncome ?Agent ?Money)
    (exists (?Month)
        (and
            (instance ?Month Month)
            (income ?Agent ?Money ?Month))))		 FinancialOntology.kif 3340-3345 X has monthly income Y if, only if there exists Z such that Z is an instance of month, and X income Y for Z
(=>
    (climateTypeInArea ?AREA TropicalClimateZone)
    (exists (?MO ?TEMP)
        (and
            (instance ?MO Month)
            (averageTemperatureForPeriod ?AREA ?MO
                (MeasureFn ?TEMP CelsiusDegree))
            (greaterThan ?TEMP 18.0)
            (not
                (exists (?M2 ?MT2)
                    (and
                        (averageTemperatureForPeriod ?AREA ?M2
                            (MeasureFn ?MT2 CelsiusDegree))
                        (lessThan ?MT2 ?TEMP)))))))		 Geography.kif 2742-2755 If tropical climate zone is a climate type in area of X, then there exist Y and Z such that Y is an instance of month and X average temperature for period Y for Z celsius degree(s) and Z is greater than 18.0 and there don't exist W and V such that X average temperature for period W for V celsius degree(s) and V is less than Z
(=>
    (climateTypeInArea ?AREA WetTropicalClimateZone)
    (forall (?MO ?AMOUNT)
        (and
            (instance ?MO Month)
            (averageRainfallForPeriod ?AREA ?MO
                (MeasureFn ?AMOUNT
                    (MilliFn Meter)))
            (greaterThanOrEqualTo ?AMOUNT 60.0))))		 Geography.kif 2782-2789 If wet tropical climate zone is a climate type in area of X, then For all Month Y and RealNumber Z: X average rainfall for period Y for Z one thousandth of a meter(s) and Z is greater than or equal to 60.0
(=>
    (climateTypeInArea ?AREA SubtropicalDesertClimateZone)
    (exists (?MO ?TEMP)
        (and
            (instance ?MO Month)
            (averageTemperatureForPeriod ?AREA ?MO
                (MeasureFn ?TEMP CelsiusDegree))
            (greaterThan ?TEMP 18.0))))		 Geography.kif 2836-2843 If subtropical desert climate zone is a climate type in area of X, then there exist Y and Z such that Y is an instance of month and X average temperature for period Y for Z celsius degree(s) and Z is greater than 18.0
(=>
    (climateTypeInArea ?AREA TemperateClimateZone)
    (exists (?MO ?AMOUNT)
        (and
            (instance ?MO Month)
            (averageTemperatureForPeriod ?AREA ?MO
                (MeasureFn ?AMOUNT CelsiusDegree))
            (greaterThan ?AMOUNT 10.0))))		 Geography.kif 2866-2873 If temperate climate zone is a climate type in area of X, then there exist Y and Z such that Y is an instance of month and X average temperature for period Y for Z celsius degree(s) and Z is greater than 10.0
(=>
    (climateTypeInArea ?AREA TemperateClimateZone)
    (exists (?MO ?AMOUNT)
        (and
            (instance ?MO Month)
            (averageTemperatureForPeriod ?AREA ?MO
                (MeasureFn ?AMOUNT CelsiusDegree))
            (greaterThanOrEqualTo ?AMOUNT -3.0)
            (lessThanOrEqualTo ?AMOUNT 18.0)
            (not
                (exists (?M2 ?MT2)
                    (and
                        (instance ?M2 Month)
                        (averageTemperatureForPeriod ?AREA ?M2
                            (MeasureFn ?MT2 CelsiusDegree))
                        (lessThan ?MT2 ?AMOUNT)))))))		 Geography.kif 2885-2900 If temperate climate zone is a climate type in area of X, then there exist Y and Z such that Y is an instance of month and X average temperature for period Y for Z celsius degree(s) and Z is greater than or equal to -3.0 and Z is less than or equal to 18.0 and there don't exist W and V such that W is an instance of month and X average temperature for period W for V celsius degree(s) and V is less than Z
(=>
    (climateTypeInArea ?AREA ColdClimateZone)
    (exists (?MO ?AMOUNT)
        (and
            (instance ?MO Month)
            (temporalPart ?MO WinterSeason)
            (averageTemperatureForPeriod ?AREA ?MO
                (MeasureFn ?AMOUNT CelsiusDegree))
            (lessThan ?AMOUNT -3.0))))		 Geography.kif 2990-2998 If cold climate zone is a climate type in area of X, then there exist Y and Z such that Y is an instance of month and Y is a part of winter season and X average temperature for period Y for Z celsius degree(s) and Z is less than -3.0
(=>
    (climateTypeInArea ?AREA PolarClimateZone)
    (exists (?MO ?TEMP)
        (and
            (instance ?MO Month)
            (averageTemperatureForPeriod ?AREA ?MO
                (MeasureFn ?TEMP CelsiusDegree))
            (greaterThan 10.0 ?TEMP))))		 Geography.kif 3023-3030 If polar climate zone is a climate type in area of X, then there exist Y and Z such that Y is an instance of month and X average temperature for period Y for Z celsius degree(s) and 10.0 is greater than Z
(=>
    (and
        (instance ?H Hanukkah)
        (equal ?B
            (BeginFn ?H)))
    (exists (?M)
        (and
            (temporalPart ?B ?M)
            (instance ?M Month)
            (or
                (instance ?M November)
                (instance ?M December)))))		 Media.kif 581-591 If X is an instance of hanukkah and equal Y and the beginning of X, then there exists Z such that Y is a part of Z, Z is an instance of month, and Z is an instance of November or Z is an instance of December


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners