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

Formal Language: 



KB Term:  Term intersection
English Word: 

  YearFn

Sigma KEE - YearFn
YearFn

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


s__documentation(s__YearFn__m,s__ChineseLanguage,'这是一个 UnaryFunction, 它把一个数字和对应的日历 Year 联系起来。例如:(YearFn 1912)会得出,1912年这个只有一个实例的 Class。正如所料的,正整数会得出公元 的年份,而负整数会得出 公元前的年份。注:这个函数得出一个 Class 作为它的值,原因是和它相关的函数,即 MonthFnDayFnHourFnMinuteFnSecondFn 等,是用来得出特定的 TimeInterval 和重复发生的时段,而唯一的做法是把这些函数的领域和范围当成类别而不是个别的实例。')

Merge.kif 8660-8664
s__documentation(s__YearFn__m,s__EnglishLanguage,'A UnaryFunction that maps a number to the corresponding calendar Year. For example, (YearFn 1912) returns the Class containing just one instance, the year of 1912. As might be expected, positive integers return years in the Common Era, while negative integers return years in B.C.E. Note that this function returns a Class as a value. The reason for this is that the related functions, viz. MonthFn, DayFn, HourFn, MinuteFn, and SecondFn, are used to generate both specific TimeIntervals and recurrent intervals, and the only way to do this is to make the domains and ranges of these functions classes rather than individuals.')

Merge.kif 8651-8659
s__domain(s__YearFn__m,1,s__Integer)

Merge.kif 8649-8649
s__instance(s__TemporalRelation,s__SetOrClass)

Merge.kif 8646-8646
s__instance(s__TotalValuedRelation,s__SetOrClass)

Merge.kif 8648-8648
s__instance(s__UnaryFunction,s__SetOrClass)

Merge.kif 8647-8647
s__rangeSubclass(s__YearFn__m,s__Year)

Merge.kif 8650-8650

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


s__format(s__ChineseLanguage,s__YearFn__m,'%1 year')

chinese_format.kif 465-465
s__format(s__EnglishLanguage,s__YearFn__m,'the year %1')

english_format.kif 280-280
s__format(s__FrenchLanguage,s__YearFn__m,'l ann�e %1')

french_format.kif 269-269
s__format(s__ItalianLanguage,s__YearFn__m,'l anno %1')

relations-it.txt 317-317
s__format(s__PortugueseLanguage,s__YearFn__m,'o ano %1')

portuguese_format.kif 221-221
s__format(s__ar__m,s__YearFn__m,'السَّنَة %1')

arabic_format.kif 201-201
s__format(s__cz__m,s__YearFn__m,'%1 of %2')

relations-cz.txt 275-275
s__format(s__de__m,s__YearFn__m,'das jahr %1')

relations-de.txt 608-608
s__format(s__hi__m,s__YearFn__m,'varshha %1')

relations-hindi.txt 351-351
s__format(s__tg__m,s__YearFn__m,'ang taon %1')

relations-tg.txt 509-509
s__relatedInternalConcept(s__Year,s__YearFn__m)

Merge.kif 8853-8853
s__termFormat(s__ChineseLanguage,s__YearFn__m,'年函数')

chinese_format.kif 466-466
s__termFormat(s__EnglishLanguage,s__YearFn__m,'year')

domainEnglishFormat.kif 11053-11053
s__termFormat(s__ar__m,s__YearFn__m,'«السَّنَة»')

arabic_format.kif 651-651

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


No TPTP formula. May not be expressible in strict first order. People.kif 104-117
No TPTP formula. May not be expressible in strict first order. People.kif 138-151
No TPTP formula. May not be expressible in strict first order. People.kif 253-277
No TPTP formula. May not be expressible in strict first order. People.kif 411-442
No TPTP formula. May not be expressible in strict first order. People.kif 323-353
No TPTP formula. May not be expressible in strict first order. People.kif 367-398
No TPTP formula. May not be expressible in strict first order. People.kif 174-202
No TPTP formula. May not be expressible in strict first order. People.kif 77-86
( ∀ [V__DAY,V__Y1,V__Y2]
   ((s__birthdate(s__JesusOfNazareth,V__DAY)
     ∧
     s__instance(V__Y1,s__YearFn(-6))

s__instance(V__Y2,s__YearFn(4)))

s__temporalPart(V__DAY,s__TimeIntervalFn(s__BeginFn(V__Y1)
,s__EndFn(V__Y2))))
)

Media.kif 1938-1943
( ∀ [V__HOLIDAY,V__DAY,V__MONTH,V__YEAR,V__DATE,V__ANYO]
   ((s__commemoratesDate(V__HOLIDAY,s__DayFn(V__DAY,s__MonthFn(V__MONTH,s__YearFn(V__YEAR))))

s__instance(V__DATE,V__HOLIDAY)

s__instance(V__ANYO,s__YearFn(V__YEAR)))

s__earlier(V__DATE,V__ANYO)))
)

Government.kif 606-611
( ∀ [V__HOLIDAY,V__DAY,V__MONTH,V__YEAR,V__DATE,V__LATER_YEAR]
   ((s__commemoratesDate(V__HOLIDAY,s__DayFn(V__DAY,s__MonthFn(V__MONTH,s__YearFn(V__YEAR))))

s__instance(V__DATE,V__HOLIDAY)

s__subclass(V__HOLIDAY,s__FixedHoliday) ∧
s__lessThanOrEqualTo(V__YEAR,V__LATER_YEAR))

s__instance(V__DATE,s__DayFn(V__DAY,s__MonthFn(V__MONTH,s__YearFn(V__LATER_YEAR)))))
)

Government.kif 613-619
( ∀ [V__DAY,V__Y1,V__Y2]
   ((s__deathdate(s__JesusOfNazareth,V__DAY)
     ∧
     s__instance(V__Y1,s__YearFn(29))

s__instance(V__Y2,s__YearFn(36)))

s__temporalPart(V__DAY,s__TimeIntervalFn(s__BeginFn(V__Y1)
,s__EndFn(V__Y2))))
)

Media.kif 1945-1950
( ∀ [V__T1,V__N1,V__M,V__Y,V__T2,V__N2]
   (((V__T1 = s__BeginFn(s__DayFn(V__N1,s__MonthFn(V__M,s__YearFn(V__Y)))))

(V__T2 = s__BeginFn(s__DayFn(V__N2,s__MonthFn(V__M,s__YearFn(V__Y)))))

s__greaterThan(V__N2,V__N1))

s__before(V__T1,V__T2))
)

Merge.kif 8838-8843
( ∀ [V__T1,V__N1,V__Y,V__T2,V__N2]
   (((V__T1 = s__BeginFn(s__MonthFn(V__N1,s__YearFn(V__Y))))

(V__T2 = s__BeginFn(s__MonthFn(V__N2,s__YearFn(V__Y))))

s__greaterThan(V__N2,V__N1))

s__before(V__T1,V__T2))
)

Merge.kif 8824-8829
( ∀ [V__T1,V__N1,V__T2,V__N2]
   (((V__T1 = s__BeginFn(s__YearFn(V__N1)))
   ∧
   (V__T2 = s__BeginFn(s__YearFn(V__N2)))

s__greaterThan(V__N2,V__N1))

s__before(V__T1,V__T2))
)

Merge.kif 8810-8815
( ∀ [V__T1,V__N1,V__M,V__Y,V__T2,V__N2]
   (((V__T1 = s__DayFn(V__N1,s__MonthFn(V__M,s__YearFn(V__Y))))

(V__T2 = s__DayFn(V__N2,s__MonthFn(V__M,s__YearFn(V__Y))))

s__greaterThan(V__N2,V__N1))

s__earlier(V__T1,V__T2))
)

Merge.kif 8845-8850
( ∀ [V__T1,V__N1,V__Y,V__T2,V__N2]
   (((V__T1 = s__MonthFn(V__N1,s__YearFn(V__Y)))
   ∧
   (V__T2 = s__MonthFn(V__N2,s__YearFn(V__Y)))

s__greaterThan(V__N2,V__N1))

s__earlier(V__T1,V__T2))
)

Merge.kif 8831-8836
( ∀ [V__T1,V__N1,V__T2,V__N2]
   (((V__T1 = s__YearFn(V__N1))
     ∧
     (V__T2 = s__YearFn(V__N2))
   ∧
   s__greaterThan(V__N2,V__N1))

s__earlier(V__T1,V__T2))
)

Merge.kif 8817-8822
( ∀ [V__LEAP,V__NUMBER]
   ((s__instance(V__LEAP,s__LeapYear) ∧
       s__instance(V__LEAP,s__YearFn(V__NUMBER)))

(((s__RemainderFn(V__NUMBER,4)
     = 0)
   ∧
   (¬ (s__RemainderFn(V__NUMBER,100)
     = 0)))

(s__RemainderFn(V__NUMBER,400)
= 0)))
)

Merge.kif 9001-9009
( ∀ [V__STUDENT1,V__STUDENT2,V__SCHOOL,V__YEAR]
   ((s__instance(V__STUDENT1,s__Student) ∧
       s__instance(V__STUDENT2,s__Student) ∧
       s__instance(V__SCHOOL,s__School) ∧
       s__attends(V__STUDENT1,V__SCHOOL)
     ∧
     s__attends(V__STUDENT2,V__SCHOOL)
   ∧
   s__instance(V__YEAR,s__Year) ∧
   s__expectedYearOfGraduation(V__STUDENT1,s__YearFn(V__YEAR))

s__expectedYearOfGraduation(V__STUDENT2,s__YearFn(V__YEAR)))

s__classmate(V__STUDENT1,V__STUDENT2))
)

LinkedInDegrees.kif 473-483
( ∀ [V__T1,V__T2]
   ((s__instance(V__T1,s__YearFn(26))
   ∧
   s__instance(V__T2,s__YearFn(100)))

s__temporalPart(s__WhenFn(s__TwelveApostles),s__TimeIntervalFn(s__BeginFn(V__T1)
,s__EndFn(V__T2))))
)

Media.kif 1961-1965

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


No TPTP formula. May not be expressible in strict first order. People.kif 104-117
No TPTP formula. May not be expressible in strict first order. People.kif 138-151
No TPTP formula. May not be expressible in strict first order. People.kif 253-277
No TPTP formula. May not be expressible in strict first order. People.kif 411-442
No TPTP formula. May not be expressible in strict first order. People.kif 323-353
No TPTP formula. May not be expressible in strict first order. People.kif 367-398
No TPTP formula. May not be expressible in strict first order. People.kif 174-202
No TPTP formula. May not be expressible in strict first order. People.kif 77-86
( ∀ [V__O,V__Y]
   (s__yearOfFounding(V__O,V__Y)
   <⇒
   (∃ [V__F]
     (s__overlapsTemporally(V__F,s__YearFn(V__Y))
   ∧
   s__instance(V__F,s__Founding) ∧
   s__result(V__F,V__O))))
)

Mid-level-ontology.kif 1355-1361
( ∀ [V__HOLIDAY,V__DAY,V__MONTH,V__YEAR,V__DATE,V__LATER_YEAR]
   ((s__commemoratesDate(V__HOLIDAY,s__DayFn(V__DAY,s__MonthFn(V__MONTH,s__YearFn(V__YEAR))))

s__instance(V__DATE,V__HOLIDAY)

s__subclass(V__HOLIDAY,s__FixedHoliday) ∧
s__lessThanOrEqualTo(V__YEAR,V__LATER_YEAR))

s__instance(V__DATE,s__DayFn(V__DAY,s__MonthFn(V__MONTH,s__YearFn(V__LATER_YEAR)))))
)

Government.kif 613-619
( ∀ [V__STUDENT,V__SCHOOL,V__GRADUATE]
   ((s__instance(V__STUDENT,s__Student) ∧
       s__instance(V__SCHOOL,s__School) ∧
       s__attends(V__STUDENT,V__SCHOOL)
     ∧
     s__instance(V__GRADUATE,s__Graduation) ∧
     (∃ [V__YEAR,V__TIMEINTERVAL1]
       (s__instance(V__YEAR,s__Year) ∧
         s__time(V__TIMEINTERVAL1,V__GRADUATE)
       ∧
       s__agent(V__GRADUATE,V__SCHOOL)
     ∧
     s__patient(V__GRADUATE,V__STUDENT)
   ∧
   s__during(V__TIMEINTERVAL1,V__YEAR))))

s__expectedYearOfGraduation(V__STUDENT,s__YearFn(V__YEAR)))
)

LinkedInDegrees.kif 447-460
( ∀ [V__O,V__Y]
   (s__yearOfFounding(V__O,V__Y)
   ⇒
   s__dateEstablished(V__O,s__YearFn(V__Y)))
)

Mid-level-ontology.kif 1350-1353

statement
-------------------------


s__agreementAdoptionDate(s__AntarcticTreaty,s__DayFn(1,s__MonthFn(s__December,s__YearFn(1959))))

Geography.kif 3038-3038
s__agreementEffectiveDate(s__AntarcticTreaty,s__DayFn(23,s__MonthFn(s__June,s__YearFn(1961))))

Geography.kif 3039-3039
s__dateDissolved(s__CoordinatingCommitteeOnExportControls,s__DayFn(31,s__MonthFn(s__March,s__YearFn(1994))))

Government.kif 2931-2931
s__dateDissolved(s__CouncilForMutualEconomicAssistance,s__DayFn(1,s__MonthFn(s__January,s__YearFn(1991))))

Government.kif 2946-2946
s__dateDissolved(s__UnitedNationsPreventiveDeploymentForce,s__DayFn(25,s__MonthFn(s__March,s__YearFn(1999))))

Government.kif 4082-4082
s__dateDissolved(s__WarsawPact,s__DayFn(1,s__MonthFn(s__July,s__YearFn(1991))))

Government.kif 4222-4222
s__dateEstablished(s__ASEANRegionalForum,s__YearFn(1994))

Government.kif 2814-2814
s__dateEstablished(s__AfricanCaribbeanAndPacificGroupOfStates,s__DayFn(6,s__MonthFn(s__June,s__YearFn(1975))))

Government.kif 2697-2697
s__dateEstablished(s__AfricanDevelopmentBank,s__DayFn(4,s__MonthFn(s__August,s__YearFn(1963))))

Government.kif 2704-2704
s__dateEstablished(s__AgencyForTheFrenchSpeakingCommunity,s__DayFn(20,s__MonthFn(s__March,s__YearFn(1970))))

Government.kif 2713-2713
s__dateEstablished(s__AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean,s__DayFn(14,s__MonthFn(s__February,s__YearFn(1967))))

Government.kif 2720-2720
s__dateEstablished(s__AndeanCommunityOfNations,s__DayFn(26,s__MonthFn(s__May,s__YearFn(1969))))

Government.kif 2733-2733
s__dateEstablished(s__AntarcticTreatyCouncil,s__DayFn(23,s__MonthFn(s__June,s__YearFn(1961))))

Government.kif 2738-2738
s__dateEstablished(s__ArabBankForEconomicDevelopmentInAfrica,s__DayFn(18,s__MonthFn(s__February,s__YearFn(1974))))

Government.kif 2749-2749
s__dateEstablished(s__ArabCooperationCouncil,s__DayFn(16,s__MonthFn(s__February,s__YearFn(1989))))

Government.kif 2755-2755
s__dateEstablished(s__ArabFundForEconomicAndSocialDevelopment,s__DayFn(16,s__MonthFn(s__May,s__YearFn(1968))))

Government.kif 2761-2761
s__dateEstablished(s__ArabLeague,s__DayFn(22,s__MonthFn(s__March,s__YearFn(1945))))

Government.kif 2770-2770
s__dateEstablished(s__ArabMaghrebUnion,s__DayFn(17,s__MonthFn(s__February,s__YearFn(1989))))

Government.kif 2779-2779
s__dateEstablished(s__ArabMonetaryFund,s__DayFn(27,s__MonthFn(s__April,s__YearFn(1976))))

Government.kif 2788-2788
s__dateEstablished(s__AsiaPacificEconomicCooperation,s__DayFn(7,s__MonthFn(s__November,s__YearFn(1989))))

Government.kif 2794-2794
s__dateEstablished(s__AsianDevelopmentBank,s__DayFn(19,s__MonthFn(s__December,s__YearFn(1966))))

Government.kif 2800-2800
s__dateEstablished(s__AssociationOfSoutheastAsianNations,s__DayFn(8,s__MonthFn(s__August,s__YearFn(1967))))

Government.kif 2806-2806
s__dateEstablished(s__AustraliaGroup,s__YearFn(1984))

Government.kif 2820-2820
s__dateEstablished(s__AustraliaNewZealandUnitedStatesSecurityTreaty,s__DayFn(1,s__MonthFn(s__September,s__YearFn(1951))))

Government.kif 2826-2826
s__dateEstablished(s__BankForInternationalSettlements,s__DayFn(20,s__MonthFn(s__January,s__YearFn(1930))))

Government.kif 2832-2832

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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