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
-------------------------


(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 8076-8078
(documentation starts JapaneseLanguage "(starts ?INTERVAL1 ?INTERVAL2) とは、?INTERVAL1 と ?INTERVAL2 が両方とも同じ初期 TimePoint を持つ TimeInterva であり、?INTERVAL1 が ?INTERVAL2 より前に終了することを意味する。") japanese_format.kif 1424-1426
(domain starts 1 TimeInterval) Merge.kif 8073-8073 域 啟動, 1 and TimeInterval
(domain starts 2 TimeInterval) Merge.kif 8074-8074 域 啟動, 2 and TimeInterval
(instance starts IrreflexiveRelation) Merge.kif 8071-8071 例 啟動 and IrreflexiveRelation
(instance starts TemporalRelation) Merge.kif 8069-8069 例 啟動 and TemporalRelation
(instance starts TotalValuedRelation) Merge.kif 8072-8072 例 啟動 and TotalValuedRelation
(instance starts TransitiveRelation) Merge.kif 8070-8070 例 啟動 and TransitiveRelation
(subrelation starts temporalPart) Merge.kif 8068-8068 子關係 啟動 and 時間部分

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 55076-55076
(termFormat ChineseLanguage starts "开始") chinese_format.kif 420-420
(termFormat ChineseTraditionalLanguage starts "啟動") domainEnglishFormat.kif 55075-55075
(termFormat EnglishLanguage starts "starts") domainEnglishFormat.kif 55074-55074

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
(=>
    (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
(=>
    (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
(=>
    (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 1254-1268
(=>
    (starts ?INTERVAL1 ?INTERVAL2)
    (and
        (equal
            (BeginFn ?INTERVAL1)
            (BeginFn ?INTERVAL2))
        (before
            (EndFn ?INTERVAL1)
            (EndFn ?INTERVAL2))))		 Merge.kif 8080-8088

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 2881-2897
(=>
    (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 2854-2870
(=>
    (and
        (equal
            (BeginFn ?INTERVAL1)
            (BeginFn ?INTERVAL2))
        (before
            (EndFn ?INTERVAL1)
            (EndFn ?INTERVAL2)))
    (starts ?INTERVAL1 ?INTERVAL2))		 Merge.kif 8090-8098
(=>
    (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 3754-3764
(=>
    (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
(=>
    (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 21501-21516
(=>
    (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 16407-16416
(=>
    (and
        (instance ?OP BeginningOperations)
        (instance ?ORG Organization)
        (agent ?OP ?ORG))
    (starts ?OP
        (WhenFn ?ORG)))		 Mid-level-ontology.kif 16321-16326
(=>
    (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 11351-11374
(=>
    (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 16422-16431
(=>
    (equal
        (TemporalCompositionFn ?INTERVAL ?INTERVALTYPE) ?CLASS)
    (exists (?TIME)
        (and
            (instance ?TIME ?CLASS)
            (starts ?TIME ?INTERVAL))))		 Merge.kif 9445-9450
(=>
    (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 9471-9481
(=>
    (instance ?AFTERNOON Afternoon)
    (exists (?HOUR ?DAY)
        (and
            (instance ?HOUR
                (HourFn 12 ?DAY))
            (starts ?HOUR ?AFTERNOON))))		 Merge.kif 8831-8837
(=>
    (instance ?AM AnteMeridiem)
    (exists (?D ?HOUR1 ?HOUR2)
        (and
            (instance ?HOUR1
                (HourFn 24 ?D))
            (starts ?HOUR1 ?AM)
            (instance ?HOUR2
                (HourFn 12 ?D))
            (finishes ?HOUR2 ?AM))))		 Mid-level-ontology.kif 19122-19129
(=>
    (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
(=>
    (instance ?DAY DayTime)
    (exists (?RISE ?SET)
        (and
            (instance ?RISE Sunrise)
            (instance ?SET Sunset)
            (starts ?RISE ?DAY)
            (finishes ?SET ?DAY))))		 Merge.kif 8915-8922
(=>
    (instance ?INTERVAL
        (RecurrentTimeIntervalFn ?TIMECLASS1 ?TIMECLASS2))
    (exists (?TIME1 ?TIME2)
        (and
            (instance ?TIME1 ?TIMECLASS1)
            (instance ?TIME2 ?TIMECLASS2)
            (starts ?TIME1 ?INTERVAL)
            (finishes ?TIME2 ?INTERVAL))))		 Merge.kif 8492-8499
(=>
    (instance ?INTERVAL TimeInterval)
    (starts
        (ImmediateFutureFn ?INTERVAL)
        (FutureFn ?INTERVAL)))		 Merge.kif 8571-8573
(=>
    (instance ?LEAVE Leaving)
    (exists (?GO)
        (and
            (instance ?GO Translocation)
            (subProcess ?LEAVE ?GO)
            (starts
                (WhenFn ?LEAVE)
                (WhenFn ?GO)))))		 Mid-level-ontology.kif 17327-17333
(=>
    (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
(=>
    (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
(=>
    (instance ?NIGHT NightTime)
    (exists (?RISE ?SET)
        (and
            (instance ?RISE Sunrise)
            (instance ?SET Sunset)
            (starts ?SET ?NIGHT)
            (finishes ?RISE ?NIGHT))))		 Merge.kif 8937-8944
(=>
    (instance ?PM PostMeridiem)
    (exists (?D ?HOUR1 ?HOUR2)
        (and
            (instance ?HOUR1
                (HourFn 12 ?D))
            (starts ?HOUR1 ?PM)
            (instance ?HOUR2
                (HourFn 24 ?D))
            (finishes ?HOUR2 ?PM))))		 Mid-level-ontology.kif 19136-19143
(=>
    (instance ?S
        (StartFn ?P))
    (exists (?I)
        (and
            (instance ?I ?P)
            (starts
                (WhenFn ?S)
                (WhenFn ?I)))))		 Mid-level-ontology.kif 417-422
(=>
    (instance ?SS SportServe)
    (exists (?S)
        (and
            (instance ?S Sport)
            (subProcess ?SS ?S)
            (starts
                (WhenFn ?SS)
                (WhenFn ?S)))))		 Mid-level-ontology.kif 17097-17103

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 TimeInterval 例 TimeInterval and TimeInterval 飾面 TimeInterval and 何時 JesusOfNazareth 啟動 TimeInterval and 何時 TwelveApostles 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 3.0 is open source software produced by Articulate Software and its partners