Month - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] 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

(documentation Month ChineseLanguage "这是所有日历 Month 的 Class。")	Merge.kif 9069-9069
(documentation Month EnglishLanguage "The Class of all calendar Months.")	Merge.kif 9068-9068
(relatedInternalConcept Month MonthFn)	Merge.kif 9067-9067	Month is internally related to month
(subclass Month TimeInterval)	Merge.kif 9066-9066	Month is a subclass of time interval

appearance as argument number 2

(rangeSubclass MonthFn Month)	Merge.kif 8688-8688	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 9123-9123	April is a subclass of month
(subclass August Month)	Merge.kif 9179-9179	August is a subclass of month
(subclass December Month)	Merge.kif 9237-9237	December is a subclass of month
(subclass February Month)	Merge.kif 9085-9085	February is a subclass of month
(subclass January Month)	Merge.kif 9071-9071	January is a subclass of month
(subclass July Month)	Merge.kif 9165-9165	July is a subclass of month
(subclass June Month)	Merge.kif 9151-9151	June is a subclass of month
(subclass March Month)	Merge.kif 9109-9109	March is a subclass of month
(subclass May Month)	Merge.kif 9137-9137	May is a subclass of month
(subclass November Month)	Merge.kif 9223-9223	November is a subclass of month
(subclass October Month)	Merge.kif 9209-9209	October is a subclass of month
(subclass September Month)	Merge.kif 9194-9194	September is a subclass of month
(termFormat ChineseLanguage Month "月")	chinese_format.kif 1276-1276	"月" is the printable form of month in ChineseLanguage
(termFormat EnglishLanguage Month "month")	english_format.kif 1909-1909	"month" is the printable form of month in english language
(termFormat JapaneseLanguage Month "月")	english_format.kif 1910-1910	"月" is the printable form of month in japanese language

appearance as argument number 3

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

antecedent

(=> (and (instance ?AREA ColdClimateZone) (subclass ?MO Month) (averageTemperatureForPeriod ?AREA ?MO ?TEMP)) (greaterThan (MeasureFn 10 CelsiusDegree) ?TEMP))	Geography.kif 1474-1479	If a geographic area is an instance of cold climate zone and a time duration is a subclass of month and the geographic area average temperature for period the time duration for a temperature measure, then 10 celsius degree(s) is greater than the temperature measure
(=> (and (instance ?AREA DesertClimateZone) (subclass ?MO Month) (averageTemperatureForPeriod ?AREA ?MO ?TEMP) (greaterThan ?TEMP (MeasureFn 18 CelsiusDegree))) (instance ?AREA SubtropicalDesertClimateZone))	Geography.kif 1340-1346	If a geographic area is an instance of desert climate zone and a time duration is a subclass of month and the geographic area average temperature for period the time duration for a temperature measure and the temperature measure is greater than 18 celsius degree(s), then the geographic area is an instance of subtropical desert climate zone
(=> (and (instance ?AREA GeographicArea) (subclass ?MO Month) (averageTemperatureForPeriod ?AREA ?MO ?TEMP) (greaterThan (MeasureFn 10 CelsiusDegree) ?TEMP)) (instance ?AREA PolarClimateZone))	Geography.kif 1518-1524	If a geographic area is an instance of geographic area and a time duration is a subclass of month and the geographic area average temperature for period the time duration for a temperature measure and 10 celsius degree(s) is greater than the temperature measure, then the geographic area is an instance of polar climate zone
(=> (and (instance ?AREA PolarClimateZone) (subclass ?MO Month) (averageTemperatureForPeriod ?AREA ?MO ?TEMP)) (greaterThan (MeasureFn 10 CelsiusDegree) ?TEMP))	Geography.kif 1511-1516	If a geographic area is an instance of polar climate zone and a time duration is a subclass of month and the geographic area average temperature for period the time duration for a temperature measure, then 10 celsius degree(s) is greater than the temperature measure
(=> (and (instance ?AREA SubtropicalDesertClimateZone) (subclass ?MO Month) (averageTemperatureForPeriod ?AREA ?MO ?TEMP)) (greaterThan ?TEMP (MeasureFn 18 CelsiusDegree)))	Geography.kif 1348-1353	If a geographic area is an instance of subtropical desert climate zone and a time duration is a subclass of month and the geographic area average temperature for period the time duration for a temperature measure, then the temperature measure is greater than 18 celsius degree(s)
(=> (and (instance ?AREA TemperateClimateZone) (subclass ?MO Month) (averageTemperatureForPeriod ?AREA ?MO ?TEMP)) (greaterThanOrEqualTo ?TEMP (MeasureFn -3 CelsiusDegree)))	Geography.kif 1381-1386	If a geographic area is an instance of temperate climate zone and a time duration is a subclass of month and the geographic area average temperature for period the time duration for a temperature measure, then the temperature measure is greater than or equal to -3 celsius degree(s)
(=> (and (instance ?AREA TropicalClimateZone) (subclass ?MO Month) (instance ?AREA GeographicArea) (averageTemperatureForPeriod ?AREA ?MO ?TEMP)) (greaterThan ?TEMP (MeasureFn 18 CelsiusDegree)))	Geography.kif 1264-1270	If a geographic area is an instance of tropical climate zone and a time duration is a subclass of month and the geographic area is an instance of geographic area and the geographic area average temperature for period the time duration for a temperature measure, then the temperature measure is greater than 18 celsius degree(s)
(=> (and (instance ?Account LiabilityAccount) (minimumPayment ?Account ?MinPayment MonthDuration) (exists (?Payment ?Month) (and (instance ?Month Month) (destination ?Payment (CurrencyFn ?Account)) (paymentsPerPeriod ?Account ?Amount ?Month) (lessThan ?Amount ?MinPayment)))) (exists (?Penalty) (and (instance ?Penalty Penalty) (destination ?Penalty (CurrencyFn ?Account)))))	FinancialOntology.kif 712-725	If a liability account is an instance of liability account and the liability account minimum payment a currency measure for month duration and there exist a process and a time interval such that the time interval is an instance of month and the process ends up at the currency of the liability account and the liability account payments per period another currency measure for the time interval and the other currency measure is less than the currency measure, then there exists another process such that the other process is an instance of penalty and the other process ends up at the currency of the liability account
(=> (and (instance ?D EasterSunday) (temporalPart ?D ?M) (instance ?M Month)) (or (instance ?M March) (instance ?M April) (instance ?M May)))	Media.kif 498-506	If a time position is an instance of EasterSunday and the time position is a part of another time position and the other time position is an instance of month, then the other time position is an instance of March or the other time position is an instance of April or the other time position is an instance of May
(=> (and (instance ?MONTH Month) (duration ?MONTH (MeasureFn ?NUMBER DayDuration))) (equal (CardinalityFn (TemporalCompositionFn ?MONTH Day)) ?NUMBER))	Merge.kif 9492-9496	If a time interval is an instance of month and duration of the time interval is an integer day duration(s), then the number of instances in decomposition of the time interval into days is equal to the integer

consequent

(<=> (monthlyIncome ?Agent ?Money) (exists (?Month) (and (instance ?Month Month) (income ?Agent ?Money ?Month))))	FinancialOntology.kif 3174-3179	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	If a time interval is an instance of Hanukkah and a time point is equal to the beginning of the time interval, then there exists a time position such that the time point is a part of the time position and the time position is an instance of month and the time position is an instance of November or the time position is an instance of December
(=> (instance ?AREA ColdClimateZone) (exists (?MO ?AMOUNT) (and (subclass ?MO Month) (averageTemperatureForPeriod ?AREA ?MO ?AMOUNT) (lessThan ?AMOUNT (MeasureFn -3 CelsiusDegree)))))	Geography.kif 1481-1487	If a geographic area is an instance of cold climate zone, then there exist a time duration and a temperature measure such that the time duration is a subclass of month and the geographic area average temperature for period the time duration for the temperature measure and the temperature measure is less than -3 celsius degree(s)
(=> (instance ?AREA TemperateClimateZone) (exists (?MO ?AMOUNT) (and (subclass ?MO Month) (averageTemperatureForPeriod ?AREA ?MO ?AMOUNT) (greaterThan ?AMOUNT (MeasureFn 10 CelsiusDegree)))))	Geography.kif 1373-1379	If a geographic area is an instance of temperate climate zone, then there exist a time duration and a temperature measure such that the time duration is a subclass of month and the geographic area average temperature for period the time duration for the temperature measure and the temperature measure is greater than 10 celsius degree(s)
(=> (instance ?AREA TemperateClimateZone) (exists (?MO ?AMOUNT) (and (subclass ?MO Month) (averageTemperatureForPeriod ?AREA ?MO ?AMOUNT) (greaterThanOrEqualTo ?AMOUNT (MeasureFn -3 CelsiusDegree)) (lessThanOrEqualTo ?AMOUNT (MeasureFn 18 CelsiusDegree)))))	Geography.kif 1388-1395	If a geographic area is an instance of temperate climate zone, then there exist a time duration and a temperature measure such that the time duration is a subclass of month and the geographic area average temperature for period the time duration for the temperature measure and the temperature measure is greater than or equal to -3 celsius degree(s) and the temperature measure is less than or equal to 18 celsius degree(s)
(=> (instance ?YEAR Year) (equal (CardinalityFn (TemporalCompositionFn ?YEAR Month)) 12))	Merge.kif 9488-9490	If a time interval is an instance of year, then the number of instances in decomposition of the time interval into months is equal to 12

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners