Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Year

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__documentation(s__Year,s__ChineseLanguage,'"这是所有日历 YearClass。"')

chinese_format.kif 2781-2781
s__documentation(s__Year,s__EnglishLanguage,'"The Class of all calendar Years."')

Merge.kif 8352-8352
s__relatedInternalConcept(s__Year,s__YearDuration)

Merge.kif 8350-8350 Year is internally related to year duration
s__relatedInternalConcept(s__Year,s__YearFn__m)

Merge.kif 8349-8349 Year is internally related to year
s__instance(s__Year,s__SetOrClass)

s__instance(s__TimeInterval,s__SetOrClass)

s__subclass(s__Year,s__TimeInterval)

Merge.kif 8348-8348 Year is a subclass of time interval

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


s__rangeSubclass(s__YearFn__m,s__Year)

Merge.kif 8166-8166 The values returned by year are subclasses of year
s__instance(s__Year,s__SetOrClass)

s__subclass(s__LeapYear,s__Year)

s__instance(s__LeapYear,s__SetOrClass)

Merge.kif 8590-8590 Leap year is a subclass of year
s__termFormat(s__ChineseLanguage,s__Year,'"年"')

chinese_format.kif 1274-1274
s__termFormat(s__ChineseTraditionalLanguage,s__Year,'"年"')

domainEnglishFormat.kif 63719-63719
s__termFormat(s__EnglishLanguage,s__Year,'"year"')

english_format.kif 1774-1774

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


s__domain(s__BirthsPerThousandFn__m,n__2,s__Year)

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

People.kif 448-448 The number 2 argument of children born per woman is an instance of year
s__domain(s__DeathsPerThousandFn__m,n__2,s__Year)

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

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

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

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

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

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

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

Military.kif 920-920 The number 2 argument of reaching military age annually male is an instance of year
s__domainSubclass(s__FiscalYearStartingFn__m,n__2,s__Year)

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

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

Merge.kif 8568-8568 The number 2 argument of QuarterFn is a subclass of year
s__domainSubclass(s__WeekFn__m,n__2,s__Year)

Merge.kif 8550-8550 The number 2 argument of WeekFn is a subclass of year
s__domainSubclass(s__lastRenovation__m,n__2,s__Year)

Hotel.kif 723-723 The number 2 argument of last renovation is a subclass of year
s__domainSubclass(s__yearBuilt__m,n__2,s__Year)

Hotel.kif 702-702 The number 2 argument of year built is a subclass of year

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2116-2125
No TPTP formula. May not be expressible in strict first order. Economy.kif 2160-2169
No TPTP formula. May not be expressible in strict first order. Economy.kif 2206-2215
No TPTP formula. May not be expressible in strict first order. Economy.kif 1984-1993
No TPTP formula. May not be expressible in strict first order. Economy.kif 2281-2290
No TPTP formula. May not be expressible in strict first order. Economy.kif 2127-2134
No TPTP formula. May not be expressible in strict first order. Economy.kif 2171-2178
No TPTP formula. May not be expressible in strict first order. Economy.kif 2217-2224
No TPTP formula. May not be expressible in strict first order. Economy.kif 1995-2002
No TPTP formula. May not be expressible in strict first order. Economy.kif 2292-2299
No TPTP formula. May not be expressible in strict first order. Economy.kif 2597-2604
No TPTP formula. May not be expressible in strict first order. Economy.kif 2586-2595
( ! [V__Y,V__ES,V__L] :
   (((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 437-444
( ! [V__Y,V__ES,V__L] :
   (((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 446-453
( ! [V__PLACE,V__YEAR] :
   ((s__subclass(V__YEAR,s__Year) =>
       (((s__instance(V__PLACE,s__Agent) &
             s__instance(V__YEAR,s__Year))
           =>
           (s__instance(s__FiscalYearStartingFn(V__PLACE,V__YEAR)
          ,s__FiscalYearFn(V__PLACE))))))
)
)

Economy.kif 3739-3743
( ! [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 387-394
( ! [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 396-403
( ! [V__A,V__E,V__I,V__Y] :
   ((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 538-547
( ! [V__P,V__E,V__I,V__Y] :
   ((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 473-482
( ! [V__P,V__E,V__I,V__Y] :
   ((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 559-568
( ! [V__YEAR2,V__YEAR1] :
   (((s__instance(V__YEAR1,s__Year) &
         s__instance(V__YEAR2,s__Year) &
         (s__SubtractionFn(V__YEAR2,V__YEAR1)
         = s__MeasureFn(n__1,s__YearDuration)))
     =>
     (s__meetsTemporally(V__YEAR1,V__YEAR2)))
)
)

Merge.kif 8358-8363
( ! [V__YEAR] :
   ((s__instance(V__YEAR,s__Year) =>
       (s__duration(V__YEAR,s__MeasureFn(n__1,s__YearDuration))))
   )
)

Merge.kif 8354-8356
( ! [V__YEAR] :
   ((s__instance(V__YEAR,s__Year) =>
       ((s__CardinalityFn(s__TemporalCompositionFn(V__YEAR,s__Month))
         = n__12)))
   )
)

Merge.kif 9053-9055

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


No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 193-212
( ! [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 376-385
( ! [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 218-226


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