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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Month

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


(documentation Month ChineseLanguage "这是所有日历 MonthClass。") chinese_format.kif 2794-2794
(documentation Month EnglishLanguage "The Class of all calendar Months.") Merge.kif 8955-8955
(relatedInternalConcept Month MonthFn) Merge.kif 8953-8953 Month is internally related to month
(subclass Month TimeInterval) Merge.kif 8952-8952 Month is a subclass of time interval

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


(rangeSubclass MonthFn Month) Merge.kif 8483-8483 The values returned by month are subclasses of month
(relatedInternalConcept DhuAlHijjah Month) ArabicCulture.kif 104-104 Dhu al hijjah is internally related to month
(subclass April Month) Merge.kif 9009-9009 April is a subclass of month
(subclass August Month) Merge.kif 9065-9065 August is a subclass of month
(subclass December Month) Merge.kif 9122-9122 December is a subclass of month
(subclass February Month) Merge.kif 8971-8971 February is a subclass of month
(subclass January Month) Merge.kif 8957-8957 January is a subclass of month
(subclass July Month) Merge.kif 9051-9051 July is a subclass of month
(subclass June Month) Merge.kif 9037-9037 June is a subclass of month
(subclass March Month) Merge.kif 8995-8995 March is a subclass of month
(subclass May Month) Merge.kif 9023-9023 May is a subclass of month
(subclass November Month) Merge.kif 9108-9108 November is a subclass of month
(subclass October Month) Merge.kif 9094-9094 October is a subclass of month
(subclass September Month) Merge.kif 9079-9079 September is a subclass of month
(termFormat ChineseLanguage Month "月") chinese_format.kif 1276-1276
(termFormat EnglishLanguage Month "month") english_format.kif 1769-1769

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


(domain averageRainfallForPeriod 2 Month) Geography.kif 1311-1311 The number 2 argument of average rainfall for period is an instance of month
(domainSubclass DayFn 2 Month) Merge.kif 8499-8499 The number 2 argument of day is a subclass of month
(domainSubclass MonthFn 1 Month) Merge.kif 8481-8481 The number 1 argument of month is a subclass of month

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


(=>
    (and
        (climateTypeInArea ?AREA ColdClimateZone)
        (forall (?MO)
            (and
                (instance ?MO Month)
                (averageTemperatureForPeriod ?AREA ?MO
                    (MeasureFn ?TEMP CelsiusDegree)))))
    (greaterThan 10.0 ?TEMP))
Geography.kif 1526-1534
(=>
    (and
        (climateTypeInArea ?AREA DesertClimateZone)
        (instance ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO
            (MeasureFn ?TEMP CelsiusDegree))
        (greaterThan ?TEMP 18.0))
    (climateTypeInArea ?AREA SubtropicalDesertClimateZone))
Geography.kif 1375-1382
(=>
    (and
        (climateTypeInArea ?AREA TemperateClimateZone)
        (instance ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO
            (MeasureFn ?TEMP CelsiusDegree)))
    (greaterThanOrEqualTo ?TEMP -3.0))
Geography.kif 1423-1429
(=>
    (and
        (climateTypeInArea ?AREA TropicalClimateZone)
        (instance ?MO Month)
        (averageRainfallForPeriod ?AREA ?MO
            (MeasureFn ?AMOUNT
                (MilliFn Meter)))
        (greaterThanOrEqualTo ?AMOUNT 60.0))
    (climateTypeInArea ?AREA WetTropicalClimateZone))
Geography.kif 1321-1328
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO
            (MeasureFn ?TEMP CelsiusDegree))
        (greaterThan 10.0 ?TEMP))
    (climateTypeInArea ?AREA PolarClimateZone))
Geography.kif 1578-1585
(=>
    (and
        (instance ?Account LiabilityAccount)
        (minimumPayment ?Account
            (MeasureFn ?MinPayment ?U) MonthDuration)
        (instance ?U UnitOfCurrency)
        (exists (?Payment ?Month)
            (and
                (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 758-774
(=>
    (and
        (instance ?D EasterSunday)
        (temporalPart ?D ?M)
        (instance ?M Month))
    (or
        (instance ?M March)
        (instance ?M April)
        (instance ?M May)))
Media.kif 498-506
(=>
    (and
        (instance ?MONTH Month)
        (duration ?MONTH
            (MeasureFn ?NUMBER DayDuration)))
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?MONTH Day)) ?NUMBER))
Merge.kif 9372-9376

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


(<=>
    (monthlyIncome ?Agent ?Money)
    (exists (?Month)
        (and
            (instance ?Month Month)
            (income ?Agent ?Money ?Month))))
FinancialOntology.kif 3289-3294 A human has monthly income a currency measure if and only if there exists a time interval such that the time interval is an instance of month and the human income the currency measure for the time interval
(=>
    (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 587-597
(=>
    (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 1537-1545
(=>
    (climateTypeInArea ?AREA PolarClimateZone)
    (and
        (instance ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO
            (MeasureFn ?TEMP CelsiusDegree))
        (greaterThan 10.0 ?TEMP)))
Geography.kif 1570-1576
(=>
    (climateTypeInArea ?AREA SubtropicalDesertClimateZone)
    (and
        (instance ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO
            (MeasureFn ?TEMP CelsiusDegree))
        (greaterThan ?TEMP 18.0)))
Geography.kif 1384-1390
(=>
    (climateTypeInArea ?AREA TemperateClimateZone)
    (exists (?MO ?MOUNT)
        (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 1432-1447
(=>
    (climateTypeInArea ?AREA TemperateClimateZone)
    (exists (?MO)
        (and
            (instance ?MO Month)
            (averageTemperatureForPeriod ?AREA ?MO
                (MeasureFn ?AMOUNT CelsiusDegree))
            (greaterThan ?AMOUNT 10.0))))
Geography.kif 1413-1420
(=>
    (climateTypeInArea ?AREA TropicalClimateZone)
    (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 1291-1303
(=>
    (climateTypeInArea ?AREA WetTropicalClimateZone)
    (forall (?MO ?AMOUNT)
        (and
            (instance ?MO Month)
            (averageRainfallForPeriod ?AREA ?MO
                (MeasureFn ?AMOUNT
                    (MilliFn Meter)))
            (greaterThanOrEqualTo ?AMOUNT 60.0))))
Geography.kif 1330-1337
(=>
    (instance ?YEAR Year)
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?YEAR Month)) 12))
Merge.kif 9368-9370


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