starts - Sigma Knowledge base Browser

appearance as argument number 1

(documentation starts ChineseLanguage "(starts ?INTERVAL1 ?INTERVAL2) 的意思是 ?INTERVAL1 和 ?INTERVAL2 两个是 TimeInterval 有共同的开始 TimePoint，而 ?INTERVAL1 比 ?INTERVAL2 先结束。")	chinese_format.kif 2701-2703
(documentation starts 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 8082-8084
(documentation starts JapaneseLanguage "(starts ?INTERVAL1 ?INTERVAL2) とは、?INTERVAL1 と ?INTERVAL2 が両方とも同じ初期 TimePoint を持つ TimeInterva であり、?INTERVAL1 が ?INTERVAL2 より前に終了することを意味する。")	japanese_format.kif 1424-1426
(domain starts 1 TimeInterval)	Merge.kif 8079-8079	The number 1 argument of starts is an instance of time interval
(domain starts 2 TimeInterval)	Merge.kif 8080-8080	The number 2 argument of starts is an instance of time interval
(instance starts IrreflexiveRelation)	Merge.kif 8077-8077	starts is an instance of irreflexive relation
(instance starts TemporalRelation)	Merge.kif 8075-8075	starts is an instance of temporal relation
(instance starts TotalValuedRelation)	Merge.kif 8078-8078	starts is an instance of total valued relation
(instance starts TransitiveRelation)	Merge.kif 8076-8076	starts is an instance of transitive relation
(subrelation starts temporalPart)	Merge.kif 8074-8074	starts is a subrelation of temporal part

appearance as argument number 2

(format ChineseLanguage starts "%1 %n starts了才到 %2 ")	chinese_format.kif 419-419
(format EnglishLanguage starts "%1 %n{doesn't} start%p{s} %2")	english_format.kif 425-425
(format FrenchLanguage starts "%1 %n{ne} commence %n{pas} %2")	french_format.kif 244-244
(format ItalianLanguage starts "%1 %n{non} inizia%p{s} %2")	relations-it.txt 269-269
(format JapaneseLanguage starts "%1 は %2 を start%p{s} %n{ない}")	japanese_format.kif 2038-2038
(format PortugueseLanguage starts "%1 %n{nao} comeca em %n %2")	portuguese_format.kif 196-196
(format cz starts "%1 %n{doesn't} start%p{s} %2")	relations-cz.txt 249-249
(format de starts "%1 beginnt %2 %n{nicht}")	relations-de.txt 544-544
(format hi starts "%1 %2 ko %n{nahiin} praarambha karataa hai")	relations-hindi.txt 306-306
(format ro starts "%1 %n{nu} start%t{începe} %2")	relations-ro.kif 265-265
(format sv starts "%1 påbörjar %n{inte} %2")	relations-sv.txt 265-265
(format tg starts "%1 %n ay simula ng %2")	relations-tg.txt 461-461
(termFormat ChineseLanguage starts "启动")	domainEnglishFormat.kif 55107-55107
(termFormat ChineseLanguage starts "开始")	chinese_format.kif 420-420
(termFormat ChineseTraditionalLanguage starts "啟動")	domainEnglishFormat.kif 55106-55106
(termFormat EnglishLanguage starts "starts")	domainEnglishFormat.kif 55105-55105
(termFormat de starts "beginnt")	terms-de.txt 167-167

antecedent

(=> (and (instance ?Y Year) (instance ?E EasterSunday) (instance ?A AscensionThursday) (during ?E ?Y) (during ?A ?Y) (starts ?E ?I) (finishes ?A ?I)) (duration ?I (MeasureFn 40 DayDuration)))	Media.kif 538-547	If a time interval is an instance of year and another time interval is an instance of Easter sunday and a third time interval is an instance of ascension thursday and the other time interval takes place during the time interval and the third time interval takes place during the time interval and the other time interval starts a fourth time interval and the third time interval finishes the fourth time interval, then duration of the fourth time interval is 40 day duration(s)
(=> (and (instance ?Y Year) (instance ?E EasterSunday) (instance ?P PalmSunday) (during ?E ?Y) (during ?P ?Y) (starts ?P ?I) (finishes ?E ?I)) (duration ?I (MeasureFn 8 DayDuration)))	Media.kif 473-482	If a time interval is an instance of year and another time interval is an instance of Easter sunday and a third time interval is an instance of palm sunday and the other time interval takes place during the time interval and the third time interval takes place during the time interval and the third time interval starts a fourth time interval and the other time interval finishes the fourth time interval, then duration of the fourth time interval is 8 day duration(s)
(=> (and (instance ?Y Year) (instance ?E EasterSunday) (instance ?P Pentecost) (during ?E ?Y) (during ?P ?Y) (starts ?E ?I) (finishes ?P ?I)) (duration ?I (MeasureFn 50 DayDuration)))	Media.kif 559-568	If a time interval is an instance of year and another time interval is an instance of Easter sunday and a third time interval is an instance of Pentecost and the other time interval takes place during the time interval and the third time interval takes place during the time interval and the other time interval starts a fourth time interval and the third time interval finishes the fourth time interval, then duration of the fourth time interval is 50 day duration(s)
(=> (exists (?Time1 ?Time2) (and (dependencyDelay ?Program1 ?Delay) (dependencyType ?Program1 StartupBlock) (hasDependency ?Program1 ?Program2) (instance ?Process1 ComputerProcess) (programRunning ?Process1 ?Program1) (instance ?Process2 ComputerProcess) (programRunning ?Process2 ?Program2) (equal (WhenFn ?Process2) ?Time2) (starts ?Time2 ?Time) (equal (WhenFn ?Process1) ?Time1) (equal (EndFn ?Time) (BeginFn ?Time1)))) (duration ?Time ?Delay))	QoSontology.kif 1360-1374	If there exist a time interval and another time interval such that a time duration is a dependency delay of a computer program and startup block is a dependency type of the computer program and another computer program has a dependency on the computer program and a computer process is an instance of computer process and the computer program is a program running of the computer process and another computer process is an instance of computer process and the other computer program is a program running of the other computer process and the time of existence of the other computer process is equal to the other time interval and the other time interval starts a third time interval and the time of existence of the computer process is equal to the time interval and the end of the third time interval is equal to the beginning of the time interval, then duration of the third time interval is the time duration
(=> (starts ?INTERVAL1 ?INTERVAL2) (and (equal (BeginFn ?INTERVAL1) (BeginFn ?INTERVAL2)) (before (EndFn ?INTERVAL1) (EndFn ?INTERVAL2))))	Merge.kif 8086-8094	If a time interval starts another time interval, then 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

consequent

(=> (and (attribute ?Order FOKOrder) (agreementPeriod ?Order ?Period)) (or (exists (?Fill ?Time1) (and (instance ?Fill FillingAnOrder) (patient ?Fill ?Order) (equal (WhenFn ?Fill) ?Time1) (starts ?Time1 ?Period))) (exists (?Kill ?Time2) (and (instance ?Kill CancellingAnOrder) (patient ?Kill ?Order) (equal (WhenFn ?Kill) ?Time2) (starts ?Time2 ?Period)))))	FinancialOntology.kif 2895-2911	If FOK order is an attribute of an agreement and a time interval is an agreement period of the agreement, then there exist a process and another time interval such that the process is an instance of filling an order and the agreement is a patient of the process and the time of existence of the process is equal to the other time interval and the other time interval starts the time interval or there exist another process and a third time interval such that the other process is an instance of cancelling an order and the agreement is a patient of the other process and the time of existence of the other process is equal to the third time interval and the third time interval starts the time interval
(=> (and (attribute ?Order IOCOrder) (agreementPeriod ?Order ?Period)) (or (exists (?Fill ?Time1) (and (instance ?Fill FillingAnOrder) (patient ?Fill ?Order) (equal (WhenFn ?Fill) ?Time1) (starts ?Time1 ?Period))) (exists (?Kill ?Time2) (and (instance ?Kill CancellingAnOrder) (patient ?Kill ?Order) (equal (WhenFn ?Kill) ?Time2) (starts ?Time2 ?Period)))))	FinancialOntology.kif 2868-2884	If IOC order is an attribute of an agreement and a time interval is an agreement period of the agreement, then there exist a process and another time interval such that the process is an instance of filling an order and the agreement is a patient of the process and the time of existence of the process is equal to the other time interval and the other time interval starts the time interval or there exist another process and a third time interval such that the other process is an instance of cancelling an order and the agreement is a patient of the other process and the time of existence of the other process is equal to the third time interval and the third time interval starts the time interval
(=> (and (equal (BeginFn ?INTERVAL1) (BeginFn ?INTERVAL2)) (before (EndFn ?INTERVAL1) (EndFn ?INTERVAL2))) (starts ?INTERVAL1 ?INTERVAL2))	Merge.kif 8096-8104	If the beginning of a time interval is equal to the beginning of another time interval and the end of the time interval happens before the end of the other time interval, then the time interval starts the other time interval
(=> (and (equal ?FY (FiscalYearStartingFn ?PLACE ?YEAR)) (fiscalYearPeriod ?PLACE ?PERIOD) (instance ?FY ?PERIOD)) (exists (?DAY ?INST) (and (instance ?DAY Day) (starts ?DAY ?FY) (instance ?INST ?YEAR) (temporalPart ?DAY ?INST))))	Economy.kif 3964-3974	If a time interval is equal to the fiscal year starting of an agent and a kind of year and another kind of time interval is a fiscal year period of the agent and the time interval is an instance of another kind of time interval, then there exist a third time interval and a time position such that the third time interval is an instance of day and the third time interval starts the time interval and the time position is an instance of a kind of year and the third time interval is a part of the time position
(=> (and (instance ?AMBULATE Ambulating) (equal ?DURATION (WhenFn ?AMBULATE))) (exists (?STEP1 ?STEPN) (and (instance ?STEP1 Stepping) (instance ?STEPN Stepping) (subProcess ?STEP1 ?AMBULATE) (subProcess ?STEPN ?AMBULATE) (starts (WhenFn ?STEP1) ?DURATION) (finishes (WhenFn ?STEPN) ?DURATION) (not (equal ?STEP1 ?STEPN)))))	Mid-level-ontology.kif 480-492	If a process is an instance of ambulating and a time interval is equal to the time of existence of the process, then there exist another process and a third process such that the other process is an instance of stepping and the third process is an instance of stepping and the other process is a subprocess of the process and the third process is a subprocess of the process and the time of existence of the other process starts the time interval and the time of existence of the third process finishes the time interval and the other process is not equal to the third process
(=> (and (instance ?B Blushing) (experiencer ?B ?A)) (exists (?T1 ?T2 ?S1 ?S2) (and (instance ?S1 EmotionalState) (instance ?S2 EmotionalState) (not (equal ?S1 ?S2)) (holdsDuring ?T1 (attribute ?A ?S1)) (holdsDuring ?T2 (attribute ?A ?S2)) (starts (WhenFn ?B) ?T2) (finishes (WhenFn ?B) ?T1))))	Mid-level-ontology.kif 22563-22578	If a process is an instance of blushing and an agent experiences the process, then there exist a time interval, another time interval,, , an entity and another entity such that the entity is an instance of emotional state and the other entity is an instance of emotional state and the entity is not equal to the other entity and the entity is an attribute of the agent holds during the time interval and the other entity is an attribute of the agent holds during the other time interval and the time of existence of the process starts the other time interval and the time of existence of the process finishes the time interval
(=> (and (instance ?FALL FallingAsleep) (experiencer ?FALL ?AGENT)) (exists (?START ?FINISH) (and (starts ?START (WhenFn ?FALL)) (finishes ?FINISH (WhenFn ?FALL)) (holdsDuring ?START (attribute ?AGENT Awake)) (holdsDuring ?FINISH (attribute ?AGENT Asleep)))))	Mid-level-ontology.kif 17308-17317	If a process is an instance of falling asleep and an agent experiences the process, then there exist a time interval and another time interval such that the time interval starts the time of existence of the process and the other time interval finishes the time of existence of the process and awake is an attribute of the agent holds during the time interval and asleep is an attribute of the agent holds during the other time interval
(=> (and (instance ?OP BeginningOperations) (instance ?ORG Organization) (agent ?OP ?ORG)) (starts ?OP (WhenFn ?ORG)))	Mid-level-ontology.kif 17222-17227	If a time interval is an instance of beginning operations and an agent is an instance of organization and the agent is an agent of the time interval, then the time interval starts the time of existence of the agent
(=> (and (instance ?S Sunday) (instance ?W Week) (during ?S ?W)) (starts ?S ?W))	Merge.kif 9391-9396	If a time interval is an instance of Sunday and another time interval is an instance of week and the time interval takes place during the other time interval, then the time interval starts the other time interval
(=> (and (instance ?T1 Translocation) (instance ?T2 Translocation) (origin ?T1 ?O1) (origin ?T2 ?D1) (destination ?T1 ?D1) (destination ?T2 ?D2) (experiencer ?T1 ?P) (experiencer ?T2 ?P)) (exists (?T) (and (instance ?T Translocation) (origin ?T ?O1) (destination ?T ?D2) (subProcess ?T1 ?T) (subProcess ?T2 ?T) (experiencer ?T ?P) (starts (WhenFn ?T1) (WhenFn ?T)) (finishes (WhenFn ?T2) (WhenFn ?T)))))	Merge.kif 11380-11403	If a process is an instance of translocation and another process is an instance of translocation and the process originates at an object and the other process originates at another object and the process ends up at the other object and the other process ends up at an entity and an agent experiences the process and the agent experiences the other process, then there exists a third process such that the third process is an instance of translocation and the third process originates at the object and the third process ends up at the entity and the process is a subprocess of the third process and the other process is a subprocess of the third process and the agent experiences the third process and the time of existence of the process starts the time of existence of the third process and the time of existence of the other process finishes the time of existence of the third process
(=> (and (instance ?WAKE WakingUp) (experiencer ?WAKE ?AGENT)) (exists (?START ?FINISH) (and (starts ?START (WhenFn ?WAKE)) (finishes ?FINISH (WhenFn ?WAKE)) (holdsDuring ?START (attribute ?AGENT Asleep)) (holdsDuring ?FINISH (attribute ?AGENT Awake)))))	Mid-level-ontology.kif 17323-17332	If a process is an instance of waking up and an agent experiences the process, then there exist a time interval and another time interval such that the time interval starts the time of existence of the process and the other time interval finishes the time of existence of the process and asleep is an attribute of the agent holds during the time interval and awake is an attribute of the agent holds during the other time interval
(=> (equal (TemporalCompositionFn ?INTERVAL ?INTERVALTYPE) ?CLASS) (exists (?TIME) (and (instance ?TIME ?CLASS) (starts ?TIME ?INTERVAL))))	Merge.kif 9474-9479	If decomposition of a time interval into the time intervalTYPEs is equal to another kind of time interval, then there exists a third time interval such that the third time interval is an instance of another kind of time interval and the third time interval starts the time interval
(=> (equal (TemporalCompositionFn ?INTERVAL ?INTERVALTYPE) ?CLASS) (forall (?TIME1) (=> (and (instance ?TIME1 ?CLASS) (not (starts ?TIME1 ?INTERVAL))) (exists (?TIME2) (and (instance ?TIME2 ?CLASS) (meetsTemporally ?TIME2 ?TIME1))))))	Merge.kif 9500-9510	If decomposition of a time interval into the time intervalTYPEs is equal to another kind of time interval, then for all a third time interval if the third time interval is an instance of another kind of time interval and the third time interval doesn't start the time interval, then there exists a fourth time interval such that the fourth time interval is an instance of the other kind of time interval and the fourth time interval meets the third time interval
(=> (instance ?AFTERNOON Afternoon) (exists (?HOUR ?DAY) (and (instance ?HOUR (HourFn 12 ?DAY)) (starts ?HOUR ?AFTERNOON))))	Merge.kif 8837-8843	If a time interval is an instance of afternoon, then there exist another time interval and a kind of day such that the other time interval is an instance of the hour 12 and the other time interval starts the time interval
(=> (instance ?AM AnteMeridiem) (exists (?D ?HOUR1 ?HOUR2) (and (instance ?HOUR1 (HourFn 0 ?D)) (starts ?HOUR1 ?AM) (instance ?HOUR2 (HourFn 12 ?D)) (finishes ?HOUR2 ?AM))))	Mid-level-ontology.kif 20184-20191	If a time interval is an instance of ante meridiem, then there exist a kind of day, another time interval and a third time interval such that the other time interval is an instance of the hour 0 and the other time interval starts the time interval and the third time interval is an instance of the hour 12 and the third time interval finishes the time interval
(=> (instance ?D Divorcing) (exists (?P1 ?P2 ?T1 ?T2) (and (holdsDuring ?T1 (spouse ?P1 ?P2)) (holdsDuring ?T2 (not (spouse ?P1 ?P2))) (finishes ?T1 ?D) (starts ?T2 ?D))))	Mid-level-ontology.kif 1018-1027	If a time interval is an instance of divorcing, then there exist an entity, another entity,, , another time interval and a third time interval such that the entity is the spouse of the other entity holds during the other time interval and not the entity is the spouse of the other entity holds during the third time interval and the other time interval finishes the time interval and the third time interval starts the time interval
(=> (instance ?DAY DayTime) (exists (?RISE ?SET) (and (instance ?RISE Sunrise) (instance ?SET Sunset) (starts ?RISE ?DAY) (finishes ?SET ?DAY))))	Merge.kif 8921-8928	If a time interval is an instance of day time, then there exist another time interval and a third time interval such that the other time interval is an instance of sunrise and the third time interval is an instance of sunset and the other time interval starts the time interval and the third time interval finishes the time interval
(=> (instance ?INTERVAL (RecurrentTimeIntervalFn ?TIMECLASS1 ?TIMECLASS2)) (exists (?TIME1 ?TIME2) (and (instance ?TIME1 ?TIMECLASS1) (instance ?TIME2 ?TIMECLASS2) (starts ?TIME1 ?INTERVAL) (finishes ?TIME2 ?INTERVAL))))	Merge.kif 8498-8505	If a time interval is an instance of the recurring period from another kind of time interval to a third kind of time interval, then there exist a fourth time interval and a fifth time interval such that the fourth time interval is an instance of another kind of time interval and the fifth time interval is an instance of a third kind of time interval and the fourth time interval starts the time interval and the fifth time interval finishes the time interval
(=> (instance ?INTERVAL TimeInterval) (starts (ImmediateFutureFn ?INTERVAL) (FutureFn ?INTERVAL)))	Merge.kif 8577-8579	If a time position is an instance of time interval, then immediately after the time position starts after the time position
(=> (instance ?LEAVE Leaving) (exists (?GO) (and (instance ?GO Translocation) (subProcess ?LEAVE ?GO) (starts (WhenFn ?LEAVE) (WhenFn ?GO)))))	Mid-level-ontology.kif 18389-18395	If a process is an instance of leaving, then there exists another process such that the other process is an instance of translocation and the process is a subprocess of the other process and the time of existence of the process starts the time of existence of the other process
(=> (instance ?MS MuakharSadaq) (exists (?H ?W ?T1 ?T2) (and (agent ?MS ?H) (origin ?MS ?H) (destination ?MS ?W) (holdsDuring ?T1 (wife ?W ?H)) (not (holdsDuring ?T2 (wife ?W ?H))) (finishes ?T1 ?MS) (before ?T1 ?T2) (starts ?T2 ?MS))))	ArabicCulture.kif 285-299	If a time interval is an instance of muakhar sadaq, then there exist an agent, an entity,, , another time interval and a third time interval such that the agent is an agent of the time interval and the time interval originates at the agent and the time interval ends up at the entity and the entity is the wife of the agent holds during the other time interval and the entity is the wife of the agent doesn't hold during the third time interval and the other time interval finishes the time interval and the other time interval happens before the third time interval and the third time interval starts the time interval
(=> (instance ?MS MuqaddamSadaq) (exists (?H ?W ?T1 ?T2) (and (agent ?MS ?H) (origin ?MS ?H) (destination ?MS ?W) (not (holdsDuring ?T1 (wife ?W ?H))) (holdsDuring ?T2 (wife ?W ?H)) (finishes ?T1 ?MS) (before ?T1 ?T2) (starts ?T2 ?MS))))	ArabicCulture.kif 305-319	If a time interval is an instance of muqaddam sadaq, then there exist an agent, an entity,, , another time interval and a third time interval such that the agent is an agent of the time interval and the time interval originates at the agent and the time interval ends up at the entity and the entity is the wife of the agent doesn't hold during the other time interval and the entity is the wife of the agent holds during the third time interval and the other time interval finishes the time interval and the other time interval happens before the third time interval and the third time interval starts the time interval
(=> (instance ?NIGHT NightTime) (exists (?RISE ?SET) (and (instance ?RISE Sunrise) (instance ?SET Sunset) (starts ?SET ?NIGHT) (finishes ?RISE ?NIGHT))))	Merge.kif 8943-8950	If a time interval is an instance of night time, then there exist another time interval and a third time interval such that the other time interval is an instance of sunrise and the third time interval is an instance of sunset and the third time interval starts the time interval and the other time interval finishes the time interval
(=> (instance ?PM PostMeridiem) (exists (?D ?HOUR1 ?HOUR2) (and (instance ?HOUR1 (HourFn 12 ?D)) (starts ?HOUR1 ?PM) (instance ?HOUR2 (HourFn 23 ?D)) (finishes ?HOUR2 ?PM))))	Mid-level-ontology.kif 20198-20205	If a time interval is an instance of post meridiem, then there exist a kind of day, another time interval and a third time interval such that the other time interval is an instance of the hour 12 and the other time interval starts the time interval and the third time interval is an instance of the hour 23 and the third time interval finishes the time interval
(=> (instance ?S (StartFn ?P)) (exists (?I) (and (instance ?I ?P) (starts (WhenFn ?S) (WhenFn ?I)))))	Mid-level-ontology.kif 417-422	If a physical is an instance of the start of a process, then there exists another physical such that the other physical is an instance of the process and the time of existence of the physical starts the time of existence of the other physical

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

(exists (?TIME)
    (and
        (instance ?TIME TimeInterval)
        (finishes ?TIME
            (WhenFn JesusOfNazareth))
        (starts ?TIME
            (WhenFn TwelveApostles))
        (forall (?MEM)
            (=>
                (holdsDuring ?TIME
                    (member ?MEM TwelveApostles))
                (holdsDuring ?TIME
                    (friend ?MEM JesusOfNazareth))))))

Media.kif 1970-1978

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 Jesus of Nazareth and the time interval starts the time of existence of Twelve apostles and for all an entity

if the entity is a member of Twelve apostles holds during the time interval,
then Jesus of Nazareth is a friend of the entity holds during the time interval

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

KB Term:			Term intersection

English Word: