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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TimePoint

Sigma KEE - TimePoint
TimePoint(时点)

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


(documentation TimePoint ChineseLanguage "这是通用时间轴上无法延伸的的一点。 我们在不同程度的准确 和近似值上,可以知道 Process 发生的 TimePoint,但是 TimePoint 在概念上是成点状而非间隔状, 也就是说, 说 TimePoint 持续了多长是没有意义的。") Merge.kif 2195-2197
(documentation TimePoint EnglishLanguage "An extensionless point on the universal timeline. The TimePoints at which Processes occur can be known with various degrees of precision and approximation, but conceptually TimePoints are point-like and not interval-like. That is, it doesn't make sense to talk about how long a TimePoint lasts.") Merge.kif 2189-2194
(subclass TimePoint TimePosition) Merge.kif 2188-2188 时点时间位置subclass

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


(instance NegativeInfinity TimePoint) Merge.kif 8091-8091 NegativeInfinity时点instance
(instance PositiveInfinity TimePoint) Merge.kif 8072-8072 PositiveInfinity时点instance
(range BeginFn TimePoint) Merge.kif 8194-8194 开始函数range时点 的实例
(range EndFn TimePoint) Merge.kif 8218-8218 结束函数range时点 的实例
(subclass Epoch TimePoint) QoSontology.kif 2114-2114 Epoch时点subclass
(subclass Midnight TimePoint) Merge.kif 8906-8906 Midnight时点subclass
(subclass Noon TimePoint) Merge.kif 8945-8945 Noon时点subclass
(termFormat ChineseLanguage TimePoint "时点") chinese_format.kif 881-881 termFormat ChineseLanguage, 时点 and "时点"
(termFormat EnglishLanguage TimePoint "time point") english_format.kif 704-704 termFormat EnglishLanguage, 时点 and "time point"
(termFormat JapaneseLanguage TimePoint "時点") english_format.kif 705-705 termFormat JapaneseLanguage, 时点 and "時点"

appearance as argument number 3
-------------------------


(domain ContestFn 2 TimePoint) Music.kif 1046-1046 ContestFn 的 2 数量 是 时点instance
(domain SellersOtherItemsFn 4 TimePoint) UXExperimentalTerms.kif 1218-1218 SellersOtherItemsFn 的 4 数量 是 时点instance
(domain TimeIntervalFn 1 TimePoint) Merge.kif 8509-8509 时段函数 的 1 数量 是 时点instance
(domain TimeIntervalFn 2 TimePoint) Merge.kif 8510-8510 时段函数 的 2 数量 是 时点instance
(domain TimePeriodFn 1 TimePoint) Mid-level-ontology.kif 11639-11639 TimePeriodFn 的 1 数量 是 时点instance
(domain WhereFn 2 TimePoint) Merge.kif 4361-4361 表示位置的函数 的 2 数量 是 时点instance
(domain agreementEffectiveDate 2 TimePoint) Mid-level-ontology.kif 11628-11628 agreementEffectiveDate 的 2 数量 是 时点instance
(domain agreementExpirationDate 2 TimePoint) Mid-level-ontology.kif 11653-11653 agreementExpirationDate 的 2 数量 是 时点instance
(domain albumRelease 2 TimePoint) Music.kif 253-253 albumRelease 的 2 数量 是 时点instance
(domain before 1 TimePoint) Merge.kif 8293-8293 之前 的 1 数量 是 时点instance
(domain before 2 TimePoint) Merge.kif 8294-8294 之前 的 2 数量 是 时点instance
(domain beforeOrEqual 1 TimePoint) Merge.kif 8332-8332 之前或同时 的 1 数量 是 时点instance
(domain beforeOrEqual 2 TimePoint) Merge.kif 8333-8333 之前或同时 的 2 数量 是 时点instance
(domain checkOutTime 2 TimePoint) Hotel.kif 651-651 checkOutTime 的 2 数量 是 时点instance
(domain dateUsed 2 TimePoint) Mid-level-ontology.kif 1380-1380 dateUsed 的 2 数量 是 时点instance
(domain firstInstanceCreated 2 TimePoint) Mid-level-ontology.kif 28825-28825 firstInstanceCreated 的 2 数量 是 时点instance
(domain producedOn 2 TimePoint) Music.kif 94-94 producedOn 的 2 数量 是 时点instance
(domain releaseForConsumption 3 TimePoint) Music.kif 1478-1478 releaseForConsumption 的 3 数量 是 时点instance
(domain reservationEnd 1 TimePoint) Dining.kif 666-666 reservationEnd 的 1 数量 是 时点instance
(domain reservationStart 1 TimePoint) Dining.kif 659-659 reservationStart 的 1 数量 是 时点instance
(domain temporallyBetween 1 TimePoint) Merge.kif 8349-8349 在两个时间之间 的 1 数量 是 时点instance
(domain temporallyBetween 2 TimePoint) Merge.kif 8350-8350 在两个时间之间 的 2 数量 是 时点instance
(domain temporallyBetween 3 TimePoint) Merge.kif 8351-8351 在两个时间之间 的 3 数量 是 时点instance
(domain temporallyBetweenOrEqual 1 TimePoint) Merge.kif 8369-8369 在两个时间之间或同时 的 1 数量 是 时点instance
(domain temporallyBetweenOrEqual 2 TimePoint) Merge.kif 8370-8370 在两个时间之间或同时 的 2 数量 是 时点instance

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(<=>
    (and
        (time ?PHYS ?TIME)
        (instance ?TIME TimePoint))
    (temporallyBetweenOrEqual
        (BeginFn
            (WhenFn ?PHYS)) ?TIME
        (EndFn
            (WhenFn ?PHYS))))
Merge.kif 8386-8390 物理 时点 是 存在 和 那个 时点时点instance 若且唯若 那个 时点 是在或等于 那个 物理 出现 的 time 的开始 和 那个 物理 出现 的 time 的结束 between
(=>
    (and
        (instance ?COLL Collection)
        (instance ?SITE WebSite)
        (instance ?AGENT Agent)
        (instance ?LISTING WebListing)
        (instance ?TIME TimePoint)
        (listingSeller ?LISTING ?AGENT)
        (not
            (member ?LISTING ?COLL))
        (forall (?ITEM)
            (=>
                (and
                    (instance ?ITEM WebListing)
                    (member ?ITEM
                        (SellersItemsFn ?AGENT ?SITE))
                    (temporalPart ?TIME
                        (WhenFn ?ITEM))
                    (not
                        (equal ?ITEM ?LISTING)))
                (member ?ITEM ?COLL)))
        (forall (?MEMBER)
            (=>
                (member ?MEMBER ?COLL)
                (and
                    (temporalPart ?TIME
                        (WhenFn ?ITEM))
                    (instance ?MEMBER WebListing)))))
    (equal
        (SellersOtherItemsFn ?AGENT ?SITE ?LISTING ?TIME) ?COLL))
UXExperimentalTerms.kif 1229-1256
(=>
    (and
        (instance ?POINT TimePoint)
        (not
            (equal ?POINT NegativeInfinity)))
    (before NegativeInfinity ?POINT))
Merge.kif 8097-8101
(=>
    (and
        (instance ?POINT TimePoint)
        (not
            (equal ?POINT NegativeInfinity)))
    (exists (?OTHERPOINT)
        (temporallyBetween NegativeInfinity ?OTHERPOINT ?POINT)))
Merge.kif 8103-8108
(=>
    (and
        (instance ?POINT TimePoint)
        (not
            (equal ?POINT PositiveInfinity)))
    (before ?POINT PositiveInfinity))
Merge.kif 8078-8082
(=>
    (and
        (instance ?POINT TimePoint)
        (not
            (equal ?POINT PositiveInfinity)))
    (exists (?OTHERPOINT)
        (temporallyBetween ?POINT ?OTHERPOINT PositiveInfinity)))
Merge.kif 8084-8089
(=>
    (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 8520-8528
(=>
    (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 8530-8539
(=>
    (and
        (instance ?T1 TimePoint)
        (instance ?T2 TimePoint)
        (equal ?INTERVAL
            (TimeIntervalFn ?T1 ?T2))
        (duration ?INTERVAL ?PERIOD))
    (equal ?INTERVAL
        (TimePeriodFn ?T1 ?PERIOD)))
Mid-level-ontology.kif 11643-11649
(=>
    (and
        (instance ?TIME TimePoint)
        (holdsDuring ?TIME
            (age ?OBJ ?DURATION)))
    (duration
        (TimeIntervalFn
            (BeginFn
                (WhenFn ?OBJ)) ?TIME) ?DURATION))
Merge.kif 7759-7763
(=>
    (instance ?POINT TimePoint)
    (exists (?INTERVAL)
        (and
            (instance ?INTERVAL TimeInterval)
            (temporalPart ?POINT ?INTERVAL))))
Merge.kif 8157-8162

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


(=>
    (and
        (instance ?X BreakingRecord)
        (agent ?X ?A1))
    (exists (?AC ?PC ?P1 ?TP ?ROLE ?L ?Q)
        (and
            (instance ?AC Set)
            (instance ?A1 ?AC)
            (subclass ?PC Process)
            (subclass ?L Region)
            (instance ?TP TimePoint)
            (instance ?Q Quantity)
            (refers ?X ?Q)
            (refers ?Q ?PC)
            (playsRoleInEvent ?A1 ?ROLE ?P1)
            (eventLocated ?P1 ?L)
            (not
                (exists (?A2 ?P2)
                    (and
                        (instance ?A2 ?AC)
                        (not
                            (equal ?A2 ?A1))
                        (instance ?P2 ?PC)
                        (holdsDuring
                            (TimeIntervalFn ?TP
                                (EndFn
                                    (WhenFn ?X)))
                            (and
                                (playsRoleInEvent ?A2 ?ROLE ?P2)
                                (eventLocated ?P2 ?L)))))))))
Mid-level-ontology.kif 28190-28219
(=>
    (equal
        (TemporalCompositionFn ?INTERVAL ?INTERVAL-TYPE) ?CLASS)
    (forall (?TIME)
        (=>
            (and
                (instance ?TIME TimePoint)
                (temporalPart ?TIME ?INTERVAL))
            (exists (?INSTANCE)
                (and
                    (instance ?INSTANCE ?CLASS)
                    (temporalPart ?TIME ?INSTANCE))))))
Merge.kif 9476-9486
(=>
    (instance ?INTERVAL TimeInterval)
    (exists (?POINT)
        (and
            (instance ?POINT TimePoint)
            (temporalPart ?POINT ?INTERVAL))))
Merge.kif 8164-8169
(=>
    (instance ?OBJ Object)
    (exists (?TIME1 ?TIME2)
        (and
            (instance ?TIME1 TimePoint)
            (instance ?TIME2 TimePoint)
            (before ?TIME1 ?TIME2)
            (forall (?TIME)
                (=>
                    (and
                        (beforeOrEqual ?TIME1 ?TIME)
                        (beforeOrEqual ?TIME ?TIME2))
                    (time ?OBJ ?TIME))))))
Merge.kif 8303-8315


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners