Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Year
Year(year)365_days, Christian_year, Holy_Year, astronomical_year, calendar_year, church_year, civil_year, common_year, equinoctial_year, off_year, sabbatical_year, solar_year, tropical_year, year_of_grace

appearance as argument number 1
-------------------------


s__subclass(s__Year,s__TimeInterval)

 Merge.kif 8940-8940 Year is a subclass of timeframe
s__relatedInternalConcept(s__Year,s__YearFn)

 Merge.kif 8941-8941 Year is internally related to year
s__relatedInternalConcept(s__Year,s__YearDuration)

 Merge.kif 8942-8942 Year is internally related to year duration
s__documentation(s__Year, s__EnglishLanguage, "The Class of all calendar Years_") Merge.kif 8944-8944 Year is internally related to year duration

appearance as argument number 2
-------------------------


s__rangeSubclass(s__YearFn,s__Year)

 Merge.kif 8758-8758 The values returned by year are subclasses of year
s__subclass(s__LeapYear,s__Year)

 Merge.kif 9197-9197 Leap year is a subclass of year
s__termFormat(s__ChineseTraditionalLanguage, s__Year, "年") domainEnglishFormat.kif 63747-63747 Leap year is a subclass of year
s__termFormat(s__ChineseLanguage, s__Year, "年") domainEnglishFormat.kif 63748-63748 Leap year is a subclass of year
s__termFormat(s__EnglishLanguage, s__Year, "year") english_format.kif 1769-1769 Leap year is a subclass of year

appearance as argument number 3
-------------------------


s__domainSubclass(s__MonthFn,n__2,s__Year)

 Merge.kif 8774-8774 The number 2 argument of month is a subclass of year
s__domainSubclass(s__WeekFn,n__2,s__Year)

 Merge.kif 9153-9153 The number 2 argument of week fn is a subclass of year
s__domainSubclass(s__QuarterFn,n__2,s__Year)

 Merge.kif 9171-9171 The number 2 argument of quarter fn is a subclass of year
s__domain(s__GrossNationalProductFn,n__2,s__Year)

 Economy.kif 1024-1024 The number 2 argument of GNP is an instance of year
s__domainSubclass(s__FiscalYearStartingFn,n__2,s__Year)

 Economy.kif 4056-4056 The number 2 argument of fiscal year starting is a subclass of year
s__domainSubclass(s__yearBuilt,n__2,s__Year)

 Hotel.kif 727-727 The number 2 argument of year built is a subclass of year
s__domainSubclass(s__lastRenovation,n__2,s__Year)

 Hotel.kif 748-748 The number 2 argument of last renovation is a subclass of year
s__domain(s__ReachingMilitaryAgeAnnuallyMaleFn,n__2,s__Year)

 Military.kif 1189-1189 The number 2 argument of reaching military age annually male is an instance of year
s__domain(s__PopulationGrowthFn,n__2,s__Year)

 People.kif 37-37 The number 2 argument of population growth is an instance of year
s__domain(s__BirthsPerThousandFn,n__2,s__Year)

 People.kif 70-70 The number 2 argument of births per thousand is an instance of year
s__domain(s__DeathsPerThousandFn,n__2,s__Year)

 People.kif 120-120 The number 2 argument of deaths per thousand is an instance of year
s__domain(s__MigrantsPerThousandFn,n__2,s__Year)

 People.kif 173-173 The number 2 argument of migrants per thousand is an instance of year
s__domain(s__DeathsPerThousandLiveBirthsFn,n__2,s__Year)

 People.kif 263-263 The number 2 argument of deaths per thousand live births is an instance of year
s__domain(s__LifeExpectancyAtBirthFn,n__2,s__Year)

 People.kif 332-332 The number 2 argument of life expectancy at birth is an instance of year
s__domain(s__MaleLifeExpectancyAtBirthFn,n__2,s__Year)

 People.kif 381-381 The number 2 argument of male life expectancy at birth is an instance of year
s__domain(s__FemaleLifeExpectancyAtBirthFn,n__2,s__Year)

 People.kif 429-429 The number 2 argument of female life expectancy at birth is an instance of year
s__domain(s__ChildrenBornPerWomanFn,n__2,s__Year)

 People.kif 476-476 The number 2 argument of children born per woman is an instance of year
s__domain(s__MeanMonthSSTFn,n__3,s__Year)

 Weather.kif 621-621 The number 3 argument of mean month sea surface temperature is an instance of year
s__domain(s__DailyTempListFn,n__3,s__Year)

 Weather.kif 640-640 The number 3 argument of daily temperature list of the month is an instance of year
s__domain(s__NumberOfDaysInMonthFn,n__2,s__Year)

 Weather.kif 667-667 The number 2 argument of number of days in the month is an instance of year
s__domain(s__previousMonthYear,n__2,s__Year)

 Weather.kif 749-749 The number 2 argument of previous month of is an instance of year
s__domain(s__previousMonthYear,n__4,s__Year)

 Weather.kif 751-751 The number 4 argument of previous month of is an instance of year
s__domain(s__ThreeMonthsRunningMeanSSTFn,n__3,s__Year)

 Weather.kif 786-786 The number 3 argument of three months running mean sea surface temperature is an instance of year
s__domain(s__ThirtyYearAverageSSTForMonthFn,n__3,s__Year)

 Weather.kif 819-819 The number 3 argument of thirty year average sea surface temperature for month is an instance of year
s__domain(s__expectedYearOfGraduation,n__2,s__Year)

 LinkedInDegrees.kif 445-445 The number 2 argument of expectedYearOfGraduation is an instance of year

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent
-------------------------


! [V__YEAR] :
((s__instance(V__YEAR,s__Year) =>
     s__duration(V__YEAR,s__MeasureFn(n__1,s__YearDuration)))
)

 Merge.kif 8946-8948 If X is an instance of year, then duration of X is 1 year duration(s)
! [V__YEAR] :
((s__instance(V__YEAR,s__Year) =>
     (s__CardinalityFn(s__TemporalCompositionFn(V__YEAR,s__Month))
     = n__12))
)

 Merge.kif 9684-9686 If X is an instance of year, then equal the number of instances in decomposition of X into months and 12
! [V__AMOUNT : $i,V__AREA : $i,V__PERIOD : $i] : (((s__electricityProductionInPeriod(V__AREA, V__AMOUNT, V__PERIOD) & (s__subclass(V__PERIOD, s__Year) | s__subclass(V__PERIOD, s__FiscalYearFn(V__AREA)))) => ( ? [V__YEAR:$i] : ((s__instance(V__YEAR, V__PERIOD) & s__holdsDuring(V__YEAR, s__annualElectricityProduction(V__AREA, V__AMOUNT))))))) Economy.kif 2215-2224 If X is electricity production in period Y for Z and Z is a subclass of year or Z is a subclass of the fiscal year of X, then there exists W such that W is an instance of Z and Y is an annual electricity production of X holds during W
! [V__AMOUNT : $i,V__AREA : $i,V__PERIOD : $i,V__YEAR : $i] : (((s__holdsDuring(V__YEAR, s__annualElectricityProduction(V__AREA, V__AMOUNT)) & s__instance(V__YEAR, V__PERIOD) & (s__subclass(V__PERIOD, s__Year) | s__subclass(V__PERIOD, s__FiscalYearFn(V__AREA)))) => s__electricityProductionInPeriod(V__AREA, V__AMOUNT, V__PERIOD))) Economy.kif 2226-2233 If X is an annual electricity production of Y holds during Z, Z is an instance of W, and W is a subclass of year or W is a subclass of the fiscal year of Y, then Y is electricity production in period X for W
! [V__AMOUNT : $i,V__AREA : $i,V__PERIOD : $i] : (((s__electricityConsumptionInPeriod(V__AREA, V__AMOUNT, V__PERIOD) & (s__subclass(V__PERIOD, s__Year) | s__subclass(V__PERIOD, s__FiscalYearFn(V__AREA)))) => ( ? [V__YEAR:$i] : ((s__instance(V__YEAR, V__PERIOD) & s__holdsDuring(V__YEAR, s__annualElectricityConsumption(V__AREA, V__AMOUNT))))))) Economy.kif 2347-2356 If X is electricity consumption in period Y for Z and Z is a subclass of year or Z is a subclass of the fiscal year of X, then there exists W such that W is an instance of Z and Y is an annual electricity consumption of X holds during W
! [V__AMOUNT : $i,V__AREA : $i,V__PERIOD : $i,V__YEAR : $i] : (((s__holdsDuring(V__YEAR, s__annualElectricityConsumption(V__AREA, V__AMOUNT)) & s__instance(V__YEAR, V__PERIOD) & (s__subclass(V__PERIOD, s__Year) | s__subclass(V__PERIOD, s__FiscalYearFn(V__AREA)))) => s__electricityConsumptionInPeriod(V__AREA, V__AMOUNT, V__PERIOD))) Economy.kif 2358-2365 If X is an annual electricity consumption of Y holds during Z, Z is an instance of W, and W is a subclass of year or W is a subclass of the fiscal year of Y, then Y is electricity consumption in period X for W
! [V__AMOUNT : $i,V__AREA : $i,V__PERIOD : $i] : (((s__electricityExportInPeriod(V__AREA, V__AMOUNT, V__PERIOD) & (s__subclass(V__PERIOD, s__Year) | s__subclass(V__PERIOD, s__FiscalYearFn(V__AREA)))) => ( ? [V__YEAR:$i] : ((s__instance(V__YEAR, V__PERIOD) & s__holdsDuring(V__YEAR, s__annualElectricityExport(V__AREA, V__AMOUNT))))))) Economy.kif 2391-2400 If X is electricity export in period Y for Z and Z is a subclass of year or Z is a subclass of the fiscal year of X, then there exists W such that W is an instance of Z and Y is an annual electricity export of X holds during W
! [V__AMOUNT : $i,V__AREA : $i,V__PERIOD : $i,V__YEAR : $i] : (((s__holdsDuring(V__YEAR, s__annualElectricityExport(V__AREA, V__AMOUNT)) & s__instance(V__YEAR, V__PERIOD) & (s__subclass(V__PERIOD, s__Year) | s__subclass(V__PERIOD, s__FiscalYearFn(V__AREA)))) => s__electricityExportInPeriod(V__AREA, V__AMOUNT, V__PERIOD))) Economy.kif 2402-2409 If X is an annual electricity export of Y holds during Z, Z is an instance of W, and W is a subclass of year or W is a subclass of the fiscal year of Y, then Y is electricity export in period X for W
! [V__AMOUNT : $i,V__AREA : $i,V__PERIOD : $i] : (((s__electricityImportInPeriod(V__AREA, V__AMOUNT, V__PERIOD) & (s__subclass(V__PERIOD, s__Year) | s__subclass(V__PERIOD, s__FiscalYearFn(V__AREA)))) => ( ? [V__YEAR:$i] : ((s__instance(V__YEAR, V__PERIOD) & s__holdsDuring(V__YEAR, s__annualElectricityImport(V__AREA, V__AMOUNT))))))) Economy.kif 2437-2446 If X is electricity import in period Y for Z and Z is a subclass of year or Z is a subclass of the fiscal year of X, then there exists W such that W is an instance of Z and Y is an annual electricity import of X holds during W
! [V__AMOUNT : $i,V__AREA : $i,V__PERIOD : $i,V__YEAR : $i] : (((s__holdsDuring(V__YEAR, s__annualElectricityImport(V__AREA, V__AMOUNT)) & s__instance(V__YEAR, V__PERIOD) & (s__subclass(V__PERIOD, s__Year) | s__subclass(V__PERIOD, s__FiscalYearFn(V__AREA)))) => s__electricityImportInPeriod(V__AREA, V__AMOUNT, V__PERIOD))) Economy.kif 2448-2455 If X is an annual electricity import of Y holds during Z, Z is an instance of W, and W is a subclass of year or W is a subclass of the fiscal year of Y, then Y is electricity import in period X for W
! [V__AMOUNT : $i,V__AREA : $i,V__PERIOD : $i] : (((s__exportTotalInPeriod(V__AREA, V__AMOUNT, V__PERIOD) & (s__subclass(V__PERIOD, s__Year) | s__subclass(V__PERIOD, s__FiscalYearFn(V__AREA)))) => ( ? [V__YEAR:$i] : ((s__instance(V__YEAR, V__PERIOD) & s__holdsDuring(V__YEAR, s__annualExportTotal(V__AREA, V__AMOUNT))))))) Economy.kif 2512-2521 If X export total in period Y for Z and Z is a subclass of year or Z is a subclass of the fiscal year of X, then there exists W such that W is an instance of Z and Y is an annual export total of X holds during W
! [V__AMOUNT : $i,V__AREA : $i,V__PERIOD : $i,V__YEAR : $i] : (((s__holdsDuring(V__YEAR, s__annualExportTotal(V__AREA, V__AMOUNT)) & s__instance(V__YEAR, V__PERIOD) & (s__subclass(V__PERIOD, s__Year) | s__subclass(V__PERIOD, s__FiscalYearFn(V__AREA)))) => s__exportTotalInPeriod(V__AREA, V__AMOUNT, V__PERIOD))) Economy.kif 2523-2530 If X is an annual export total of Y holds during Z, Z is an instance of W, and W is a subclass of year or W is a subclass of the fiscal year of Y, then Y export total in period X for W
! [V__AMOUNT : $i,V__AREA : $i,V__PERIOD : $i] : (((s__importTotalInPeriod(V__AREA, V__AMOUNT, V__PERIOD) & (s__subclass(V__PERIOD, s__Year) | s__subclass(V__PERIOD, s__FiscalYearFn(V__AREA)))) => ( ? [V__YEAR:$i] : ((s__instance(V__YEAR, V__PERIOD) & s__holdsDuring(V__YEAR, s__annualImportTotal(V__AREA, V__AMOUNT))))))) Economy.kif 2915-2924 If X import total in period Y for Z and Z is a subclass of year or Z is a subclass of the fiscal year of X, then there exists W such that W is an instance of Z and Y is an annual import total of X holds during W
! [V__AMOUNT : $i,V__AREA : $i,V__PERIOD : $i,V__YEAR : $i] : (((s__holdsDuring(V__YEAR, s__annualImportTotal(V__AREA, V__AMOUNT)) & s__instance(V__YEAR, V__PERIOD) & (s__subclass(V__PERIOD, s__Year) | s__subclass(V__PERIOD, s__FiscalYearFn(V__AREA)))) => s__importTotalInPeriod(V__AREA, V__AMOUNT, V__PERIOD))) Economy.kif 2926-2933 If X is an annual import total of Y holds during Z, Z is an instance of W, and W is a subclass of year or W is a subclass of the fiscal year of Y, then Y import total in period X for W
! [V__YEAR,V__PLACE] :
(((s__instance(V__YEAR,s__Class) &
       s__subclass(V__YEAR,s__Year))
     =>
     ((s__instance(V__PLACE,s__AutonomousAgent) &
         s__subclass(V__YEAR,s__Year))
       =>
       s__instance(s__FiscalYearStartingFn(V__PLACE,V__YEAR)
    ,s__FiscalYearFn(V__PLACE))))
)

 Economy.kif 4070-4074 If X is an instance of agent and Y is a subclass of year, then the fiscal year starting of X and Y is an instance of the fiscal year of X
! [V__T1,V__T2,V__YEAR] :
(((s__instance(V__T1,s__Advent) &
       s__instance(V__T2,s__ChristmasDay) &
       s__during(V__T1,V__YEAR)
     &
     s__instance(V__YEAR,s__Year) &
     s__meetsTemporally(V__T1,V__T2))
=>
s__during(V__T2,V__YEAR))
)

 Media.kif 381-388 If X is an instance of advent, Y is an instance of Christmas day, X takes place during Z, Z is an instance of year, and X meets Y, then Y takes place during Z
! [V__T1,V__T2,V__YEAR] :
(((s__instance(V__T1,s__Advent) &
       s__instance(V__T2,s__ChristmasDay) &
       s__during(V__T2,V__YEAR)
     &
     s__instance(V__YEAR,s__Year) &
     s__meetsTemporally(V__T1,V__T2))
=>
s__during(V__T1,V__YEAR))
)

 Media.kif 390-397 If X is an instance of advent, Y is an instance of Christmas day, Y takes place during Z, Z is an instance of year, and X meets Y, then X takes place during Z
! [V__ES,V__L,V__Y] :
(((s__instance(V__ES,s__EasterSunday) &
       s__instance(V__L,s__Lent) &
       s__meetsTemporally(V__L,V__ES)
     &
     s__during(V__ES,V__Y)
   &
   s__instance(V__Y,s__Year))
=>
s__during(V__L,V__Y))
)

 Media.kif 431-438 If X is an instance of Easter sunday, Y is an instance of lent, Y meets X, X takes place during Z, and Z is an instance of year, then Y takes place during Z
! [V__ES,V__L,V__Y] :
(((s__instance(V__ES,s__EasterSunday) &
       s__instance(V__L,s__Lent) &
       s__meetsTemporally(V__L,V__ES)
     &
     s__during(V__L,V__Y)
   &
   s__instance(V__Y,s__Year))
=>
s__during(V__ES,V__Y))
)

 Media.kif 440-447 If X is an instance of Easter sunday, Y is an instance of lent, Y meets X, Y takes place during Z, and Z is an instance of year, then X takes place during Z
! [V__I,V__Y,V__E,V__P] :
((s__instance(V__I,s__TimeInterval) =>
     ((s__instance(V__Y,s__Year) &
         s__instance(V__E,s__EasterSunday) &
         s__instance(V__P,s__PalmSunday) &
         s__during(V__E,V__Y)
       &
       s__during(V__P,V__Y)
     &
     s__starts(V__P,V__I)
   &
   s__finishes(V__E,V__I))
=>
s__duration(V__I,s__MeasureFn(n__8,s__DayDuration))))
)

 Media.kif 467-476 If All of the following hold: (1) X is an instance of year (2) Y is an instance of Easter sunday (3) Z is an instance of palm sunday (4) Y takes place during X (5) Z takes place during X (6) Z starts W (7) Y finishes W, then duration of W is 8 day duration(s)
! [V__I,V__Y,V__E,V__A] :
((s__instance(V__I,s__TimeInterval) =>
     ((s__instance(V__Y,s__Year) &
         s__instance(V__E,s__EasterSunday) &
         s__instance(V__A,s__AscensionThursday) &
         s__during(V__E,V__Y)
       &
       s__during(V__A,V__Y)
     &
     s__starts(V__E,V__I)
   &
   s__finishes(V__A,V__I))
=>
s__duration(V__I,s__MeasureFn(n__40,s__DayDuration))))
)

 Media.kif 532-541 If All of the following hold: (1) X is an instance of year (2) Y is an instance of Easter sunday (3) Z is an instance of ascension thursday (4) Y takes place during X (5) Z takes place during X (6) Y starts W (7) Z finishes W, then duration of W is 40 day duration(s)
! [V__I,V__Y,V__E,V__P] :
((s__instance(V__I,s__TimeInterval) =>
     ((s__instance(V__Y,s__Year) &
         s__instance(V__E,s__EasterSunday) &
         s__instance(V__P,s__Pentecost) &
         s__during(V__E,V__Y)
       &
       s__during(V__P,V__Y)
     &
     s__starts(V__E,V__I)
   &
   s__finishes(V__P,V__I))
=>
s__duration(V__I,s__MeasureFn(n__50,s__DayDuration))))
)

 Media.kif 553-562 If All of the following hold: (1) X is an instance of year (2) Y is an instance of Easter sunday (3) Z is an instance of Pentecost (4) Y takes place during X (5) Z takes place during X (6) Y starts W (7) Z finishes W, then duration of W is 50 day duration(s)

consequent
-------------------------


! [V__H : $i,V__W : $i] : (((s__attribute(V__H, s__Muslim) & s__WealthFn(V__H) = V__W) => s__modalAttribute(( ? [V__Z:$i, V__T:$i, V__U:$i, V__Y:$i, V__C:$real] : ((s__instance(V__Z, s__Zakat) & s__instance(V__Y, s__Year) & s__during(V__Y, s__WhenFn(V__H)) & s__holdsDuring(V__Y, s__attribute(V__H, s__FullyFormed)) & s__agent(V__Z, V__H) & s__patient(V__Z, V__T) & s__monetaryValue(V__T, s__MeasureFn(V__C, V__U)) & s__instance(V__U, s__UnitOfCurrency) & ($greater(V__C,$product(V__W ,0.025)))))), s__Obligation))) ArabicCulture.kif 204-223 If muslim is an attribute of X and equal value of belongings of X and Y, then the statement there exist Z, W,, , V,, , U and T such that Z is an instance of zakat and U is an instance of year and U takes place during the time of existence of X and fully formed is an attribute of X holds during U and X is an agent of Z and W is a patient of Z and value of W is T V(s) and V is an instance of unit of currency and T is greater than Y and 0.025 has the modal force of obligation
! [V__E] :
((s__instance(V__E,s__EidAlFitr) =>
     (? [V__R,V__Y] :
       ((s__instance(V__R,s__Ramadan) &
           s__instance(V__Y,s__Year) &
           s__during(V__R,V__Y)
         &
         s__during(V__E,V__Y)
       &
       s__before(V__R,V__E)))))
)

 ArabicCulture.kif 229-237 If X is an instance of eid al fitr, then there exist Y, Z such that Y is an instance of ramadan, Z is an instance of year, Y takes place during Z, X takes place during Z, and Y happens before X
! [V__T1,V__T2] :
(((s__instance(V__T1,s__Advent) &
       s__instance(V__T2,s__ChristmasDay) &
       s__meetsTemporally(V__T1,V__T2))
   =>
   (? [V__YEAR] :
     ((s__instance(V__YEAR,s__Year) &
         s__during(V__T1,V__YEAR)
       &
       s__during(V__T2,V__YEAR)))))
)

 Media.kif 370-379 If X is an instance of advent, Y is an instance of Christmas day, and X meets Y, then there exists Z such that Z is an instance of year, X takes place during Z, and Y takes place during Z


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners