Month - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Month ChineseLanguage "这是所有日历 Month 的 Class。")	chinese_format.kif 2794-2794
(documentation Month EnglishLanguage "The Class of all calendar Months.")	Merge.kif 9144-9144
(documentation Month JapaneseLanguage "すべてのカレンダー Month の Class。")	japanese_format.kif 1535-1535
(relatedInternalConcept Month MonthFn)	Merge.kif 9142-9142
(subclass Month TimeInterval)	Merge.kif 9141-9141

appearance as argument number 2

(rangeSubclass MonthFn Month)	Merge.kif 8671-8671
(relatedInternalConcept DhuAlHijjah Month)	ArabicCulture.kif 113-113
(subclass April Month)	Merge.kif 9198-9198
(subclass August Month)	Merge.kif 9254-9254
(subclass December Month)	Merge.kif 9311-9311
(subclass February Month)	Merge.kif 9160-9160
(subclass January Month)	Merge.kif 9146-9146
(subclass July Month)	Merge.kif 9240-9240
(subclass June Month)	Merge.kif 9226-9226
(subclass March Month)	Merge.kif 9184-9184
(subclass May Month)	Merge.kif 9212-9212
(subclass November Month)	Merge.kif 9297-9297
(subclass October Month)	Merge.kif 9283-9283
(subclass September Month)	Merge.kif 9268-9268
(termFormat ChineseLanguage Month "月")	chinese_format.kif 1276-1276
(termFormat EnglishLanguage Month "month")	english_format.kif 1769-1769
(termFormat FrenchLanguage Month "mois")	french_format.kif 954-954
(termFormat Hindi Month "mahInaa")	terms-hindi.txt 489-489
(termFormat ItalianLanguage Month "Mese")	terms-it.txt 493-493
(termFormat JapaneseLanguage Month "月")	japanese_format.kif 2638-2638
(termFormat PortugueseLanguage Month "Mes")	portuguese_format.kif 906-906
(termFormat cb Month "bulana")	terms-cb.txt 495-495
(termFormat cz Month "month")	terms-cz.txt 529-529
(termFormat de Month "Monat")	terms-de.txt 788-788

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

(domain averageRainfallForPeriod 2 Month)	Geography.kif 1300-1300
(domainSubclass DayFn 2 Month)	Merge.kif 8687-8687
(domainSubclass MonthFn 1 Month)	Merge.kif 8669-8669

antecedent

(=> (and (climateTypeInArea ?AREA ColdClimateZone) (forall (?MO) (and (instance ?MO Month) (averageTemperatureForPeriod ?AREA ?MO (MeasureFn ?TEMP CelsiusDegree))))) (greaterThan 10.0 ?TEMP))	Geography.kif 1516-1524
(=> (and (climateTypeInArea ?AREA DesertClimateZone) (instance ?MO Month) (averageTemperatureForPeriod ?AREA ?MO (MeasureFn ?TEMP CelsiusDegree)) (greaterThan ?TEMP 18.0)) (climateTypeInArea ?AREA SubtropicalDesertClimateZone))	Geography.kif 1364-1371
(=> (and (climateTypeInArea ?AREA TemperateClimateZone) (instance ?MO Month) (averageTemperatureForPeriod ?AREA ?MO (MeasureFn ?TEMP CelsiusDegree))) (greaterThanOrEqualTo ?TEMP -3.0))	Geography.kif 1413-1419
(=> (and (climateTypeInArea ?AREA TropicalClimateZone) (instance ?MO Month) (averageRainfallForPeriod ?AREA ?MO (MeasureFn ?AMOUNT (MilliFn Meter))) (greaterThanOrEqualTo ?AMOUNT 60.0)) (climateTypeInArea ?AREA WetTropicalClimateZone))	Geography.kif 1310-1317
(=> (and (instance ?AREA GeographicArea) (instance ?MO Month) (averageTemperatureForPeriod ?AREA ?MO (MeasureFn ?TEMP CelsiusDegree)) (greaterThan 10.0 ?TEMP)) (climateTypeInArea ?AREA PolarClimateZone))	Geography.kif 1569-1576
(=> (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 761-777
(=> (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 9584-9588

consequent

(<=> (monthlyIncome ?Agent ?Money) (exists (?Month) (and (instance ?Month Month) (income ?Agent ?Money ?Month))))	FinancialOntology.kif 3300-3305
(=> (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 1527-1535
(=> (climateTypeInArea ?AREA PolarClimateZone) (exists (?MO ?TEMP) (and (instance ?MO Month) (averageTemperatureForPeriod ?AREA ?MO (MeasureFn ?TEMP CelsiusDegree)) (greaterThan 10.0 ?TEMP))))	Geography.kif 1560-1567
(=> (climateTypeInArea ?AREA SubtropicalDesertClimateZone) (exists (?MO ?TEMP) (and (instance ?MO Month) (averageTemperatureForPeriod ?AREA ?MO (MeasureFn ?TEMP CelsiusDegree)) (greaterThan ?TEMP 18.0))))	Geography.kif 1373-1380
(=> (climateTypeInArea ?AREA TemperateClimateZone) (exists (?MO ?AMOUNT) (and (instance ?MO Month) (averageTemperatureForPeriod ?AREA ?MO (MeasureFn ?AMOUNT CelsiusDegree)) (greaterThan ?AMOUNT 10.0))))	Geography.kif 1403-1410
(=> (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 1422-1437
(=> (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 1279-1292
(=> (climateTypeInArea ?AREA WetTropicalClimateZone) (forall (?MO ?AMOUNT) (and (instance ?MO Month) (averageRainfallForPeriod ?AREA ?MO (MeasureFn ?AMOUNT (MilliFn Meter))) (greaterThanOrEqualTo ?AMOUNT 60.0))))	Geography.kif 1319-1326
(=> (instance ?YEAR Year) (equal (CardinalityFn (TemporalCompositionFn ?YEAR Month)) 12))	Merge.kif 9580-9582

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 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: