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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TimeIntervalFn
TimeIntervalFn

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


s__documentation(s__TimeIntervalFn__m,s__ChineseLanguage,'这是一个 BinaryFunction,它接受两个 TimePoint 参数,然后得出由这两个 TimePoint 所界定的 TimeInterval。注:第一个 TimePoint 必须要比第二个 TimePoint 先开始。')

Merge.kif 8499-8501
s__documentation(s__TimeIntervalFn__m,s__EnglishLanguage,'A BinaryFunction that takes two TimePoints as arguments and returns the TimeInterval defined by these two TimePoints.Note that the first TimePoint must occur earlier than the second TimePoint.')

Merge.kif 8495-8498
s__domain(s__TimeIntervalFn__m,1,s__TimePoint)

Merge.kif 8492-8492 The number 1 argument of time interval is an instance of time point
s__domain(s__TimeIntervalFn__m,2,s__TimePoint)

Merge.kif 8493-8493 The number 2 argument of time interval is an instance of time point
s__instance(s__BinaryFunction,s__SetOrClass)

Merge.kif 8489-8489 Time interval is an instance of binary function
s__instance(s__PartialValuedRelation,s__SetOrClass)

Merge.kif 8491-8491 Time interval is an instance of partial valued relation
s__instance(s__TemporalRelation,s__SetOrClass)

Merge.kif 8490-8490 Time interval is an instance of temporal relation
s__range(s__TimeIntervalFn__m,s__TimeInterval)

Merge.kif 8494-8494 The range of time interval is an instance of time interval

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


s__format(s__ChineseLanguage,s__TimeIntervalFn__m,'%1 和 %2 间的时段')

chinese_format.kif 453-453
s__format(s__EnglishLanguage,s__TimeIntervalFn__m,'interval between %1 and %2')

english_format.kif 274-274
s__format(s__FrenchLanguage,s__TimeIntervalFn__m,'lintervale entre %1 et %2')

french_format.kif 263-263
s__format(s__ItalianLanguage,s__TimeIntervalFn__m,'intervallo tra %1 e %2')

relations-it.txt 300-300
s__format(s__PortugueseLanguage,s__TimeIntervalFn__m,'o intervalo entre %1 e %2')

portuguese_format.kif 215-215
s__format(s__ar__m,s__TimeIntervalFn__m,'فَاصِل بَيْنَ %1 و %2')

arabic_format.kif 195-195
s__format(s__cz__m,s__TimeIntervalFn__m,'interval between %1 and %2')

relations-cz.txt 269-269
s__format(s__de__m,s__TimeIntervalFn__m,'abstand zwischen %1 und %2')

relations-de.txt 592-592
s__format(s__hi__m,s__TimeIntervalFn__m,'%1 aura %2 ke biicha antaraala')

relations-hindi.txt 336-336
s__format(s__tg__m,s__TimeIntervalFn__m,'patlang sa pagitan ng %1 at %2')

relations-tg.txt 492-492
s__termFormat(s__ChineseLanguage,s__TimeIntervalFn__m,'时段函数')

chinese_format.kif 454-454 "时段函数" is the printable form of time interval in ChineseLanguage
s__termFormat(s__EnglishLanguage,s__TimeIntervalFn__m,'time interval')

domainEnglishFormat.kif 10111-10111 "time interval" is the printable form of time interval in english language
s__termFormat(s__ar__m,s__TimeIntervalFn__m,'«فَاصِل بَيْنَ»')

arabic_format.kif 645-645 "«فَاصِل بَيْنَ»" is the printable form of time interval in ar

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


( ! [V__POINT1,V__POINT2,V__INTERVAL] :
   ((s__instance(V__POINT1,s__TimePoint) &
       s__instance(V__POINT2,s__TimePoint) &
       s__instance(V__INTERVAL,s__TimeInterval) &
       (s__TimeIntervalFn(V__POINT1,V__POINT2)
       = V__INTERVAL))
   =>
   ((s__BeginFn(V__INTERVAL)
     = V__POINT1)
   &
   (s__EndFn(V__INTERVAL)
   = V__POINT2)))
)

Merge.kif 8503-8511
( ! [V__POINT1,V__POINT2,V__INTERVAL] :
   ((s__instance(V__POINT1,s__TimePoint) &
       s__instance(V__POINT2,s__TimePoint) &
       s__instance(V__INTERVAL,s__TimeInterval) &
       (s__TimeIntervalFn(V__POINT1,V__POINT2)
       = V__INTERVAL))
   =>
   (! [V__POINT] :
     (s__temporallyBetweenOrEqual(V__POINT1,V__POINT,V__POINT2)
     <=>
     s__temporalPart(V__POINT,V__INTERVAL))))
)

Merge.kif 8513-8522
( ! [V__T1,V__T2,V__INTERVAL,V__PERIOD] :
   ((s__instance(V__T1,s__TimePoint) &
       s__instance(V__T2,s__TimePoint) &
       (V__INTERVAL = s__TimeIntervalFn(V__T1,V__T2))
     &
     s__duration(V__INTERVAL,V__PERIOD))
=>
(V__INTERVAL = s__TimePeriodFn(V__T1,V__PERIOD)))
)

Mid-level-ontology.kif 11643-11649

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


( ! [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__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__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
No TPTP formula. May not be expressible in strict first order. Merge.kif 7746-7750
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28110-28139
No TPTP formula. May not be expressible in strict first order. Dining.kif 669-682
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2887-2898
( ! [V__INTERVAL] :
   (s__instance(V__INTERVAL,s__TimeInterval) =>
     (s__FutureFn(V__INTERVAL)
     = s__TimeIntervalFn(s__EndFn(V__INTERVAL)
  ,s__PositiveInfinity)))
)

Merge.kif 8612-8614
( ! [V__INTERVAL] :
   (s__instance(V__INTERVAL,s__TimeInterval) =>
     (s__PastFn(V__INTERVAL)
     = s__TimeIntervalFn(s__NegativeInfinity,s__BeginFn(V__INTERVAL))))
)

Merge.kif 8579-8581
( ! [V__TIME,V__DAY] :
   (s__instance(V__TIME,s__LunchTime) =>
     (? [V__ELEVEN,V__THREE] :
       (s__during(V__TIME,s__TimeIntervalFn(s__BeginFn(V__ELEVEN)
      ,s__EndFn(V__THREE)))
&
s__instance(V__ELEVEN,s__HourFn(11,V__DAY))
&
s__instance(V__THREE,s__HourFn(15,V__DAY)))))
)

Food.kif 262-271


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