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 7651-7653
(domain starts 1 TimeInterval) Merge.kif 7648-7648
(domain starts 2 TimeInterval) Merge.kif 7649-7649
(instance starts IrreflexiveRelation) Merge.kif 7646-7646
(instance starts TemporalRelation) Merge.kif 7644-7644
(instance starts TotalValuedRelation) Merge.kif 7647-7647
(instance starts TransitiveRelation) Merge.kif 7645-7645
(subrelation starts temporalPart) Merge.kif 7643-7643

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 428-428
(termFormat ChineseLanguage starts "启动") domainEnglishFormat.kif 55064-55064
(termFormat ChineseLanguage starts "开始") chinese_format.kif 420-420
(termFormat ChineseTraditionalLanguage starts "啟動") domainEnglishFormat.kif 55063-55063
(termFormat EnglishLanguage starts "starts") domainEnglishFormat.kif 55062-55062

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


(<=>
    (starts ?INTERVAL1 ?INTERVAL2)
    (and
        (equal
            (BeginFn ?INTERVAL1)
            (BeginFn ?INTERVAL2))
        (before
            (EndFn ?INTERVAL1)
            (EndFn ?INTERVAL2))))
Merge.kif 7655-7663
(=>
    (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 1259-1273

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 2802-2818
(=>
    (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 2775-2791
(=>
    (and
        (equal ?FY
            (FiscalYearStartingFn ?PLACE ?YEAR))
        (fiscalYearPeriod ?PLACE ?PERIOD)
        (instance ?FY ?PERIOD))
    (exists (?DAY)
        (and
            (instance ?DAY Day)
            (starts ?DAY ?FY)
            (temporalPart ?DAY ?YEAR))))
Economy.kif 3755-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 660-672
(=>
    (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 19143-19158
(=>
    (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 14053-14062
(=>
    (and
        (instance ?OP BeginningOperations)
        (instance ?ORG Organization)
        (agent ?OP ?ORG))
    (starts ?OP
        (WhenFn ?ORG)))
Mid-level-ontology.kif 13968-13973
(=>
    (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 10593-10616
(=>
    (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 14068-14077
(=>
    (equal
        (TemporalCompositionFn ?INTERVAL ?INTERVALTYPE) ?CLASS)
    (exists (?TIME)
        (and
            (instance ?TIME ?CLASS)
            (starts ?TIME ?INTERVAL))))
Merge.kif 8879-8884
(=>
    (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 8905-8915
(=>
    (instance ?AFTERNOON Afternoon)
    (exists (?HOUR)
        (and
            (instance ?HOUR
                (HourFn 12 ?DAY))
            (starts ?HOUR ?AFTERNOON))))
Merge.kif 8281-8286
(=>
    (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 16910-16917
(=>
    (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 1411-1420
(=>
    (instance ?DAY DayTime)
    (exists (?RISE ?SET)
        (and
            (instance ?RISE Sunrise)
            (instance ?SET Sunset)
            (starts ?RISE ?DAY)
            (finishes ?SET ?DAY))))
Merge.kif 8357-8364
(=>
    (instance ?INTERVAL
        (RecurrentTimeIntervalFn ?TIMECLASS1 ?TIMECLASS2))
    (exists (?TIME1 ?TIME2)
        (and
            (instance ?TIME1 ?TIMECLASS1)
            (instance ?TIME2 ?TIMECLASS2)
            (starts ?TIME1 ?INTERVAL)
            (finishes ?TIME2 ?INTERVAL))))
Merge.kif 7941-7948
(=>
    (instance ?INTERVAL TimeInterval)
    (starts
        (ImmediateFutureFn ?INTERVAL)
        (FutureFn ?INTERVAL)))
Merge.kif 8020-8022
(=>
    (instance ?LEAVE Leaving)
    (exists (?GO)
        (and
            (instance ?GO Translocation)
            (subProcess ?LEAVE ?GO)
            (starts
                (WhenFn ?LEAVE)
                (WhenFn ?GO)))))
Mid-level-ontology.kif 14889-14895
(=>
    (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 272-286
(=>
    (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 292-306
(=>
    (instance ?NIGHT NightTime)
    (exists (?RISE ?SET)
        (and
            (instance ?RISE Sunrise)
            (instance ?SET Sunset)
            (starts ?SET ?NIGHT)
            (finishes ?RISE ?NIGHT))))
Merge.kif 8379-8386
(=>
    (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 16923-16930
(=>
    (instance ?S
        (StartFn ?P))
    (exists (?I)
        (and
            (instance ?I ?P)
            (starts
                (WhenFn ?S)
                (WhenFn ?I)))))
Mid-level-ontology.kif 582-587
(=>
    (instance ?SS SportServe)
    (exists (?S)
        (and
            (instance ?S Sport)
            (subProcess ?SS ?S)
            (starts
                (WhenFn ?SS)
                (WhenFn ?S)))))
Mid-level-ontology.kif 14651-14657
(=>
    (instance ?T1 Advent)
    (exists (?T2)
        (and
            (instance ?T2 AdventSunday)
            (starts ?T2 ?T1))))
Media.kif 317-322

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


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