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

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

KB:  Language: 

KB Term: 
English Word: 

TimePosition(time position)

 appearance as argument number 1


(documentation TimePosition "Any TimePoint or TimeInterval along the universal timeline from NegativeInfinity to PositiveInfinity.") Merge.kif 1653-1655
(partition TimePosition TimeInterval TimePoint) Merge.kif 1652-1652 time position is exhaustively partitioned into time point
(subclass TimePosition TimeMeasure) Merge.kif 1651-1651 time position is a subclass of time measure

 appearance as argument number 2


(range RelativeTimeFn TimePosition) Merge.kif 13095-13095 range of RelativeTimeFn is an instance of time position
(subclass TimeInterval TimePosition) Merge.kif 1657-1657 time interval is a subclass of time position
(subclass TimePoint TimePosition) Merge.kif 1663-1663 time point is a subclass of time position
(termFormat en TimePosition "time position") english_format.kif 555-555 termFormat en time position "time position"

 appearance as argument number 3


(domain FutureFn 1 TimePosition) Merge.kif 6347-6347 the number 1 argument of FutureFn is an instance of time position
(domain ImmediateFutureFn 1 TimePosition) Merge.kif 6364-6364 the number 1 argument of ImmediateFutureFn is an instance of time position
(domain ImmediatePastFn 1 TimePosition) Merge.kif 6334-6334 the number 1 argument of ImmediatePastFn is an instance of time position
(domain PastFn 1 TimePosition) Merge.kif 6317-6317 the number 1 argument of PastFn is an instance of time position
(domain RelativeTimeFn 1 TimePosition) Merge.kif 13093-13093 the number 1 argument of RelativeTimeFn is an instance of time position
(domain holdsDuring 1 TimePosition) Merge.kif 3006-3006 the number 1 argument of holdsDuring is an instance of time position
(domain temporalPart 1 TimePosition) Merge.kif 5940-5940 the number 1 argument of temporalPart is an instance of time position
(domain temporalPart 2 TimePosition) Merge.kif 5941-5941 the number 2 argument of temporalPart is an instance of time position
(domain time 2 TimePosition) Merge.kif 2993-2993 the number 2 argument of time is an instance of time position

 antecedent


(=>
    (and
        (instance ?TIME TimePosition)
        (holdsDuring ?TIME
            (possesses ?AGENT1 ?OBJ))
        (holdsDuring ?TIME
            (possesses ?AGENT2 ?OBJ)))
    (equal ?AGENT1 ?AGENT2))		 Merge.kif 3257-3262