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 8944-8944
(relatedInternalConcept Month MonthFn)	Merge.kif 8942-8942	Month is internally related to month
(subclass Month TimeInterval)	Merge.kif 8941-8941	Month is a subclass of time interval

appearance as argument number 2

(rangeSubclass MonthFn Month)	Merge.kif 8475-8475	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 8998-8998	April is a subclass of month
(subclass August Month)	Merge.kif 9054-9054	August is a subclass of month
(subclass December Month)	Merge.kif 9111-9111	December is a subclass of month
(subclass February Month)	Merge.kif 8960-8960	February is a subclass of month
(subclass January Month)	Merge.kif 8946-8946	January is a subclass of month
(subclass July Month)	Merge.kif 9040-9040	July is a subclass of month
(subclass June Month)	Merge.kif 9026-9026	June is a subclass of month
(subclass March Month)	Merge.kif 8984-8984	March is a subclass of month
(subclass May Month)	Merge.kif 9012-9012	May is a subclass of month
(subclass November Month)	Merge.kif 9097-9097	November is a subclass of month
(subclass October Month)	Merge.kif 9083-9083	October is a subclass of month
(subclass September Month)	Merge.kif 9068-9068	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 8491-8491	The number 2 argument of day is a subclass of month
(domainSubclass MonthFn 1 Month)	Merge.kif 8473-8473	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	If cold climate zone is a climate type in area of a geographic area and for all a time interval the time interval is an instance of month and the geographic area average temperature for period the time interval for a real number celsius degree(s), then 10.0 is greater than the real number
(=> (and (climateTypeInArea ?AREA DesertClimateZone) (instance ?MO Month) (averageTemperatureForPeriod ?AREA ?MO (MeasureFn ?TEMP CelsiusDegree)) (greaterThan ?TEMP 18.0)) (climateTypeInArea ?AREA SubtropicalDesertClimateZone))	Geography.kif 1375-1382	If desert climate zone is a climate type in area of a geographic area and a time interval is an instance of month and the geographic area average temperature for period the time interval for a real number celsius degree(s) and the real number is greater than 18.0, then subtropical desert climate zone is a climate type in area of the geographic area
(=> (and (climateTypeInArea ?AREA TemperateClimateZone) (instance ?MO Month) (averageTemperatureForPeriod ?AREA ?MO (MeasureFn ?TEMP CelsiusDegree))) (greaterThanOrEqualTo ?TEMP -3.0))	Geography.kif 1423-1429	If temperate climate zone is a climate type in area of a geographic area and a time interval is an instance of month and the geographic area average temperature for period the time interval for a real number celsius degree(s), then the real number is greater than or equal to -3.0
(=> (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	If tropical climate zone is a climate type in area of a geographic area and a month is an instance of month and the geographic area average rainfall for period the month for a real number one thousandth of a meter(s) and the real number is greater than or equal to 60.0, then wet tropical climate zone is a climate type in area of the geographic area
(=> (and (instance ?AREA GeographicArea) (instance ?MO Month) (averageTemperatureForPeriod ?AREA ?MO (MeasureFn ?TEMP CelsiusDegree)) (greaterThan 10.0 ?TEMP)) (climateTypeInArea ?AREA PolarClimateZone))	Geography.kif 1578-1585	If a geographic area is an instance of geographic area and a time interval is an instance of month and the geographic area average temperature for period the time interval for a real number celsius degree(s) and 10.0 is greater than the real number, then polar climate zone is a climate type in area of the geographic area
(=> (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 9361-9365	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

(=> (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
(=> (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	If cold climate zone is a climate type in area of a geographic area, then there exist a time interval and a real number such that the time interval is an instance of month and the time interval is a part of winter season and the geographic area average temperature for period the time interval for the real number celsius degree(s) and the real number is less than -3.0
(=> (climateTypeInArea ?AREA PolarClimateZone) (and (instance ?MO Month) (averageTemperatureForPeriod ?AREA ?MO (MeasureFn ?TEMP CelsiusDegree)) (greaterThan 10.0 ?TEMP)))	Geography.kif 1570-1576	If polar climate zone is a climate type in area of a geographic area, then a time interval is an instance of month and the geographic area average temperature for period the time interval for a real number celsius degree(s) and 10.0 is greater than the real number
(=> (climateTypeInArea ?AREA SubtropicalDesertClimateZone) (and (instance ?MO Month) (averageTemperatureForPeriod ?AREA ?MO (MeasureFn ?TEMP CelsiusDegree)) (greaterThan ?TEMP 18.0)))	Geography.kif 1384-1390	If subtropical desert climate zone is a climate type in area of a geographic area, then a time interval is an instance of month and the geographic area average temperature for period the time interval for a real number celsius degree(s) and the real number is greater than 18.0
(=> (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	If temperate climate zone is a climate type in area of a geographic area, then there exist a time interval and the time intervalUNT such that the time interval is an instance of month and the geographic area average temperature for period the time interval for a real number celsius degree(s) and the real number is greater than or equal to -3.0 and the real number is less than or equal to 18.0 and there don't exist another time interval and another real number such that the other time interval is an instance of month and the geographic area average temperature for period the other time interval for the other real number celsius degree(s) and the other real number is less than the real number
(=> (climateTypeInArea ?AREA TemperateClimateZone) (exists (?MO) (and (instance ?MO Month) (averageTemperatureForPeriod ?AREA ?MO (MeasureFn ?AMOUNT CelsiusDegree)) (greaterThan ?AMOUNT 10.0))))	Geography.kif 1413-1420	If temperate climate zone is a climate type in area of a geographic area, then there exists a time interval such that the time interval is an instance of month and the geographic area average temperature for period the time interval for a real number celsius degree(s) and the real number is greater than 10.0
(=> (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	If tropical climate zone is a climate type in area of a geographic area, then a time interval is an instance of month and the geographic area average temperature for period the time interval for a real number celsius degree(s) and the real number is greater than 18.0 and there don't exist another time interval and another real number such that the geographic area average temperature for period the other time interval for the other real number celsius degree(s) and the other real number is less than the real number
(=> (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	If wet tropical climate zone is a climate type in area of a geographic area, then for all a month and a real number the month is an instance of month and the geographic area average rainfall for period the month for the real number one thousandth of a meter(s) and the real number is greater than or equal to 60.0
(=> (instance ?YEAR Year) (equal (CardinalityFn (TemporalCompositionFn ?YEAR Month)) 12))	Merge.kif 9357-9359	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 3.0 is open source software produced by Articulate Software and its partners