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。")	chinese_format.kif 2794-2794
(documentation Month EnglishLanguage "The Class of all calendar Months.")	Merge.kif 8455-8455
(relatedInternalConcept Month MonthFn)	Merge.kif 8453-8453	Month is internally related to month
(subclass Month TimeInterval)	Merge.kif 8452-8452	Month is a subclass of time interval

appearance as argument number 2

(rangeSubclass MonthFn Month)	Merge.kif 8000-8000	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 8509-8509	April is a subclass of month
(subclass August Month)	Merge.kif 8565-8565	August is a subclass of month
(subclass December Month)	Merge.kif 8622-8622	December is a subclass of month
(subclass February Month)	Merge.kif 8471-8471	February is a subclass of month
(subclass January Month)	Merge.kif 8457-8457	January is a subclass of month
(subclass July Month)	Merge.kif 8551-8551	July is a subclass of month
(subclass June Month)	Merge.kif 8537-8537	June is a subclass of month
(subclass March Month)	Merge.kif 8495-8495	March is a subclass of month
(subclass May Month)	Merge.kif 8523-8523	May is a subclass of month
(subclass November Month)	Merge.kif 8608-8608	November is a subclass of month
(subclass October Month)	Merge.kif 8594-8594	October is a subclass of month
(subclass September Month)	Merge.kif 8579-8579	September is a subclass of month
(termFormat ChineseLanguage Month "月")	chinese_format.kif 1276-1276
(termFormat EnglishLanguage Month "month")	english_format.kif 1778-1778

appearance as argument number 3

(domain averageRainfallForPeriod 2 Month)	Geography.kif 1290-1290	The number 2 argument of average rainfall for period is an instance of month
(domainSubclass DayFn 2 Month)	Merge.kif 8016-8016	The number 2 argument of day is a subclass of month
(domainSubclass MonthFn 1 Month)	Merge.kif 7998-7998	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 1486-1491	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 1352-1358	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 1530-1536	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 1523-1528	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 1360-1365	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 1393-1398	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 1276-1282	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 711-724	If a liability account is an instance of liability account and the liability account is 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 8872-8876	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 3181-3186	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 1493-1499	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 1385-1391	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 1400-1407	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 8868-8870	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