Source: http://sigma2.cim3.net:8080/sigma/Browse.jsp?term=TimeInterval&kb=SUMO

 
Browsing Interface
[ Home |  Ask/Tell |  Graph |  Prefs ]

KB:  Language: 

KB Term: 
English Word: 

TimeInterval(time interval)

 appearance as argument number 1


(documentation TimeInterval "An interval of time. Note that a TimeInterval has both an extent and a location on the universal timeline. Note too that a TimeInterval has no gaps, i.e. this class contains only convex time intervals.") Merge.kif 1658-1661
(subclass TimeInterval TimePosition) Merge.kif 1657-1657 time interval is a subclass of time position

 appearance as argument number 2


(partition TimePosition TimeInterval TimePoint) Merge.kif 1652-1652 time position is exhaustively partitioned into time point
(range FutureFn TimeInterval) Merge.kif 6348-6348 range of FutureFn is an instance of time interval
(range ImmediateFutureFn TimeInterval) Merge.kif 6365-6365 range of ImmediateFutureFn is an instance of time interval
(range ImmediatePastFn TimeInterval) Merge.kif 6335-6335 range of ImmediatePastFn is an instance of time interval
(range PastFn TimeInterval) Merge.kif 6318-6318 range of PastFn is an instance of time interval
(range TimeIntervalFn TimeInterval) Merge.kif 6256-6256 range of TimeIntervalFn is an instance of time interval
(range WhenFn TimeInterval) Merge.kif 6308-6308 range of WhenFn is an instance of time interval
(rangeSubclass RecurrentTimeIntervalFn TimeInterval) Merge.kif 6286-6286 the values returned by RecurrentTimeIntervalFn are subclasses of time interval
(rangeSubclass TemporalCompositionFn TimeInterval) Merge.kif 6844-6844 the values returned by TemporalCompositionFn are subclasses of time interval
(subclass Day TimeInterval) Merge.kif 6711-6711 day is a subclass of time interval
(subclass DayTime TimeInterval) Mid-level-ontology.kif 5236-5236 DayTime is a subclass of time interval
(subclass Hour TimeInterval) Merge.kif 6813-6813 hour is a subclass of time interval
(subclass Minute TimeInterval) Merge.kif 6822-6822 minute is a subclass of time interval
(subclass Month TimeInterval) Merge.kif 6542-6542 month is a subclass of time interval
(subclass NightTime TimeInterval) Mid-level-ontology.kif 5214-5214 NightTime is a subclass of time interval
(subclass SeasonOfYear TimeInterval) Mid-level-ontology.kif 5301-5301 SeasonOfYear is a subclass of time interval
(subclass Second TimeInterval) Merge.kif 6831-6831 second is a subclass of time interval
(subclass Sunrise TimeInterval) Mid-level-ontology.kif 5280-5280 Sunrise is a subclass of time interval
(subclass Sunset TimeInterval) Mid-level-ontology.kif 5284-5284 Sunset is a subclass of time interval
(subclass Week TimeInterval) Merge.kif 6806-6806 week is a subclass of time interval
(subclass Weekend TimeInterval) Mid-level-ontology.kif 5288-5288 Weekend is a subclass of time interval
(subclass Year TimeInterval) Merge.kif 6511-6511 year is a subclass of time interval
(termFormat en TimeInterval "time interval") english_format.kif 556-556 termFormat en time interval "time interval"

 appearance as argument number 3


(domain BeginFn 1 TimeInterval) Merge.kif 5982-5982 the number 1 argument of BeginFn is an instance of time interval
(domain EndFn 1 TimeInterval) Merge.kif 6003-6003 the number 1 argument of EndFn is an instance of time interval
(domain TemporalCompositionFn 1 TimeInterval) Merge.kif 6842-6842 the number 1 argument of TemporalCompositionFn is an instance of time interval
(domain duration 1 TimeInterval) Merge.kif 5913-5913 the number 1 argument of duration is an instance of time interval
(domain during 1 TimeInterval) Merge.kif 6184-6184 the number 1 argument of during is an instance of time interval
(domain during 2 TimeInterval) Merge.kif 6185-6185 the number 2 argument of during is an instance of time interval
(domain earlier 1 TimeInterval) Merge.kif 6225-6225 the number 1 argument of earlier is an instance of time interval
(domain earlier 2 TimeInterval) Merge.kif 6226-6226 the number 2 argument of earlier is an instance of time interval
(domain finishes 1 TimeInterval) Merge.kif 6048-6048 the number 1 argument of finishes is an instance of time interval
(domain finishes 2 TimeInterval) Merge.kif 6049-6049 the number 2 argument of finishes is an instance of time interval
(domain meetsTemporally 1 TimeInterval) Merge.kif 6199-6199 the number 1 argument of meetsTemporally is an instance of time interval
(domain meetsTemporally 2 TimeInterval) Merge.kif 6200-6200 the number 2 argument of meetsTemporally is an instance of time interval
(domain overlapsTemporally 1 TimeInterval) Merge.kif 6160-6160 the number 1 argument of overlapsTemporally is an instance of time interval
(domain overlapsTemporally 2 TimeInterval) Merge.kif 6161-6161 the number 2 argument of overlapsTemporally is an instance of time interval
(domain starts 1 TimeInterval) Merge.kif 6028-6028 the number 1 argument of starts is an instance of time interval
(domain starts 2 TimeInterval) Merge.kif 6029-6029 the number 2 argument of starts is an instance of time interval
(domainSubclass RecurrentTimeIntervalFn 1 TimeInterval) Merge.kif 6284-6284 the number 1 argument of RecurrentTimeIntervalFn is a subclass of time interval
(domainSubclass RecurrentTimeIntervalFn 2 TimeInterval) Merge.kif 6285-6285 the number 2 argument of RecurrentTimeIntervalFn is a subclass of time interval
(domainSubclass TemporalCompositionFn 2 TimeInterval) Merge.kif 6843-6843 the number 2 argument of TemporalCompositionFn is a subclass of time interval

 antecedent


(=>
    (and
        (instance ?POINT1 TimePoint)
        (instance ?POINT2 TimePoint)
        (instance ?INTERVAL TimeInterval)
        (equal
            (TimeIntervalFn ?POINT1 ?POINT2) ?INTERVAL))
    (and
        (equal
            (BeginFn ?INTERVAL) ?POINT1)
        (equal
            (EndFn ?INTERVAL) ?POINT2)))		 Merge.kif 6261-6269
(=>
    (and
        (instance ?POINT1 TimePoint)
        (instance ?POINT2 TimePoint)
        (instance ?INTERVAL TimeInterval)
        (equal
            (TimeIntervalFn ?POINT1 ?POINT2) ?INTERVAL))
    (forall (?POINT)
        (<=>
            (temporallyBetweenOrEqual ?POINT1 ?POINT ?POINT2)
            (temporalPart ?POINT ?INTERVAL))))		 Merge.kif 6271-6280
  • if ?POINT1 is an instance of time point and ?POINT2 is an instance of time point and ?INTERVAL is an instance of time interval and interval between ?POINT1 and ?POINT2 is equal to ?INTERVAL,
  • then for all ?POINT holds: ?POINT is between or at ?POINT1 and ?POINT2 if and only if ?POINT is a part of ?INTERVAL
(=>
    (instance ?INTERVAL TimeInterval)
    (before
        (BeginFn ?INTERVAL)
        (EndFn ?INTERVAL)))		 Merge.kif 6099-6101
(=>
    (instance ?INTERVAL TimeInterval)
    (equal
        (FutureFn ?INTERVAL)
        (TimeIntervalFn
            (EndFn ?INTERVAL) PositiveInfinity)))		 Merge.kif 6357-6359
(=>
    (instance ?INTERVAL TimeInterval)
    (equal
        (PastFn ?INTERVAL)
        (TimeIntervalFn NegativeInfinity
            (BeginFn ?INTERVAL))))		 Merge.kif 6327-6329
(=>
    (instance ?INTERVAL TimeInterval)
    (exists (?POINT)
        (and
            (instance ?POINT TimePoint)
            (temporalPart ?POINT ?INTERVAL))))		 Merge.kif 5953-5958
  • if ?INTERVAL is an instance of time interval,
  • then there exists ?POINT so that ?POINT is an instance of time point and ?POINT is a part of ?INTERVAL
(=>
    (instance ?INTERVAL TimeInterval)
    (finishes
        (ImmediatePastFn ?INTERVAL)
        (PastFn ?INTERVAL)))		 Merge.kif 6340-6342
(=>
    (instance ?INTERVAL TimeInterval)
    (meetsTemporally
        (PastFn ?INTERVAL) ?INTERVAL))		 Merge.kif 6323-6325
(=>
    (instance ?INTERVAL TimeInterval)
    (meetsTemporally ?INTERVAL
        (FutureFn ?INTERVAL)))		 Merge.kif 6353-6355
(=>
    (instance ?INTERVAL TimeInterval)
    (starts
        (ImmediateFutureFn ?INTERVAL)
        (FutureFn ?INTERVAL)))		 Merge.kif 6370-6372

 consequent


(<=>
    (overlapsTemporally ?INTERVAL1 ?INTERVAL2)
    (exists (?INTERVAL3)
        (and
            (instance ?INTERVAL3 TimeInterval)
            (temporalPart ?INTERVAL3 ?INTERVAL1)
            (temporalPart ?INTERVAL3 ?INTERVAL2))))		 Merge.kif 6166-6172 ?INTERVAL2 overlaps ?INTERVAL1 if and only if there exists ?INTERVAL3 so that ?INTERVAL3 is an instance of time interval and ?INTERVAL3 is a part of ?INTERVAL1 and ?INTERVAL3 is a part of ?INTERVAL2
(=>
    (instance ?POINT TimePoint)
    (exists (?INTERVAL)
        (and
            (instance ?INTERVAL TimeInterval)
            (temporalPart ?POINT ?INTERVAL))))		 Merge.kif 5946-5951
  • if ?POINT is an instance of time point,
  • then there exists ?INTERVAL so that ?INTERVAL is an instance of time interval and ?POINT is a part of ?INTERVAL