TreeView 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 8726-8726
(documentation Year JapaneseLanguage "すべてのカレンダー Year の Class。")	japanese_format.kif 1511-1511
(relatedInternalConcept Year YearDuration)	Merge.kif 8724-8724	Year is internally related to year duration
(relatedInternalConcept Year YearFn)	Merge.kif 8723-8723	Year is internally related to year
(subclass Year TimeInterval)	Merge.kif 8722-8722	Year is a subclass of time interval

appearance as argument number 2

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

appearance as argument number 3

(domain BirthsPerThousandFn 2 Year)	People.kif 96-96	The number 2 argument of births per thousand is an instance of year
(domain ChildrenBornPerWomanFn 2 Year)	People.kif 468-468	The number 2 argument of children born per woman is an instance of year
(domain DeathsPerThousandFn 2 Year)	People.kif 129-129	The number 2 argument of deaths per thousand is an instance of year
(domain DeathsPerThousandLiveBirthsFn 2 Year)	People.kif 255-255	The number 2 argument of deaths per thousand live births is an instance of year
(domain FemaleLifeExpectancyAtBirthFn 2 Year)	People.kif 421-421	The number 2 argument of female life expectancy at birth is an instance of year
(domain LifeExpectancyAtBirthFn 2 Year)	People.kif 324-324	The number 2 argument of life expectancy at birth is an instance of year
(domain MaleLifeExpectancyAtBirthFn 2 Year)	People.kif 373-373	The number 2 argument of male life expectancy at birth is an instance of year
(domain MigrantsPerThousandFn 2 Year)	People.kif 165-165	The number 2 argument of migrants per thousand is an instance of year
(domain PopulationGrowthFn 2 Year)	People.kif 63-63	The number 2 argument of population growth is an instance of year
(domain ReachingMilitaryAgeAnnuallyMaleFn 2 Year)	Military.kif 925-925	The number 2 argument of reaching military age annually male is an instance of year
(domainSubclass FiscalYearStartingFn 2 Year)	Economy.kif 3740-3740	The number 2 argument of fiscal year starting is a subclass of year
(domainSubclass MonthFn 2 Year)	Merge.kif 8556-8556	The number 2 argument of month is a subclass of year
(domainSubclass QuarterFn 2 Year)	Merge.kif 8953-8953	The number 2 argument of quarter fn is a subclass of year
(domainSubclass WeekFn 2 Year)	Merge.kif 8935-8935	The number 2 argument of week fn is a subclass of year
(domainSubclass lastRenovation 2 Year)	Hotel.kif 744-744	The number 2 argument of last renovation is a subclass of year
(domainSubclass yearBuilt 2 Year)	Hotel.kif 723-723	The number 2 argument of year built 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 2128-2137	If a geopolitical area is electricity consumption in period a physical quantity for 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 the fiscal year of the geopolitical area, then there exists a time position such that the time position is an instance of the kind of time interval and the physical quantity is an annual electricity consumption of the geopolitical area 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 2172-2181	If a geopolitical area is electricity export in period a physical quantity for 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 the fiscal year of the geopolitical area, then there exists a time position such that the time position is an instance of the kind of time interval and the physical quantity is an annual electricity export of the geopolitical area 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 2218-2227	If a geopolitical area is electricity import in period a physical quantity for 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 the fiscal year of the geopolitical area, then there exists a time position such that the time position is an instance of the kind of time interval and the physical quantity is an annual electricity import of the geopolitical area 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 1996-2005	If a geopolitical area is electricity production in period a physical quantity for 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 the fiscal year of the geopolitical area, then there exists a time position such that the time position is an instance of the kind of time interval and the physical quantity is an annual electricity production of the geopolitical area 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 2293-2302	If a geopolitical area export total in period a currency measure for 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 the fiscal year of the geopolitical area, then there exists a time position such that the time position is an instance of the kind of time interval and the currency measure is an annual export total of the geopolitical area 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 2139-2146	If a physical quantity is an annual electricity consumption of a geopolitical area 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 the fiscal year of the geopolitical area, then the geopolitical area is electricity consumption in period the physical quantity for 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 2183-2190	If a physical quantity is an annual electricity export of a geopolitical area 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 the fiscal year of the geopolitical area, then the geopolitical area is electricity export in period the physical quantity for 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 2229-2236	If a physical quantity is an annual electricity import of a geopolitical area 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 the fiscal year of the geopolitical area, then the geopolitical area is electricity import in period the physical quantity for 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 2007-2014	If a physical quantity is an annual electricity production of a geopolitical area 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 the fiscal year of the geopolitical area, then the geopolitical area is electricity production in period the physical quantity for 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 2304-2311	If a currency measure is an annual export total of a geopolitical area 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 the fiscal year of the geopolitical area, then the geopolitical area export total in period the currency measure for 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 2610-2617	If a currency measure is an annual import total of a geopolitical area 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 the fiscal year of the geopolitical area, then the geopolitical area import total in period the currency measure for 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 2599-2608	If a geopolitical area import total in period a currency measure for 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 the fiscal year of the geopolitical area, then there exists a time position such that the time position is an instance of the kind of time interval and the currency measure is an annual import total of the geopolitical area 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 Easter sunday 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 Easter sunday 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 3754-3758	If an agent is an instance of agent and a kind of year is a subclass of year, then the fiscal year starting of the agent and a kind of year is an instance of the fiscal year of 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 Christmas day 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 Christmas day 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 Easter sunday and a third time interval is an instance of ascension thursday 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 day duration(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 Easter sunday and a third time interval is an instance of palm sunday 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 day duration(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 Easter sunday 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 day duration(s)
(=> (instance ?YEAR Year) (duration ?YEAR (MeasureFn 1 YearDuration)))	Merge.kif 8728-8730	If a time interval is an instance of year, then duration of the time interval is 1 year duration(s)
(=> (instance ?YEAR Year) (equal (CardinalityFn (TemporalCompositionFn ?YEAR Month)) 12))	Merge.kif 9443-9445	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

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 value of belongings of the agent is equal to a currency measure, 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 fully formed 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 unit of currency and the fifth entity is greater than the currency measure 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 Christmas day 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 eid al fitr, 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 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: