(=>
(and
(equal
(BeginFn ?INTERVAL1)
(BeginFn ?INTERVAL2))
(before
(EndFn ?INTERVAL1)
(EndFn ?INTERVAL2)))
(starts ?INTERVAL1 ?INTERVAL2)) |
Merge.kif 8228-8236 |
If equal the beginning of X and the beginning of Y and the end of X happens before the end of Y, then X starts Y |
(=>
(instance ?INTERVAL
(RecurrentTimeIntervalFn ?TIMECLASS1 ?TIMECLASS2))
(exists (?TIME1 ?TIME2)
(and
(instance ?TIME1 ?TIMECLASS1)
(instance ?TIME2 ?TIMECLASS2)
(starts ?TIME1 ?INTERVAL)
(finishes ?TIME2 ?INTERVAL)))) |
Merge.kif 8658-8665 |
If X is an instance of the recurring period from Y to Z, then there exist W, V such that W is an instance of Y, V is an instance of Z, W starts X, and V finishes X |
(=>
(instance ?INTERVAL TimeInterval)
(starts
(ImmediateFutureFn ?INTERVAL)
(FutureFn ?INTERVAL))) |
Merge.kif 8737-8739 |
If X is an instance of timeframe, then immediately after X starts after X |
(=>
(instance ?AFTERNOON Afternoon)
(exists (?HOUR ?DAY)
(and
(instance ?HOUR
(HourFn 12 ?DAY))
(starts ?HOUR ?AFTERNOON)))) |
Merge.kif 8997-9003 |
If X is an instance of afternoon, then there exist Y, Z such that Y is an instance of the hour 12, and Y starts X |
(=>
(instance ?DAY DayTime)
(exists (?RISE ?SET)
(and
(instance ?RISE Sunrise)
(instance ?SET Sunset)
(starts ?RISE ?DAY)
(finishes ?SET ?DAY)))) |
Merge.kif 9081-9088 |
If X is an instance of day time, then there exist Y, Z such that Y is an instance of sunrise, Z is an instance of sunset, Y starts X, and Z finishes X |
(=>
(instance ?NIGHT NightTime)
(exists (?RISE ?SET)
(and
(instance ?RISE Sunrise)
(instance ?SET Sunset)
(starts ?SET ?NIGHT)
(finishes ?RISE ?NIGHT)))) |
Merge.kif 9103-9110 |
If X is an instance of night time, then there exist Y, Z such that Y is an instance of sunrise, Z is an instance of sunset, Z starts X, and Y finishes X |
(=>
(and
(instance ?S Sunday)
(instance ?W Week)
(during ?S ?W))
(starts ?S ?W)) |
Merge.kif 9551-9556 |
If X is an instance of Sunday, Y is an instance of week, and X takes place during Y, then X starts Y |
(=>
(equal
(TemporalCompositionFn ?INTERVAL ?INTERVALTYPE) ?CLASS)
(exists (?TIME)
(and
(instance ?TIME ?CLASS)
(starts ?TIME ?INTERVAL)))) |
Merge.kif 9634-9639 |
If equal decomposition of X into Y and Z, then there exists W such that W is an instance of Z and W starts X |
(=>
(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 9660-9670 |
If equal decomposition of X into Y and Z, then For all TimeInterval W: if W doesn't start X, then there exists V such that V is an instance of Z and V meets W |
(=>
(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 11586-11609 |
If All of the following hold: (1) X is an instance of translocation (2) Y is an instance of translocation (3) X originates at Z (4) Y originates at W (5) X ends up at W (6) Y ends up at V (7) U experiences X (8) U experiences Y, then All of the following hold: (1) there exists T such that T is an instance of translocation (2) T originates at Z (3) T ends up at V (4) X is a subprocess of T (5) Y is a subprocess of T (6) U experiences T (7) the time of existence of X starts the time of existence of T (8) the time of existence of Y finishes the time of existence of T |
(=>
(instance ?S
(StartFn ?P))
(exists (?I)
(and
(instance ?I ?P)
(starts
(WhenFn ?S)
(WhenFn ?I))))) |
Mid-level-ontology.kif 407-412 |
If X is an instance of the start of Y, then there exists Z such that Z is an instance of Y and the time of existence of X starts the time of existence of Z |
(=>
(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 470-482 |
If X is an instance of ambulating and equal Y and the time of existence of X, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of stepping (3) W is an instance of stepping (4) Z is a subprocess of X (5) W is a subprocess of X (6) the time of existence of Z starts Y (7) the time of existence of W finishes Y (8) equal Z (9) W |
(=>
(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 1015-1024 |
If X is an instance of divorcing, then there exist Y, Z,, , W, V such that Y is the spouse of Z holds during W, Y is the spouse of Z holds during V, W finishes X, and V starts X |
(=>
(and
(instance ?OP BeginningOperations)
(instance ?ORG Organization)
(agent ?OP ?ORG))
(starts ?OP
(WhenFn ?ORG))) |
Mid-level-ontology.kif 17927-17932 |
If X is an instance of beginning operations, Y is an instance of organization, and Y is an agent of X, then X starts the time of existence of Y |
(=>
(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 18013-18022 |
If X is an instance of falling asleep and Y experiences X, then there exist Z, W such that Z starts the time of existence of X, W finishes the time of existence of X, awake is an attribute of Y holds during Z, and asleep is an attribute of Y holds during W |
(=>
(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 18028-18037 |
If X is an instance of waking up and Y experiences X, then there exist Z, W such that Z starts the time of existence of X, W finishes the time of existence of X, asleep is an attribute of Y holds during Z, and awake is an attribute of Y holds during W |
(=>
(instance ?SS SportServe)
(exists (?S)
(and
(instance ?S Sport)
(subProcess ?SS ?S)
(starts
(WhenFn ?SS)
(WhenFn ?S))))) |
Mid-level-ontology.kif 18688-18694 |
If X is an instance of sport serve, then there exists Y such that Y is an instance of sport, X is a subprocess of Y, and the time of existence of X starts the time of existence of Y |
(=>
(instance ?LEAVE Leaving)
(exists (?GO)
(and
(instance ?GO Translocation)
(subProcess ?LEAVE ?GO)
(starts
(WhenFn ?LEAVE)
(WhenFn ?GO))))) |
Mid-level-ontology.kif 19139-19145 |
If X is an instance of leaving, then there exists Y such that Y is an instance of translocation, X is a subprocess of Y, and the time of existence of X starts the time of existence of Y |
(=>
(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 21032-21039 |
If X is an instance of ante meridiem, then there exist Y, Z, W such that Z is an instance of the hour 0, Z starts X, W is an instance of the hour 12, and W finishes X |
(=>
(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 21046-21053 |
If X is an instance of post meridiem, then there exist Y, Z, W such that Z is an instance of the hour 12, Z starts X, W is an instance of the hour 23, and W finishes X |
(=>
(instance ?WEEKEND Weekend)
(exists (?SATURDAY ?SUNDAY)
(and
(instance ?SATURDAY Saturday)
(instance ?SUNDAY Sunday)
(starts ?SATURDAY ?WEEKEND)
(finishes ?SUNDAY ?WEEKEND)
(meetsTemporally ?SATURDAY ?SUNDAY)))) |
Mid-level-ontology.kif 21058-21066 |
If X is an instance of weekend, then there exist Y, Z such that Y is an instance of Saturday, Z is an instance of Sunday, Y starts X, Z finishes X, and Y meets Z |
(=>
(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 X is an instance of muakhar sadaq, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an agent of X (3) X originates at Y (4) X ends up at Z (5) Z is the wife of Y holds during W (6) Z is the wife of Y doesn't hold during V (7) W finishes X (8) W happens before V (9) V starts X |
(=>
(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 X is an instance of muqaddam sadaq, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an agent of X (3) X originates at Y (4) X ends up at Z (5) Z is the wife of Y doesn't hold during W (6) Z is the wife of Y holds during V (7) W finishes X (8) W happens before V (9) V starts X |
(=>
(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 4086-4096 |
If equal X, the fiscal year starting of Y, and Z, W is a fiscal year period of Y, and X is an instance of W, then there exist V, U such that V is an instance of day, V starts X, U is an instance of Z, and V is a part of U |
(=>
(and
(instance ?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 2873-2889 |
If X is an instance of IOC order and Y is an agreement period of X, then there exist Z, W such that Z is an instance of filling an order, X is a patient of Z, equal the time of existence of Z, W, and W starts Y or there exist V, U such that V is an instance of cancelling an order, X is a patient of V, equal the time of existence of V, U, and U starts Y |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
starts