Year - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Year ChineseLanguage "这是所有日历 Year 的 Class。")	chinese_format.kif 2781-2781
(documentation Year EnglishLanguage "The Class of all calendar Years.")	Merge.kif 8877-8877
(documentation Year JapaneseLanguage "すべてのカレンダー Year の Class。")	japanese_format.kif 1511-1511
(relatedInternalConcept Year YearDuration)	Merge.kif 8875-8875	Year is internally related to YearDuration
(relatedInternalConcept Year YearFn)	Merge.kif 8874-8874	Year is internally related to YearFn
(subclass Year TimeInterval)	Merge.kif 8873-8873	Year is a subclass of time interval

appearance as argument number 2

(rangeSubclass YearFn Year)	Merge.kif 8691-8691	The values returned by YearFn are subclasses of year
(subclass LeapYear Year)	Merge.kif 9130-9130	Leap year is a subclass of year
(termFormat ChineseLanguage Year "年")	chinese_format.kif 1274-1274	Leap year is a subclass of year
(termFormat ChineseTraditionalLanguage Year "年")	domainEnglishFormat.kif 63737-63737	Leap year is a subclass of year
(termFormat EnglishLanguage Year "year")	english_format.kif 1765-1765	Leap year is a subclass of year
(termFormat FrenchLanguage Year "ann�e")	french_format.kif 952-952	Leap year is a subclass of year
(termFormat Hindi Year "varsha")	terms-hindi.txt 487-487	Leap year is a subclass of year
(termFormat ItalianLanguage Year "Anno")	terms-it.txt 491-491	Leap year is a subclass of year
(termFormat JapaneseLanguage Year "年")	japanese_format.kif 2636-2636	Leap year is a subclass of year
(termFormat PortugueseLanguage Year "Ano")	portuguese_format.kif 904-904	Leap year is a subclass of year
(termFormat cz Year "year")	terms-cz.txt 527-527	Leap year is a subclass of year
(termFormat de Year "Jahr")	terms-de.txt 786-786	Leap year is a subclass of year
(termFormat ro Year "an")	relations-ro.kif 973-973	Leap year is a subclass of year
(termFormat tg Year "taon")	terms-tg.txt 492-492	Leap year is a subclass of year

appearance as argument number 3

(domain BirthsPerThousandFn 2 Year)	People.kif 70-70	The number 2 argument of BirthsPerThousandFn is an instance of year
(domain ChildrenBornPerWomanFn 2 Year)	People.kif 442-442	The number 2 argument of ChildrenBornPerWomanFn is an instance of year
(domain DailyTempListFn 3 Year)	Weather.kif 656-656	The number 3 argument of DailyTempListFn is an instance of year
(domain DeathsPerThousandFn 2 Year)	People.kif 103-103	The number 2 argument of DeathsPerThousandFn is an instance of year
(domain DeathsPerThousandLiveBirthsFn 2 Year)	People.kif 229-229	The number 2 argument of DeathsPerThousandLiveBirthsFn is an instance of year
(domain FemaleLifeExpectancyAtBirthFn 2 Year)	People.kif 395-395	The number 2 argument of FemaleLifeExpectancyAtBirthFn is an instance of year
(domain GrossNationalProductFn 2 Year)	Economy.kif 1024-1024	The number 2 argument of GrossNationalProductFn is an instance of year
(domain LifeExpectancyAtBirthFn 2 Year)	People.kif 298-298	The number 2 argument of LifeExpectancyAtBirthFn is an instance of year
(domain MaleLifeExpectancyAtBirthFn 2 Year)	People.kif 347-347	The number 2 argument of MaleLifeExpectancyAtBirthFn is an instance of year
(domain MeanMonthSSTFn 3 Year)	Weather.kif 637-637	The number 3 argument of MeanMonthSSTFn is an instance of year
(domain MigrantsPerThousandFn 2 Year)	People.kif 139-139	The number 2 argument of MigrantsPerThousandFn is an instance of year
(domain NumberOfDaysInMonthFn 2 Year)	Weather.kif 683-683	The number 2 argument of NumberOfDaysInMonthFn is an instance of year
(domain PopulationGrowthFn 2 Year)	People.kif 37-37	The number 2 argument of PopulationGrowthFn is an instance of year
(domain ReachingMilitaryAgeAnnuallyMaleFn 2 Year)	Military.kif 992-992	The number 2 argument of ReachingMilitaryAgeAnnuallyMaleFn is an instance of year
(domain ThirtyYearAverageSSTForMonthFn 3 Year)	Weather.kif 835-835	The number 3 argument of ThirtyYearAverageSSTForMonthFn is an instance of year
(domain ThreeMonthsRunningMeanSSTFn 3 Year)	Weather.kif 802-802	The number 3 argument of ThreeMonthsRunningMeanSSTFn is an instance of year
(domain previousMonthYear 2 Year)	Weather.kif 765-765	The number 2 argument of previousMonthYear is an instance of year
(domain previousMonthYear 4 Year)	Weather.kif 767-767	The number 4 argument of previousMonthYear is an instance of year
(domainSubclass FiscalYearStartingFn 2 Year)	Economy.kif 4056-4056	The number 2 argument of FiscalYearStartingFn is a subclass of year
(domainSubclass MonthFn 2 Year)	Merge.kif 8707-8707	The number 2 argument of MonthFn is a subclass of year
(domainSubclass QuarterFn 2 Year)	Merge.kif 9104-9104	The number 2 argument of QuarterFn is a subclass of year
(domainSubclass WeekFn 2 Year)	Merge.kif 9086-9086	The number 2 argument of WeekFn is a subclass of year
(domainSubclass lastRenovation 2 Year)	Hotel.kif 748-748	The number 2 argument of lastRenovation is a subclass of year
(domainSubclass yearBuilt 2 Year)	Hotel.kif 727-727	The number 2 argument of yearBuilt is a subclass of year

antecedent

(=> (and (electricityConsumptionInPeriod ?AREA ?AMOUNT ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (exists (?YEAR) (and (instance ?YEAR ?PERIOD) (holdsDuring ?YEAR (annualElectricityConsumption ?AREA ?AMOUNT)))))	Economy.kif 2347-2356	If electricityConsumptionInPeriod a geopolitical area, a physical quantity and a kind of time interval and a kind of time interval is a subclass of year or the kind of time interval is a subclass of FiscalYearFn the geopolitical area, then there exists a time position such that the time position is an instance of the kind of time interval and annualElectricityConsumption the geopolitical area and the physical quantity holds during the time position
(=> (and (electricityExportInPeriod ?AREA ?AMOUNT ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (exists (?YEAR) (and (instance ?YEAR ?PERIOD) (holdsDuring ?YEAR (annualElectricityExport ?AREA ?AMOUNT)))))	Economy.kif 2391-2400	If electricityExportInPeriod a geopolitical area, a physical quantity and a kind of time interval and a kind of time interval is a subclass of year or the kind of time interval is a subclass of FiscalYearFn the geopolitical area, then there exists a time position such that the time position is an instance of the kind of time interval and annualElectricityExport the geopolitical area and the physical quantity holds during the time position
(=> (and (electricityImportInPeriod ?AREA ?AMOUNT ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (exists (?YEAR) (and (instance ?YEAR ?PERIOD) (holdsDuring ?YEAR (annualElectricityImport ?AREA ?AMOUNT)))))	Economy.kif 2437-2446	If electricityImportInPeriod a geopolitical area, a physical quantity and a kind of time interval and a kind of time interval is a subclass of year or the kind of time interval is a subclass of FiscalYearFn the geopolitical area, then there exists a time position such that the time position is an instance of the kind of time interval and annualElectricityImport the geopolitical area and the physical quantity holds during the time position
(=> (and (electricityProductionInPeriod ?AREA ?AMOUNT ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (exists (?YEAR) (and (instance ?YEAR ?PERIOD) (holdsDuring ?YEAR (annualElectricityProduction ?AREA ?AMOUNT)))))	Economy.kif 2215-2224	If electricityProductionInPeriod a geopolitical area, a physical quantity and a kind of time interval and a kind of time interval is a subclass of year or the kind of time interval is a subclass of FiscalYearFn the geopolitical area, then there exists a time position such that the time position is an instance of the kind of time interval and annualElectricityProduction the geopolitical area and the physical quantity holds during the time position
(=> (and (exportTotalInPeriod ?AREA ?AMOUNT ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (exists (?YEAR) (and (instance ?YEAR ?PERIOD) (holdsDuring ?YEAR (annualExportTotal ?AREA ?AMOUNT)))))	Economy.kif 2512-2521	If exportTotalInPeriod a geopolitical area, a currency measure and a kind of time interval and a kind of time interval is a subclass of year or the kind of time interval is a subclass of FiscalYearFn the geopolitical area, then there exists a time position such that the time position is an instance of the kind of time interval and annualExportTotal the geopolitical area and the currency measure holds during the time position
(=> (and (holdsDuring ?YEAR (annualElectricityConsumption ?AREA ?AMOUNT)) (instance ?YEAR ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (electricityConsumptionInPeriod ?AREA ?AMOUNT ?PERIOD))	Economy.kif 2358-2365	If annualElectricityConsumption a geopolitical area and a physical quantity holds during a time position and the time position is an instance of a kind of time interval and a kind of time interval is a subclass of year or the kind of time interval is a subclass of FiscalYearFn the geopolitical area, then electricityConsumptionInPeriod the geopolitical area, the physical quantity and the kind of time interval
(=> (and (holdsDuring ?YEAR (annualElectricityExport ?AREA ?AMOUNT)) (instance ?YEAR ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (electricityExportInPeriod ?AREA ?AMOUNT ?PERIOD))	Economy.kif 2402-2409	If annualElectricityExport a geopolitical area and a physical quantity holds during a time position and the time position is an instance of a kind of time interval and a kind of time interval is a subclass of year or the kind of time interval is a subclass of FiscalYearFn the geopolitical area, then electricityExportInPeriod the geopolitical area, the physical quantity and the kind of time interval
(=> (and (holdsDuring ?YEAR (annualElectricityImport ?AREA ?AMOUNT)) (instance ?YEAR ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (electricityImportInPeriod ?AREA ?AMOUNT ?PERIOD))	Economy.kif 2448-2455	If annualElectricityImport a geopolitical area and a physical quantity holds during a time position and the time position is an instance of a kind of time interval and a kind of time interval is a subclass of year or the kind of time interval is a subclass of FiscalYearFn the geopolitical area, then electricityImportInPeriod the geopolitical area, the physical quantity and the kind of time interval
(=> (and (holdsDuring ?YEAR (annualElectricityProduction ?AREA ?AMOUNT)) (instance ?YEAR ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (electricityProductionInPeriod ?AREA ?AMOUNT ?PERIOD))	Economy.kif 2226-2233	If annualElectricityProduction a geopolitical area and a physical quantity holds during a time position and the time position is an instance of a kind of time interval and a kind of time interval is a subclass of year or the kind of time interval is a subclass of FiscalYearFn the geopolitical area, then electricityProductionInPeriod the geopolitical area, the physical quantity and the kind of time interval
(=> (and (holdsDuring ?YEAR (annualExportTotal ?AREA ?AMOUNT)) (instance ?YEAR ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (exportTotalInPeriod ?AREA ?AMOUNT ?PERIOD))	Economy.kif 2523-2530	If annualExportTotal a geopolitical area and a currency measure holds during a time position and the time position is an instance of a kind of time interval and a kind of time interval is a subclass of year or the kind of time interval is a subclass of FiscalYearFn the geopolitical area, then exportTotalInPeriod the geopolitical area, the currency measure and the kind of time interval
(=> (and (holdsDuring ?YEAR (annualImportTotal ?AREA ?AMOUNT)) (instance ?YEAR ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (importTotalInPeriod ?AREA ?AMOUNT ?PERIOD))	Economy.kif 2926-2933	If annualImportTotal a geopolitical area and a currency measure holds during a time position and the time position is an instance of a kind of time interval and a kind of time interval is a subclass of year or the kind of time interval is a subclass of FiscalYearFn the geopolitical area, then importTotalInPeriod the geopolitical area, the currency measure and the kind of time interval
(=> (and (importTotalInPeriod ?AREA ?AMOUNT ?PERIOD) (or (subclass ?PERIOD Year) (subclass ?PERIOD (FiscalYearFn ?AREA)))) (exists (?YEAR) (and (instance ?YEAR ?PERIOD) (holdsDuring ?YEAR (annualImportTotal ?AREA ?AMOUNT)))))	Economy.kif 2915-2924	If importTotalInPeriod a geopolitical area, a currency measure and a kind of time interval and a kind of time interval is a subclass of year or the kind of time interval is a subclass of FiscalYearFn the geopolitical area, then there exists a time position such that the time position is an instance of the kind of time interval and annualImportTotal the geopolitical area and the currency measure holds during the time position
(=> (and (instance ?ES EasterSunday) (instance ?L Lent) (meetsTemporally ?L ?ES) (during ?ES ?Y) (instance ?Y Year)) (during ?L ?Y))	Media.kif 437-444	If a time interval is an instance of EasterSunday and another time interval is an instance of Lent and the other time interval meets the time interval and the time interval takes place during a third time interval and the third time interval is an instance of year, then the other time interval takes place during the third time interval
(=> (and (instance ?ES EasterSunday) (instance ?L Lent) (meetsTemporally ?L ?ES) (during ?L ?Y) (instance ?Y Year)) (during ?ES ?Y))	Media.kif 446-453	If a time interval is an instance of EasterSunday and another time interval is an instance of Lent and the other time interval meets the time interval and the other time interval takes place during a third time interval and the third time interval is an instance of year, then the time interval takes place during the third time interval
(=> (and (instance ?PLACE AutonomousAgent) (subclass ?YEAR Year)) (instance (FiscalYearStartingFn ?PLACE ?YEAR) (FiscalYearFn ?PLACE)))	Economy.kif 4070-4074	If an agent is an instance of agent and a kind of year is a subclass of year, then FiscalYearStartingFn the agent and a kind of year is an instance of FiscalYearFn the agent
(=> (and (instance ?T1 Advent) (instance ?T2 ChristmasDay) (during ?T1 ?YEAR) (instance ?YEAR Year) (meetsTemporally ?T1 ?T2)) (during ?T2 ?YEAR))	Media.kif 387-394	If a time interval is an instance of Advent and another time interval is an instance of ChristmasDay and the time interval takes place during a third time interval and the third time interval is an instance of year and the time interval meets the other time interval, then the other time interval takes place during the third time interval
(=> (and (instance ?T1 Advent) (instance ?T2 ChristmasDay) (during ?T2 ?YEAR) (instance ?YEAR Year) (meetsTemporally ?T1 ?T2)) (during ?T1 ?YEAR))	Media.kif 396-403	If a time interval is an instance of Advent and another time interval is an instance of ChristmasDay and the other time interval takes place during a third time interval and the third time interval is an instance of year and the time interval meets the other time interval, then the time interval takes place during the third time interval
(=> (and (instance ?Y Year) (instance ?E EasterSunday) (instance ?A AscensionThursday) (during ?E ?Y) (during ?A ?Y) (starts ?E ?I) (finishes ?A ?I)) (duration ?I (MeasureFn 40 DayDuration)))	Media.kif 538-547	If a time interval is an instance of year and another time interval is an instance of EasterSunday and a third time interval is an instance of AscensionThursday and the other time interval takes place during the time interval and the third time interval takes place during the time interval and the other time interval starts a fourth time interval and the third time interval finishes the fourth time interval, then duration of the fourth time interval is 40 DayDuration(s)
(=> (and (instance ?Y Year) (instance ?E EasterSunday) (instance ?P PalmSunday) (during ?E ?Y) (during ?P ?Y) (starts ?P ?I) (finishes ?E ?I)) (duration ?I (MeasureFn 8 DayDuration)))	Media.kif 473-482	If a time interval is an instance of year and another time interval is an instance of EasterSunday and a third time interval is an instance of PalmSunday and the other time interval takes place during the time interval and the third time interval takes place during the time interval and the third time interval starts a fourth time interval and the other time interval finishes the fourth time interval, then duration of the fourth time interval is 8 DayDuration(s)
(=> (and (instance ?Y Year) (instance ?E EasterSunday) (instance ?P Pentecost) (during ?E ?Y) (during ?P ?Y) (starts ?E ?I) (finishes ?P ?I)) (duration ?I (MeasureFn 50 DayDuration)))	Media.kif 559-568	If a time interval is an instance of year and another time interval is an instance of EasterSunday and a third time interval is an instance of Pentecost and the other time interval takes place during the time interval and the third time interval takes place during the time interval and the other time interval starts a fourth time interval and the third time interval finishes the fourth time interval, then duration of the fourth time interval is 50 DayDuration(s)
(=> (instance ?YEAR Year) (duration ?YEAR (MeasureFn 1 YearDuration)))	Merge.kif 8879-8881	If a time interval is an instance of year, then duration of the time interval is 1 YearDuration(s)
(=> (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

consequent

(=> (and (attribute ?H Muslim) (equal (WealthFn ?H) ?W)) (modalAttribute (exists (?Z ?T ?U ?Y ?C) (and (instance ?Z Zakat) (instance ?Y Year) (during ?Y (WhenFn ?H)) (holdsDuring ?Y (attribute ?H FullyFormed)) (agent ?Z ?H) (patient ?Z ?T) (monetaryValue ?T (MeasureFn ?C ?U)) (instance ?U UnitOfCurrency) (greaterThan ?C (MultiplicationFn ?W 0.025)))) Obligation))	ArabicCulture.kif 204-223	If Muslim is an attribute of an agent and equal value of belongings of the agent and an integer, then the statement there exist an entity, another entity,, , a third entity,, , a fourth entity and a fifth entity such that the entity is an instance of Zakat and the fourth entity is an instance of year and the fourth entity takes place during the time of existence of the agent and FullyFormed is an attribute of the agent holds during the fourth entity and the agent is an agent of the entity and the other entity is a patient of the entity and value of the other entity is the fifth entity the third entity(s) and the third entity is an instance of UnitOfCurrency and the fifth entity is greater than the integer and 0.025 has the modal force of Obligation
(=> (and (instance ?T1 Advent) (instance ?T2 ChristmasDay) (meetsTemporally ?T1 ?T2)) (exists (?YEAR) (and (instance ?YEAR Year) (during ?T1 ?YEAR) (during ?T2 ?YEAR))))	Media.kif 376-385	If a time interval is an instance of Advent and another time interval is an instance of ChristmasDay and the time interval meets the other time interval, then there exists a third time interval such that the third time interval is an instance of year and the time interval takes place during the third time interval and the other time interval takes place during the third time interval
(=> (instance ?E EidAlFitr) (exists (?R ?Y) (and (instance ?R Ramadan) (instance ?Y Year) (during ?R ?Y) (during ?E ?Y) (before ?R ?E))))	ArabicCulture.kif 229-237	If a time interval is an instance of EidAlFitr, then there exist another time interval and a third time interval such that the other time interval is an instance of Ramadan and the third time interval is an instance of year and the other time interval takes place during the third time interval and the time interval takes place during the third time interval and the other time interval happens before the time interval

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: