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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MinuteFn
MinuteFn

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


s__documentation(s__MinuteFn__m,s__ChineseLanguage,'"这是一个 BinaryFunction,它把一个 PositiveRealNumber 与一个与一个 Hour 的子类别,分配到每个 Hour 内对应那个 NonnegativeIntegerMinute。例如:(MinuteFn 30 (HourFn 17 Day))是所有下午5:30的 Class。另外一个例子: (MinuteFn 15 Hour) 会得出所有每个小时十五分钟实例的类别。再例如: (MinuteFn 15 (HourFn 14 (DayFn 18 (MonthFn August (YearFn 1912))))) 表示1912年八月十八日下午两点十五分钟。"')

chinese_format.kif 2769-2774
s__documentation(s__MinuteFn__m,s__EnglishLanguage,'"A BinaryFunction that assigns a PositiveRealNumber and a subclass of Hours to the Minutes within each Hour corresponding to that NonnegativeInteger. For example, (MinuteFn 30 (HourFn 17 Day)) is the Class of all 5:30s in the afternoon. For another example, (MinuteFn 15 Hour) would return the class of all instances of quarter past the hour. For still another example, (MinuteFn 15 (HourFn 14 (DayFn 18 (MonthFn August (YearFn 1912))))) denotes 15 minutes after 2 PM on the 18th day of August 1912."')

Merge.kif 8294-8301
s__domain(s__MinuteFn__m,n__1,s__NonnegativeInteger)

Merge.kif 8290-8290 The number 1 argument of minute is an instance of nonnegative integer
s__domainSubclass(s__MinuteFn__m,n__2,s__Hour)

Merge.kif 8291-8291 The number 2 argument of minute is a subclass of hour
s__instance(s__BinaryFunction,s__Class)

s__instance(s__MinuteFn__m,s__BinaryFunction)

Merge.kif 8288-8288 Minute is an instance of binary function
s__instance(s__MinuteFn__m,s__PartialValuedRelation)

s__instance(s__PartialValuedRelation,s__Class)

Merge.kif 8289-8289 Minute is an instance of partial valued relation
s__instance(s__MinuteFn__m,s__TemporalRelation)

s__instance(s__TemporalRelation,s__Class)

Merge.kif 8287-8287 Minute is an instance of temporal relation
s__rangeSubclass(s__MinuteFn__m,s__Minute)

Merge.kif 8292-8292 The values returned by minute are subclasses of minute

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


s__format(s__ChineseLanguage,s__MinuteFn__m,'"%1 minute"')

chinese_format.kif 473-473
s__format(s__EnglishLanguage,s__MinuteFn__m,'"the minute %1"')

english_format.kif 479-479
s__relatedInternalConcept(s__Minute,s__MinuteFn__m)

Merge.kif 8988-8988 Minute is internally related to minute
s__termFormat(s__ChineseLanguage,s__MinuteFn__m,'"分"')

domainEnglishFormat.kif 37944-37944
s__termFormat(s__ChineseLanguage,s__MinuteFn__m,'"分函数"')

chinese_format.kif 474-474
s__termFormat(s__ChineseTraditionalLanguage,s__MinuteFn__m,'"分"')

domainEnglishFormat.kif 37943-37943
s__termFormat(s__EnglishLanguage,s__MinuteFn__m,'"minute"')

domainEnglishFormat.kif 37942-37942

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


( ! [V__MINUTE1,V__NUMBER1,V__MINUTE2,V__NUMBER2,V__HOUR] :
   (((s__instance(V__MINUTE1,s__TimeInterval) &
         s__instance(V__NUMBER1,s__NonnegativeInteger) &
         s__instance(V__MINUTE2,s__TimeInterval) &
         s__instance(V__NUMBER2,s__NonnegativeInteger) &
         s__subclass(V__HOUR,s__Hour))
       =>
       (((s__instance(V__MINUTE1,s__MinuteFn(V__NUMBER1,V__HOUR))
         &
         s__instance(V__MINUTE2,s__MinuteFn(V__NUMBER2,V__HOUR))
     &
     (s__SubtractionFn(V__NUMBER2,V__NUMBER1)
     = n__1))
=>
(s__meetsTemporally(V__MINUTE1,V__MINUTE2)))))
)
)

Merge.kif 8307-8312
( ! [V__MINUTE,V__HOUR,V__NUMBER] :
   (((s__subclass(V__HOUR,s__Hour) &
         s__instance(V__NUMBER,s__NonnegativeInteger))
       =>
       ((s__instance(V__MINUTE,s__MinuteFn(V__NUMBER,V__HOUR))
       =>
       (s__lessThan(V__NUMBER,n__60)))))
)
)

Merge.kif 8303-8305

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


(s__UnixEpoch = s__SecondFn(n__0,s__MinuteFn(n__0,s__HourFn(n__0,s__DayFn(n__1,s__MonthFn(n__1,s__YearFn(n__1970)))))))

QoSontology.kif 2149-2149 Unix epoch is equal to the second 0


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 is open source software produced by Articulate Software and its partners