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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - starts
starts

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


s__documentation(s__starts__m,s__ChineseLanguage,'"(starts ?INTERVAL1 ?INTERVAL2) 的意思是 ?INTERVAL1 和 ?INTERVAL2 两个是 TimeInterval 有共同的开始 TimePoint,而 ?INTERVAL1 比 ?INTERVAL2 先 结束。"')

chinese_format.kif 2701-2703
s__documentation(s__starts__m,s__EnglishLanguage,'"(starts ?INTERVAL1 ?INTERVAL2) means that ?INTERVAL1 and ?INTERVAL2 are both TimeIntervals that have the same initial TimePoint and that ?INTERVAL1 ends before ?INTERVAL2."')

Merge.kif 7806-7808
s__domain(s__starts__m,n__1,s__TimeInterval)

Merge.kif 7803-7803 The number 1 argument of starts is an instance of time interval
s__domain(s__starts__m,n__2,s__TimeInterval)

Merge.kif 7804-7804 The number 2 argument of starts is an instance of time interval
s__instance(s__IrreflexiveRelation,s__SetOrClass)

s__instance(s__starts__m,s__IrreflexiveRelation)

Merge.kif 7801-7801 starts is an instance of irreflexive relation
s__instance(s__starts__m,s__TemporalRelation)

s__instance(s__TemporalRelation,s__SetOrClass)

Merge.kif 7799-7799 starts is an instance of temporal relation
s__instance(s__TotalValuedRelation,s__SetOrClass)

s__instance(s__starts__m,s__TotalValuedRelation)

Merge.kif 7802-7802 starts is an instance of total valued relation
s__instance(s__TransitiveRelation,s__SetOrClass)

s__instance(s__starts__m,s__TransitiveRelation)

Merge.kif 7800-7800 starts is an instance of transitive relation
s__subrelation(s__starts__m,s__temporalPart__m)

Merge.kif 7798-7798 starts is a subrelation of temporal part

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


s__format(s__ChineseLanguage,s__starts__m,'"%1 %n starts了才到 %2 "')

chinese_format.kif 419-419
s__format(s__EnglishLanguage,s__starts__m,'"%1 %n{doesnt} start%p{s} %2"')

english_format.kif 428-428
s__termFormat(s__ChineseLanguage,s__starts__m,'"启动"')

domainEnglishFormat.kif 55053-55053
s__termFormat(s__ChineseLanguage,s__starts__m,'"开始"')

chinese_format.kif 420-420
s__termFormat(s__ChineseTraditionalLanguage,s__starts__m,'"啟動"')

domainEnglishFormat.kif 55052-55052
s__termFormat(s__EnglishLanguage,s__starts__m,'"starts"')

domainEnglishFormat.kif 55051-55051

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


( ! [V__INTERVAL2,V__INTERVAL1] :
   (((s__instance(V__INTERVAL2,s__TimeInterval) &
         s__instance(V__INTERVAL1,s__TimeInterval))
       =>
       (((s__starts(V__INTERVAL1,V__INTERVAL2)
           =>
           ((s__BeginFn(V__INTERVAL1)
             = s__BeginFn(V__INTERVAL2))
         &
         s__before(s__EndFn(V__INTERVAL1)
      ,s__EndFn(V__INTERVAL2))))
&
(((s__BeginFn(V__INTERVAL1)
   = s__BeginFn(V__INTERVAL2))
&
s__before(s__EndFn(V__INTERVAL1)
,s__EndFn(V__INTERVAL2)))
=>
s__starts(V__INTERVAL1,V__INTERVAL2)))))
)
)

Merge.kif 7810-7818 A time interval starts another time interval if and only if the beginning of the time interval is equal to the beginning of the other time interval and the end of the time interval happens before the end of the other time interval
( ! [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__Time,V__Process1,V__Program1,V__Process2,V__Delay,V__Program2] :
   (((s__instance(V__Time,s__TimeInterval) &
         s__instance(V__Program1,s__ComputerProgram) &
         s__instance(V__Delay,s__TimeDuration) &
         s__instance(V__Program2,s__ComputerProgram))
       =>
       ((( ? [V__Time1, V__Time2] :
             ((s__instance(V__Time1,s__TimeInterval) &
                 s__instance(V__Time2,s__TimeInterval) &
                 (s__dependencyDelay(V__Program1,V__Delay)
                 &
                 s__dependencyType(V__Program1,s__StartupBlock) &
                 s__hasDependency(V__Program1,V__Program2)
               &
               s__instance(V__Process1,s__ComputerProcess) &
               s__programRunning(V__Process1,V__Program1)
             &
             s__instance(V__Process2,s__ComputerProcess) &
             s__programRunning(V__Process2,V__Program2)
           &
           (s__WhenFn(V__Process2)
           = V__Time2)
         &
         s__starts(V__Time2,V__Time)
       &
       (s__WhenFn(V__Process1)
       = V__Time1)
     &
     (s__EndFn(V__Time)
     = s__BeginFn(V__Time1))))))
=>
(s__duration(V__Time,V__Delay)))))
)
)

QoSontology.kif 1259-1273

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


( ! [V__Order,V__Period] :
   (((s__instance(V__Order,s__Agreement) &
         s__instance(V__Order,s__Object) &
         s__instance(V__Period,s__TimeInterval))
       =>
       (((s__attribute(V__Order,s__FOKOrder) &
             s__agreementPeriod(V__Order,V__Period))
         =>
         ((( ? [V__Fill, V__Time1] :
               ((s__instance(V__Time1,s__TimeInterval) &
                   (s__instance(V__Fill,s__FillingAnOrder) &
                     s__patient(V__Fill,V__Order)
                   &
                   (s__WhenFn(V__Fill)
                   = V__Time1)
                 &
                 s__starts(V__Time1,V__Period)))))
       |
       ( ? [V__Kill, V__Time2] :
         ((s__instance(V__Time2,s__TimeInterval) &
             (s__instance(V__Kill,s__CancellingAnOrder) &
               s__patient(V__Kill,V__Order)
             &
             (s__WhenFn(V__Kill)
             = V__Time2)
           &
           s__starts(V__Time2,V__Period))))))))))
)
)

FinancialOntology.kif 2842-2858
( ! [V__Order,V__Period] :
   (((s__instance(V__Order,s__Agreement) &
         s__instance(V__Order,s__Object) &
         s__instance(V__Period,s__TimeInterval))
       =>
       (((s__attribute(V__Order,s__IOCOrder) &
             s__agreementPeriod(V__Order,V__Period))
         =>
         ((( ? [V__Fill, V__Time1] :
               ((s__instance(V__Time1,s__TimeInterval) &
                   (s__instance(V__Fill,s__FillingAnOrder) &
                     s__patient(V__Fill,V__Order)
                   &
                   (s__WhenFn(V__Fill)
                   = V__Time1)
                 &
                 s__starts(V__Time1,V__Period)))))
       |
       ( ? [V__Kill, V__Time2] :
         ((s__instance(V__Time2,s__TimeInterval) &
             (s__instance(V__Kill,s__CancellingAnOrder) &
               s__patient(V__Kill,V__Order)
             &
             (s__WhenFn(V__Kill)
             = V__Time2)
           &
           s__starts(V__Time2,V__Period))))))))))
)
)

FinancialOntology.kif 2815-2831
( ! [V__FY,V__PLACE,V__YEAR,V__PERIOD] :
   (((s__instance(V__FY,s__TimeInterval) &
         s__instance(V__PLACE,s__Agent) &
         s__subclass(V__YEAR,s__Year) &
         s__instance(V__YEAR,s__TimePosition) &
         s__subclass(V__PERIOD,s__TimeInterval) &
         s__instance(V__PERIOD,s__Class))
       =>
       ((((V__FY = s__FiscalYearStartingFn(V__PLACE,V__YEAR))
           &
           s__fiscalYearPeriod(V__PLACE,V__PERIOD)
         &
         s__instance(V__FY,V__PERIOD))
     =>
     (( ? [V__DAY] :
         ((s__instance(V__DAY,s__Day) &
             s__starts(V__DAY,V__FY)
           &
           s__temporalPart(V__DAY,V__YEAR))))))))
)
)

Economy.kif 3755-3764
( ! [V__AMBULATE,V__DURATION] :
   ((s__instance(V__DURATION,s__TimeInterval) =>
       (((s__instance(V__AMBULATE,s__Ambulating) &
             (V__DURATION = s__WhenFn(V__AMBULATE)))
         =>
         (( ? [V__STEP1, V__STEPN] :
             ((s__instance(V__STEP1,s__Stepping) &
                 s__instance(V__STEPN,s__Stepping) &
                 s__subProcess(V__STEP1,V__AMBULATE)
               &
               s__subProcess(V__STEPN,V__AMBULATE)
             &
             s__starts(s__WhenFn(V__STEP1)
          ,V__DURATION)
         &
         s__finishes(s__WhenFn(V__STEPN)
      ,V__DURATION)
     &
     ~((V__STEP1 = V__STEPN)))))))))
)
)

Mid-level-ontology.kif 458-470
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20435-20450
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15521-15530
( ! [V__OP,V__ORG] :
   (((s__instance(V__OP,s__BeginningOperations) &
         s__instance(V__ORG,s__Organization) &
         s__agent(V__OP,V__ORG))
     =>
     (s__starts(V__OP,s__WhenFn(V__ORG))))
)
)

Mid-level-ontology.kif 15435-15440
( ! [V__O1,V__P,V__D1,V__T1,V__T2,V__D2] :
   (((s__instance(V__O1,s__Object) &
         s__instance(V__P,s__Agent) &
         s__instance(V__D1,s__Object))
       =>
       (((s__instance(V__T1,s__Translocation) &
             s__instance(V__T2,s__Translocation) &
             s__origin(V__T1,V__O1)
           &
           s__origin(V__T2,V__D1)
         &
         s__destination(V__T1,V__D1)
       &
       s__destination(V__T2,V__D2)
     &
     s__experiencer(V__T1,V__P)
   &
   s__experiencer(V__T2,V__P))
=>
(( ? [V__T] :
   ((s__instance(V__T,s__Translocation) &
       s__origin(V__T,V__O1)
     &
     s__destination(V__T,V__D2)
   &
   s__subProcess(V__T1,V__T)
&
s__subProcess(V__T2,V__T)
&
s__experiencer(V__T,V__P)
&
s__starts(s__WhenFn(V__T1)
,s__WhenFn(V__T))
&
s__finishes(s__WhenFn(V__T2)
,s__WhenFn(V__T)))))))))
)
)

Merge.kif 10847-10870
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15536-15545
( ! [V__INTERVALTYPE,V__INTERVAL,V__CLASS] :
   (((s__subclass(V__INTERVALTYPE,s__TimeInterval) &
         s__instance(V__INTERVAL,s__TimeInterval) &
         s__subclass(V__CLASS,s__TimeInterval) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__TemporalCompositionFn(V__INTERVAL,V__INTERVALTYPE)
           = V__CLASS)
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimeInterval) &
                 (s__instance(V__TIME,V__CLASS)
                 &
                 s__starts(V__TIME,V__INTERVAL)))))))))
)
)

Merge.kif 9036-9041
( ! [V__INTERVALTYPE,V__INTERVAL,V__CLASS] :
   (((s__subclass(V__INTERVALTYPE,s__TimeInterval) &
         s__instance(V__INTERVAL,s__TimeInterval) &
         s__subclass(V__CLASS,s__TimeInterval) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__TemporalCompositionFn(V__INTERVAL,V__INTERVALTYPE)
           = V__CLASS)
         =>
         (( ! [V__TIME1] :
             ((s__instance(V__TIME1,s__TimeInterval) =>
                 (((s__instance(V__TIME1,V__CLASS)
                     &
                     ~(s__starts(V__TIME1,V__INTERVAL)))
                 =>
                 (( ? [V__TIME2] :
                     ((s__instance(V__TIME2,s__TimeInterval) &
                         (s__instance(V__TIME2,V__CLASS)
                         &
                         s__meetsTemporally(V__TIME2,V__TIME1)))))))))))))))
)
)

Merge.kif 9062-9072
( ! [V__DAY,V__AFTERNOON] :
   ((s__subclass(V__DAY,s__Day) =>
       ((s__instance(V__AFTERNOON,s__Afternoon) =>
           (( ? [V__HOUR] :
               ((s__instance(V__HOUR,s__TimeInterval) &
                   (s__instance(V__HOUR,s__HourFn(n__12,V__DAY))
                 &
                 s__starts(V__HOUR,V__AFTERNOON)))))))))
)
)

Merge.kif 8438-8443
( ! [V__AM] :
   ((s__instance(V__AM,s__AnteMeridiem) =>
       (( ? [V__D, V__HOUR1, V__HOUR2] :
           ((s__subclass(V__D,s__Day) &
               s__instance(V__HOUR1,s__TimeInterval) &
               s__instance(V__HOUR2,s__TimeInterval) &
               (s__instance(V__HOUR1,s__HourFn(n__24,V__D))
             &
             s__starts(V__HOUR1,V__AM)
           &
           s__instance(V__HOUR2,s__HourFn(n__12,V__D))
       &
       s__finishes(V__HOUR2,V__AM)))))))
)
)

Mid-level-ontology.kif 18127-18134
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 965-974
( ! [V__DAY] :
   ((s__instance(V__DAY,s__DayTime) =>
       (( ? [V__RISE, V__SET] :
           ((s__instance(V__RISE,s__Sunrise) &
               s__instance(V__SET,s__Sunset) &
               s__starts(V__RISE,V__DAY)
             &
             s__finishes(V__SET,V__DAY))))))
)
)

Merge.kif 8514-8521
( ! [V__INTERVAL,V__TIMECLASS2,V__TIMECLASS1] :
   (((s__instance(V__INTERVAL,s__TimeInterval) &
         s__subclass(V__TIMECLASS2,s__TimeInterval) &
         s__instance(V__TIMECLASS2,s__Class) &
         s__subclass(V__TIMECLASS1,s__TimeInterval) &
         s__instance(V__TIMECLASS1,s__Class))
       =>
       ((s__instance(V__INTERVAL,s__RecurrentTimeIntervalFn(V__TIMECLASS1,V__TIMECLASS2))
       =>
       (( ? [V__TIME1, V__TIME2] :
           ((s__instance(V__TIME1,s__TimeInterval) &
               s__instance(V__TIME2,s__TimeInterval) &
               (s__instance(V__TIME1,V__TIMECLASS1)
               &
               s__instance(V__TIME2,V__TIMECLASS2)
             &
             s__starts(V__TIME1,V__INTERVAL)
           &
           s__finishes(V__TIME2,V__INTERVAL)))))))))
)
)

Merge.kif 8098-8105
( ! [V__INTERVAL] :
   ((s__instance(V__INTERVAL,s__TimeInterval) =>
       (s__starts(s__ImmediateFutureFn(V__INTERVAL)
      ,s__FutureFn(V__INTERVAL))))
)
)

Merge.kif 8177-8179
( ! [V__LEAVE] :
   ((s__instance(V__LEAVE,s__Leaving) =>
       (( ? [V__GO] :
           ((s__instance(V__GO,s__Translocation) &
               s__subProcess(V__LEAVE,V__GO)
             &
             s__starts(s__WhenFn(V__LEAVE)
          ,s__WhenFn(V__GO)))))))
)
)

Mid-level-ontology.kif 16398-16404
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 274-288
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 294-308
( ! [V__NIGHT] :
   ((s__instance(V__NIGHT,s__NightTime) =>
       (( ? [V__RISE, V__SET] :
           ((s__instance(V__RISE,s__Sunrise) &
               s__instance(V__SET,s__Sunset) &
               s__starts(V__SET,V__NIGHT)
             &
             s__finishes(V__RISE,V__NIGHT))))))
)
)

Merge.kif 8536-8543
( ! [V__PM] :
   ((s__instance(V__PM,s__PostMeridiem) =>
       (( ? [V__D, V__HOUR1, V__HOUR2] :
           ((s__subclass(V__D,s__Day) &
               s__instance(V__HOUR1,s__TimeInterval) &
               s__instance(V__HOUR2,s__TimeInterval) &
               (s__instance(V__HOUR1,s__HourFn(n__12,V__D))
             &
             s__starts(V__HOUR1,V__PM)
           &
           s__instance(V__HOUR2,s__HourFn(n__24,V__D))
       &
       s__finishes(V__HOUR2,V__PM)))))))
)
)

Mid-level-ontology.kif 18141-18148
( ! [V__P,V__S] :
   (((s__instance(V__P,s__Process) &
         s__instance(V__P,s__Class) &
         s__instance(V__S,s__Physical))
       =>
       ((s__instance(V__S,s__StartFn(V__P))
       =>
       (( ? [V__I] :
           ((s__instance(V__I,s__Physical) &
               (s__instance(V__I,V__P)
               &
               s__starts(s__WhenFn(V__S)
            ,s__WhenFn(V__I))))))))))
)
)

Mid-level-ontology.kif 395-400
( ! [V__SS] :
   ((s__instance(V__SS,s__SportServe) =>
       (( ? [V__S] :
           ((s__instance(V__S,s__Sport) &
               s__subProcess(V__SS,V__S)
             &
             s__starts(s__WhenFn(V__SS)
          ,s__WhenFn(V__S)))))))
)
)

Mid-level-ontology.kif 16170-16176
( ! [V__T1] :
   ((s__instance(V__T1,s__Advent) =>
       (( ? [V__T2] :
           ((s__instance(V__T2,s__AdventSunday) &
               s__starts(V__T2,V__T1))))))
   )
)

Media.kif 317-322

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25