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 7593-7595
s__domain(s__starts__m,n__1,s__TimeInterval)

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

Merge.kif 7591-7591 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 7588-7588 starts is an instance of irreflexive relation
s__instance(s__starts__m,s__TemporalRelation)

s__instance(s__TemporalRelation,s__SetOrClass)

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

s__instance(s__starts__m,s__TotalValuedRelation)

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

s__instance(s__starts__m,s__TransitiveRelation)

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

Merge.kif 7585-7585 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 54967-54967
s__termFormat(s__ChineseLanguage,s__starts__m,'"开始"')

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

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

domainEnglishFormat.kif 54965-54965

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 7597-7605 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 2802-2818
( ! [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 2775-2791
( ! [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__SetOrClass))
     =>
     ((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 660-672
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19112-19127
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14026-14035
( ! [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 13941-13946
( ! [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 10531-10554
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14041-14050
( ! [V__INTERVAL,V__INTERVAL_TYPE,V__CLASS] :
   ((s__instance(V__INTERVAL,s__TimeInterval) &
       s__subclass(V__INTERVAL_TYPE,s__TimeInterval) &
       s__subclass(V__CLASS,s__TimeInterval) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__TemporalCompositionFn(V__INTERVAL,V__INTERVAL_TYPE)
     = V__CLASS)
   =>
   ( ? [V__TIME] :
     ((s__instance(V__TIME,s__TimeInterval) &
         (s__instance(V__TIME,V__CLASS)
         &
         s__starts(V__TIME,V__INTERVAL)))))
)
)

Merge.kif 8818-8823
( ! [V__INTERVAL,V__INTERVAL_TYPE,V__CLASS] :
   ((s__instance(V__INTERVAL,s__TimeInterval) &
       s__subclass(V__INTERVAL_TYPE,s__TimeInterval) &
       s__subclass(V__CLASS,s__TimeInterval) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     (s__TemporalCompositionFn(V__INTERVAL,V__INTERVAL_TYPE)
     = 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 8844-8854
( ! [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 8221-8226
( ! [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 16880-16887
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1405-1414
( ! [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 8297-8304
( ! [V__INTERVAL,V__TIMECLASS2,V__TIMECLASS1] :
   ((s__instance(V__INTERVAL,s__TimeInterval) &
       s__subclass(V__TIMECLASS2,s__TimeInterval) &
       s__instance(V__TIMECLASS2,s__SetOrClass) &
       s__subclass(V__TIMECLASS1,s__TimeInterval) &
       s__instance(V__TIMECLASS1,s__SetOrClass))
     =>
     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 7882-7889
( ! [V__INTERVAL] :
   (s__instance(V__INTERVAL,s__TimeInterval) =>
     s__starts(s__ImmediateFutureFn(V__INTERVAL)
  ,s__FutureFn(V__INTERVAL))
)
)

Merge.kif 7961-7963
( ! [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 14862-14868
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 272-286
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 292-306
( ! [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 8319-8326
( ! [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 16893-16900
( ! [V__P,V__S] :
   ((s__instance(V__P,s__Process) &
       s__instance(V__P,s__SetOrClass) &
       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 582-587
( ! [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 14624-14630
( ! [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

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


No TPTP formula. May not be expressible in strict first order. Media.kif 1972-1980 There exists a time interval such that the time interval is an instance of time interval and the time interval finishes the time of existence of JesusOfNazareth and the time interval starts the time of existence of TwelveApostles and for all an entity


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