TreeView 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 9181-9181
(documentation Month JapaneseLanguage "すべてのカレンダー Month の Class。")	japanese_format.kif 1535-1535
(relatedInternalConcept Month MonthFn)	Merge.kif 9179-9179	Month is internally related to month
(subclass Month TimeInterval)	Merge.kif 9178-9178	Month is a subclass of time interval

appearance as argument number 2

(rangeSubclass MonthFn Month)	Merge.kif 8708-8708	The values returned by month are subclasses of month
(relatedInternalConcept DhuAlHijjah Month)	ArabicCulture.kif 113-113	Dhu al hijjah is internally related to month
(subclass April Month)	Merge.kif 9235-9235	April is a subclass of month
(subclass August Month)	Merge.kif 9291-9291	August is a subclass of month
(subclass December Month)	Merge.kif 9348-9348	December is a subclass of month
(subclass February Month)	Merge.kif 9197-9197	February is a subclass of month
(subclass January Month)	Merge.kif 9183-9183	January is a subclass of month
(subclass July Month)	Merge.kif 9277-9277	July is a subclass of month
(subclass June Month)	Merge.kif 9263-9263	June is a subclass of month
(subclass March Month)	Merge.kif 9221-9221	March is a subclass of month
(subclass May Month)	Merge.kif 9249-9249	May is a subclass of month
(subclass November Month)	Merge.kif 9334-9334	November is a subclass of month
(subclass October Month)	Merge.kif 9320-9320	October is a subclass of month
(subclass September Month)	Merge.kif 9305-9305	September is a subclass of month
(termFormat ChineseLanguage Month "月")	chinese_format.kif 1276-1276	September is a subclass of month
(termFormat EnglishLanguage Month "month")	english_format.kif 1769-1769	September is a subclass of month
(termFormat FrenchLanguage Month "mois")	french_format.kif 954-954	September is a subclass of month
(termFormat Hindi Month "mahInaa")	terms-hindi.txt 489-489	September is a subclass of month
(termFormat ItalianLanguage Month "Mese")	terms-it.txt 493-493	September is a subclass of month
(termFormat JapaneseLanguage Month "月")	japanese_format.kif 2638-2638	September is a subclass of month
(termFormat PortugueseLanguage Month "Mes")	portuguese_format.kif 906-906	September is a subclass of month
(termFormat cb Month "bulana")	terms-cb.txt 495-495	September is a subclass of month
(termFormat cz Month "month")	terms-cz.txt 529-529	September is a subclass of month
(termFormat de Month "Monat")	terms-de.txt 788-788	September is a subclass of month

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 2780-2780	The number 2 argument of average rainfall for period is an instance of month
(domainSubclass DailyTempListFn 2 Month)	Weather.kif 655-655	The number 2 argument of daily temperature list of the month is a subclass of month
(domainSubclass DayFn 2 Month)	Merge.kif 8724-8724	The number 2 argument of day is a subclass of month
(domainSubclass MeanMonthSSTFn 2 Month)	Weather.kif 636-636	The number 2 argument of mean month sea surface temperature is a subclass of month
(domainSubclass MonthFn 1 Month)	Merge.kif 8706-8706	The number 1 argument of month is a subclass of month
(domainSubclass NumberOfDaysInMonthFn 1 Month)	Weather.kif 682-682	The number 1 argument of number of days in the month is a subclass of month
(domainSubclass ThirtyYearAverageSSTForMonthFn 2 Month)	Weather.kif 834-834	The number 2 argument of thirty year average sea surface temperature for month is a subclass of month
(domainSubclass ThreeMonthsRunningMeanSSTFn 2 Month)	Weather.kif 801-801	The number 2 argument of three months running mean sea surface temperature is a subclass of month
(domainSubclass previousMonthYear 1 Month)	Weather.kif 764-764	The number 1 argument of previous month of is a subclass of month
(domainSubclass previousMonthYear 3 Month)	Weather.kif 766-766	The number 3 argument of previous month of 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 2996-3004	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 2844-2851	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 2893-2899	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 2790-2797	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 3049-3056	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 ?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	If a liability account is an instance of liability account and the liability account is minimum payment a real number an unit of measure(s) for month duration and the unit of measure is an instance of unit of currency 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 real number the unit of measure(s) for the time interval and the other real number is less than the real number, then there exists another process such that the other process is an instance of penalizing 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 Easter sunday 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 9621-9625	If a time interval is an instance of month and duration of the time interval is an integer day duration(s), then equal the number of instances in decomposition of the time interval into days and the integer

consequent

(<=> (monthlyIncome ?Agent ?Money) (exists (?Month) (and (instance ?Month Month) (income ?Agent ?Money ?Month))))	FinancialOntology.kif 3300-3305	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 equal a time point and 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 3007-3015	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) (exists (?MO ?TEMP) (and (instance ?MO Month) (averageTemperatureForPeriod ?AREA ?MO (MeasureFn ?TEMP CelsiusDegree)) (greaterThan 10.0 ?TEMP))))	Geography.kif 3040-3047	If polar 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 geographic area average temperature for period the time interval for the real number celsius degree(s) and 10.0 is greater than the real number
(=> (climateTypeInArea ?AREA SubtropicalDesertClimateZone) (exists (?MO ?TEMP) (and (instance ?MO Month) (averageTemperatureForPeriod ?AREA ?MO (MeasureFn ?TEMP CelsiusDegree)) (greaterThan ?TEMP 18.0))))	Geography.kif 2853-2860	If subtropical desert 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 geographic area average temperature for period the time interval for the real number celsius degree(s) and the real number is greater than 18.0
(=> (climateTypeInArea ?AREA TemperateClimateZone) (exists (?MO ?AMOUNT) (and (instance ?MO Month) (averageTemperatureForPeriod ?AREA ?MO (MeasureFn ?AMOUNT CelsiusDegree)) (greaterThan ?AMOUNT 10.0))))	Geography.kif 2883-2890	If temperate 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 geographic area average temperature for period the time interval for the real number celsius degree(s) and the real number is greater than 10.0
(=> (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 2902-2917	If temperate 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 geographic area average temperature for period the time interval for the 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 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 2759-2772	If tropical 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 geographic area average temperature for period the time interval for the 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 2799-2806	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 9617-9619	If a time interval is an instance of year, then equal the number of instances in decomposition of the time interval into months and 12

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

KB Term:			Term intersection

English Word: