Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  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, year_of_grace,

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


s__documentation(s__Year,s__ChineseLanguage,'这是所有日历 YearClass。')

Merge.kif 8879-8879
s__documentation(s__Year,s__EnglishLanguage,'The Class of all calendar Years.')

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

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

Merge.kif 8876-8876 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 8875-8875 Year is a subclass of time interval

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


s__rangeSubclass(s__YearFn__m,s__Year)

Merge.kif 8667-8667 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 9021-9021 Leap year is a subclass of year
s__termFormat(s__ChineseLanguage,s__Year,'年')

chinese_format.kif 1274-1274 "年" is the printable form of year in ChineseLanguage
s__termFormat(s__EnglishLanguage,s__Year,'year')

english_format.kif 1903-1903 "year" is the printable form of year in english language
s__termFormat(s__JapaneseLanguage,s__Year,'年')

english_format.kif 1904-1904 "年" is the printable form of year in japanese language

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


s__domain(s__BirthsPerThousandFn__m,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,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,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,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,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,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,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,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,2,s__Year)

People.kif 63-63 The number 2 argument of population growth is an instance of year
s__domain(s__ReachingMilitaryAgeAnnuallyMaleFn__m,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,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,2,s__Year)

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

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

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

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

Hotel.kif 692-692 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__ES,V__L,V__Y] :
   ((s__instance(V__ES,s__EasterSunday)s__and__ms__instance(V__L,s__Lent)s__and__ms__meetsTemporally(V__L,V__ES)
    s__and__ms__during(V__ES,V__Y)
  s__and__ms__instance(V__Y,s__Year))
s__=>s__during(V__L,V__Y))
)

Media.kif 437-444
( ! [V__ES,V__L,V__Y] :
   ((s__instance(V__ES,s__EasterSunday)s__and__ms__instance(V__L,s__Lent)s__and__ms__meetsTemporally(V__L,V__ES)
    s__and__ms__during(V__L,V__Y)
  s__and__ms__instance(V__Y,s__Year))
s__=>s__during(V__ES,V__Y))
)

Media.kif 446-453
( ! [V__YEAR,V__PLACE] :
   (s__subclass(V__YEAR,s__Year)s__=>((s__instance(V__PLACE,s__Agent)s__and__ms__instance(V__YEAR,s__Year))
      s__=>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__and__ms__instance(V__T2,s__ChristmasDay)s__and__ms__during(V__T1,V__YEAR)
    s__and__ms__instance(V__YEAR,s__Year)s__and__ms__meetsTemporally(V__T1,V__T2))
s__=>s__during(V__T2,V__YEAR))
)

Media.kif 387-394
( ! [V__T1,V__T2,V__YEAR] :
   ((s__instance(V__T1,s__Advent)s__and__ms__instance(V__T2,s__ChristmasDay)s__and__ms__during(V__T2,V__YEAR)
    s__and__ms__instance(V__YEAR,s__Year)s__and__ms__meetsTemporally(V__T1,V__T2))
s__=>s__during(V__T1,V__YEAR))
)

Media.kif 396-403
( ! [V__I,V__Y,V__E,V__A] :
   (s__instance(V__I,s__TimeInterval)s__=>((s__instance(V__Y,s__Year)s__and__ms__instance(V__E,s__EasterSunday)s__and__ms__instance(V__A,s__AscensionThursday)s__and__ms__during(V__E,V__Y)
      s__and__ms__during(V__A,V__Y)
    s__and__ms__starts(V__E,V__I)
  s__and__ms__finishes(V__A,V__I))
s__=>s__duration(V__I,s__MeasureFn(40,s__DayDuration))))
)

Media.kif 538-547
( ! [V__I,V__Y,V__E,V__P] :
   (s__instance(V__I,s__TimeInterval)s__=>((s__instance(V__Y,s__Year)s__and__ms__instance(V__E,s__EasterSunday)s__and__ms__instance(V__P,s__PalmSunday)s__and__ms__during(V__E,V__Y)
      s__and__ms__during(V__P,V__Y)
    s__and__ms__starts(V__P,V__I)
  s__and__ms__finishes(V__E,V__I))
s__=>s__duration(V__I,s__MeasureFn(8,s__DayDuration))))
)

Media.kif 473-482
( ! [V__I,V__Y,V__E,V__P] :
   (s__instance(V__I,s__TimeInterval)s__=>((s__instance(V__Y,s__Year)s__and__ms__instance(V__E,s__EasterSunday)s__and__ms__instance(V__P,s__Pentecost)s__and__ms__during(V__E,V__Y)
      s__and__ms__during(V__P,V__Y)
    s__and__ms__starts(V__E,V__I)
  s__and__ms__finishes(V__P,V__I))
s__=>s__duration(V__I,s__MeasureFn(50,s__DayDuration))))
)

Media.kif 559-568
( ! [V__YEAR1,V__YEAR2] :
   ((s__instance(V__YEAR1,s__Year)s__and__ms__instance(V__YEAR2,s__Year)s__and__m(s__SubtractionFn(V__YEAR2,V__YEAR1)
    s__equal__ms__MeasureFn(1,s__YearDuration)))
s__=>s__meetsTemporally(V__YEAR1,V__YEAR2))
)

Merge.kif 8885-8890
( ! [V__YEAR] :
   (s__instance(V__YEAR,s__Year)s__=>s__duration(V__YEAR,s__MeasureFn(1,s__YearDuration)))
)

Merge.kif 8881-8883
( ! [V__YEAR] :
   (s__instance(V__YEAR,s__Year)s__=>(s__CardinalityFn(s__TemporalCompositionFn(V__YEAR,s__Month))
    s__equal__m12))
   )

Merge.kif 9488-9490

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


No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 193-210
( ! [V__T1,V__T2] :
   ((s__instance(V__T1,s__Advent)s__and__ms__instance(V__T2,s__ChristmasDay)s__and__ms__meetsTemporally(V__T1,V__T2))
  s__=>(s__exists__m[V__YEAR] :
     (s__instance(V__YEAR,s__Year)s__and__ms__during(V__T1,V__YEAR)
    s__and__ms__during(V__T2,V__YEAR))))
)

Media.kif 376-385
( ! [V__E] :
   (s__instance(V__E,s__EidAlFitr)s__=>(s__exists__m[V__R,V__Y] :
       (s__instance(V__R,s__Ramadan)s__and__ms__instance(V__Y,s__Year)s__and__ms__during(V__R,V__Y)
      s__and__ms__during(V__E,V__Y)
    s__and__ms__before(V__R,V__E))))
)

ArabicCulture.kif 216-224


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners