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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - finishes
finishes

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


(documentation finishes ChineseLanguage "(finishes ?INTERVAL1 ?INTERVAL2) 的意思是 ?INTERVAL1 和 ?INTERVAL 2两个是 TimeInterval 有共同的结束 TimePoint,而 ?INTERVAL2 比 ?INTERVAL1 先开始。") chinese_format.kif 2704-2706
(documentation finishes EnglishLanguage "(finishes ?INTERVAL1 ?INTERVAL2) means that ?INTERVAL1 and ?INTERVAL2 are both TimeIntervals that have the same ending TimePoint and that ?INTERVAL2 begins before ?INTERVAL1.") Merge.kif 7648-7650
(domain finishes 1 TimeInterval) Merge.kif 7645-7645 完成 的 1 数量 是 时距instance
(domain finishes 2 TimeInterval) Merge.kif 7646-7646 完成 的 2 数量 是 时距instance
(instance finishes IrreflexiveRelation) Merge.kif 7643-7643 完成非自反关系instance
(instance finishes TemporalRelation) Merge.kif 7641-7641 完成时间关系instance
(instance finishes TotalValuedRelation) Merge.kif 7644-7644 完成总值关系instance
(instance finishes TransitiveRelation) Merge.kif 7642-7642 完成传递关系instance
(subrelation finishes temporalPart) Merge.kif 7640-7640 完成时间部分subrelation

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


(format ChineseLanguage finishes "%1 %n finishes了才到 %2") chinese_format.kif 421-421
(format EnglishLanguage finishes "%1 %n{doesn't} finish%p{es} %2") english_format.kif 430-430
(termFormat ChineseLanguage finishes "完成") chinese_format.kif 422-422
(termFormat ChineseLanguage finishes "饰面") domainEnglishFormat.kif 23803-23803
(termFormat ChineseTraditionalLanguage finishes "飾面") domainEnglishFormat.kif 23802-23802
(termFormat EnglishLanguage finishes "finishes") domainEnglishFormat.kif 23801-23801

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


(<=>
    (and
        (agreementPeriod ?Account ?Period)
        (finishes ?End ?Period))
    (maturityDate ?Account ?End))
FinancialOntology.kif 601-605 时距 金融账户agreement 週期 和 finishes了才到 那个 时距 若且唯若 那个 日那个 金融账户maturity 日期
(<=>
    (finishes ?INTERVAL1 ?INTERVAL2)
    (and
        (before
            (BeginFn ?INTERVAL2)
            (BeginFn ?INTERVAL1))
        (equal
            (EndFn ?INTERVAL2)
            (EndFn ?INTERVAL1))))
Merge.kif 7652-7660 时距 finishes了才到 另一个 时距 若且唯若 那个 另外 时距 的开始%n在那个 时距 的开始before发生 和 那个 另外 时距 的结束 equal 那个 时距 的结束
(=>
    (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 ShutdownBlock)
            (hasDependency ?Program1 ?Program2)
            (instance ?Process1 ComputerProcess)
            (programRunning ?Process1 ?Program1)
            (instance ?Process2 ComputerProcess)
            (programRunning ?Process2 ?Program2)
            (equal
                (WhenFn ?Process2) ?Time2)
            (finishes ?Time ?Time1)
            (equal
                (WhenFn ?Process2) ?Time2)
            (equal
                (BeginFn ?Time)
                (EndFn ?Time2))))
    (duration ?Time ?Delay))
QoSontology.kif 1275-1289

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


(=>
    (and
        (attribute ?Order GTCOrder)
        (agreementPeriod ?Order ?Period))
    (or
        (exists (?Execute)
            (and
                (instance ?Execute FillingAnOrder)
                (patient ?Execute ?Order)
                (equal
                    (WhenFn ?Execute) ?Time)
                (overlapsTemporally ?Time ?Period)))
        (exists (?Cancel)
            (and
                (instance ?Cancel CancellingAnOrder)
                (patient ?Cancel ?Order)
                (equal
                    (WhenFn ?Cancel) ?End)
                (finishes ?End ?Period)))))
FinancialOntology.kif 2838-2854
(=>
    (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 19137-19152
(=>
    (and
        (instance ?CHECKIN CheckInService)
        (causes ?CHECKIN ?SERVICE)
        (instance ?CHECKOUT CheckOutService))
    (finishes
        (WhenFn ?CHECKOUT)
        (WhenFn ?SERVICE)))
Hotel.kif 2142-2149
(=>
    (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 14051-14060
(=>
    (and
        (instance ?OP CeasingOperations)
        (instance ?ORG Organization)
        (agent ?OP ?ORG))
    (finishes ?OP
        (WhenFn ?ORG)))
Mid-level-ontology.kif 14003-14008
(=>
    (and
        (instance ?REM OrganismRemains)
        (holdsDuring
            (WhenFn ?REM)
            (part ?OBJ ?REM)))
    (exists (?ORG)
        (and
            (instance ?ORG Organism)
            (earlier
                (WhenFn ?ORG)
                (WhenFn ?REM))
            (finishes
                (WhenFn ?REM)
                (WhenFn ?ORG))
            (holdsDuring
                (WhenFn ?ORG)
                (part ?OBJ ?ORG)))))
Mid-level-ontology.kif 159-170
(=>
    (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 10561-10584
(=>
    (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 14066-14075
(=>
    (and
        (instance ?X CarAlarm)
        (instance ?CAR SelfPoweredRoadVehicle)
        (part ?X ?CAR))
    (hasPurpose ?X
        (=>
            (and
                (or
                    (instance ?HARM Stealing)
                    (instance ?HARM Damaging))
                (instance ?THIEF Human)
                (agent ?HARM ?THIEF)
                (patient ?HARM ?CAR)
                (equal
                    (WhenFn ?HARM) ?T)
                (eventPartlyLocated ?HARM ?L))
            (exists (?ALARM)
                (and
                    (instance ?ALARM RadiatingSound)
                    (agent ?ALARM ?X)
                    (causes ?HARM ?ALARM)
                    (hasPurpose ?ALARM
                        (increasesLikelihood
                            (exists (?WITNESS)
                                (and
                                    (instance ?WITNESS Human)
                                    (holdsDuring ?T
                                        (orientation ?WITNESS ?L Near))))
                            (or
                                (knows ?WITNESS
                                    (exists (?H)
                                        (and
                                            (or
                                                (instance ?H Stealing)
                                                (instance ?H Damaging))
                                            (eventPartlyLocated ?H ?L)
                                            (holdsDuring ?T
                                                (patient ?H ?CAR)))))
                                (finishes
                                    (WhenFn ?ALARM)
                                    (WhenFn ?HARM))))))))))
Cars.kif 3685-3725
(=>
    (and
        (meatOfAnimal ?MEAT ?ANIMAL)
        (instance ?M ?MEAT))
    (exists (?TIME ?A)
        (and
            (instance ?A ?ANIMAL)
            (finishes ?TIME
                (WhenFn ?A))
            (holdsDuring ?TIME
                (part ?M ?A)))))
Mid-level-ontology.kif 18143-18152
(=>
    (and
        (property ?Option EuropeanStyleOption)
        (agreementExpirationDate ?Option ?Date))
    (exists (?Period ?Time)
        (and
            (instance ?Period TimeInterval)
            (finishes ?Period ?Date)
            (=>
                (and
                    (instance ?Exercise ExerciseAnOption)
                    (equal
                        (WhenFn ?Exercise) ?Time))
                (temporalPart ?Time ?Period)))))
FinancialOntology.kif 2729-2741
(=>
    (and
        (statementPeriod ?Statement ?Period)
        (dateOfStatement ?Statement ?Date))
    (finishes ?Date ?Period))
FinancialOntology.kif 3913-3917
(=>
    (equal
        (TemporalCompositionFn ?INTERVAL ?INTERVAL-TYPE) ?CLASS)
    (exists (?TIME)
        (and
            (instance ?TIME ?CLASS)
            (finishes ?TIME ?INTERVAL))))
Merge.kif 8858-8863
(=>
    (equal
        (TemporalCompositionFn ?INTERVAL ?INTERVAL-TYPE) ?CLASS)
    (forall (?TIME1)
        (=>
            (and
                (instance ?TIME1 ?CLASS)
                (not
                    (finishes ?TIME1 ?INTERVAL)))
            (exists (?TIME2)
                (and
                    (instance ?TIME2 ?CLASS)
                    (meetsTemporally ?TIME1 ?TIME2))))))
Merge.kif 8865-8875
(=>
    (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 16905-16912
(=>
    (instance ?ARRIVE Arriving)
    (exists (?GO)
        (and
            (instance ?GO Translocation)
            (subProcess ?ARRIVE ?GO)
            (finishes
                (WhenFn ?ARRIVE)
                (WhenFn ?GO)))))
Mid-level-ontology.kif 14898-14904
(=>
    (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 8330-8337
(=>
    (instance ?INTERVAL
        (RecurrentTimeIntervalFn ?TIMECLASS1 ?TIMECLASS2))
    (exists (?TIME1 ?TIME2)
        (and
            (instance ?TIME1 ?TIMECLASS1)
            (instance ?TIME2 ?TIMECLASS2)
            (starts ?TIME1 ?INTERVAL)
            (finishes ?TIME2 ?INTERVAL))))
Merge.kif 7915-7922
(=>
    (instance ?INTERVAL TimeInterval)
    (finishes
        (ImmediatePastFn ?INTERVAL)
        (PastFn ?INTERVAL)))
Merge.kif 7963-7965
(=>
    (instance ?MORNING Morning)
    (exists (?HOUR)
        (and
            (instance ?HOUR
                (HourFn 12 ?DAY))
            (finishes ?HOUR ?MORNING))))
Merge.kif 8265-8270
(=>
    (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 ?NEGOTIATE Negotiating)
    (hasPurpose ?NEGOTIATE
        (exists (?COMMIT)
            (and
                (instance ?COMMIT Committing)
                (subProcess ?COMMIT ?NEGOTIATE)
                (finishes
                    (WhenFn ?COMMIT)
                    (WhenFn ?NEGOTIATE))))))
Mid-level-ontology.kif 17518-17524

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 有存在 时距 这样 那个 时距时距instance那个 时距 finishes了才到 JesusOfNazareth 出现 的 time那个 时距 starts了才到 TwelveApostles 出现 的 time 和 对所有 实体


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