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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TimePoint
TimePoint

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


(documentation TimePoint ChineseLanguage "这是通用时间轴上无法延伸的的一点。 我们在不同程度的准确 和近似值上,可以知道 Process 发生的 TimePoint,但是 TimePoint 在概念上是成点状而非间隔状, 也就是说, 说 TimePoint 持续了多长是没有意义的。") chinese_format.kif 1787-1789
(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 2007-2012
(subclass TimePoint TimePosition) Merge.kif 2005-2005

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


(instance NegativeInfinity TimePoint) Merge.kif 7619-7619
(instance PositiveInfinity TimePoint) Merge.kif 7601-7601
(range BeginFn TimePoint) Merge.kif 7716-7716
(range EndFn TimePoint) Merge.kif 7744-7744
(subclass Epoch TimePoint) QoSontology.kif 2141-2141
(subclass Midnight TimePoint) Merge.kif 8390-8390
(subclass Noon TimePoint) Merge.kif 8456-8456
(termFormat ChineseLanguage TimePoint "时点") chinese_format.kif 881-881
(termFormat EnglishLanguage TimePoint "time point") english_format.kif 969-969

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


(domain ContestFn 2 TimePoint) Music.kif 1040-1040
(domain SellersOtherItemsFn 4 TimePoint) UXExperimentalTerms.kif 1219-1219
(domain TimeIntervalFn 1 TimePoint) Merge.kif 8020-8020
(domain TimeIntervalFn 2 TimePoint) Merge.kif 8021-8021
(domain TimePeriodFn 1 TimePoint) Mid-level-ontology.kif 12401-12401
(domain WhereFn 2 TimePoint) Merge.kif 4086-4086
(domain agreementEffectiveDate 2 TimePoint) Mid-level-ontology.kif 12390-12390
(domain agreementExpirationDate 2 TimePoint) Mid-level-ontology.kif 12415-12415
(domain albumRelease 2 TimePoint) Music.kif 256-256
(domain before 1 TimePoint) Merge.kif 7814-7814
(domain before 2 TimePoint) Merge.kif 7815-7815
(domain beforeOrEqual 1 TimePoint) Merge.kif 7852-7852
(domain beforeOrEqual 2 TimePoint) Merge.kif 7853-7853
(domain checkOutTime 2 TimePoint) Hotel.kif 661-661
(domain dateUsed 2 TimePoint) Mid-level-ontology.kif 934-934
(domain firstInstanceCreated 2 TimePoint) Mid-level-ontology.kif 28828-28828
(domain producedOn 2 TimePoint) Music.kif 94-94
(domain releaseForConsumption 3 TimePoint) Music.kif 1472-1472
(domain reservationEnd 1 TimePoint) Dining.kif 662-662
(domain reservationStart 1 TimePoint) Dining.kif 655-655
(domain temporallyBetween 1 TimePoint) Merge.kif 7868-7868
(domain temporallyBetween 2 TimePoint) Merge.kif 7869-7869
(domain temporallyBetween 3 TimePoint) Merge.kif 7870-7870
(domain temporallyBetweenOrEqual 1 TimePoint) Merge.kif 7886-7886
(domain temporallyBetweenOrEqual 2 TimePoint) Merge.kif 7887-7887

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 7901-7905
(=>
    (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 ?MEMBER)
            (and
                (=>
                    (and
                        (instance ?ITEM WebListing)
                        (member ?ITEM
                            (SellersItemsFn ?AGENT ?SITE))
                        (temporalPart ?TIME
                            (WhenFn ?ITEM))
                        (not
                            (equal ?ITEM ?LISTING)))
                    (member ?ITEM ?COLL))
                (=>
                    (member ?MEMBER ?COLL)
                    (and
                        (temporalPart ?TIME
                            (WhenFn ?ITEM))
                        (instance ?MEMBER WebListing))))))
    (equal
        (SellersOtherItemsFn ?AGENT ?SITE ?LISTING ?TIME) ?COLL))
UXExperimentalTerms.kif 1230-1257
(=>
    (and
        (instance ?F Flooding)
        (instance ?L LandArea)
        (eventLocated ?F ?L)
        (instance ?T TimePoint)
        (before ?T
            (WhenFn ?F)))
    (modalAttribute
        (holdsDuring ?T
            (instance ?L SubmergedLandArea)) Unlikely))
Weather.kif 1597-1607
(=>
    (and
        (instance ?POINT TimePoint)
        (not
            (equal ?POINT NegativeInfinity)))
    (before NegativeInfinity ?POINT))
Merge.kif 7624-7628
(=>
    (and
        (instance ?POINT TimePoint)
        (not
            (equal ?POINT NegativeInfinity)))
    (exists (?OTHERPOINT)
        (temporallyBetween NegativeInfinity ?OTHERPOINT ?POINT)))
Merge.kif 7630-7635
(=>
    (and
        (instance ?POINT TimePoint)
        (not
            (equal ?POINT PositiveInfinity)))
    (before ?POINT PositiveInfinity))
Merge.kif 7606-7610
(=>
    (and
        (instance ?POINT TimePoint)
        (not
            (equal ?POINT PositiveInfinity)))
    (exists (?OTHERPOINT)
        (temporallyBetween ?POINT ?OTHERPOINT PositiveInfinity)))
Merge.kif 7612-7617
(=>
    (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 8029-8037
(=>
    (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 8039-8048
(=>
    (and
        (instance ?T1 TimePoint)
        (instance ?T2 TimePoint)
        (equal ?INTERVAL
            (TimeIntervalFn ?T1 ?T2))
        (duration ?INTERVAL ?PERIOD))
    (equal ?INTERVAL
        (TimePeriodFn ?T1 ?PERIOD)))
Mid-level-ontology.kif 12405-12411
(=>
    (and
        (instance ?TIME TimePoint)
        (holdsDuring ?TIME
            (age ?OBJ ?DURATION)))
    (duration
        (TimeIntervalFn
            (BeginFn
                (WhenFn ?OBJ)) ?TIME) ?DURATION))
Merge.kif 7277-7281
(=>
    (instance ?POINT TimePoint)
    (exists (?INTERVAL)
        (and
            (instance ?INTERVAL TimeInterval)
            (temporalPart ?POINT ?INTERVAL))))
Merge.kif 7679-7684

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 28170-28199
(=>
    (equal
        (TemporalCompositionFn ?INTERVAL ?INTERVALTYPE) ?CLASS)
    (forall (?TIME)
        (=>
            (and
                (instance ?TIME TimePoint)
                (temporalPart ?TIME ?INTERVAL))
            (exists (?INSTANCE)
                (and
                    (instance ?INSTANCE ?CLASS)
                    (temporalPart ?TIME ?INSTANCE))))))
Merge.kif 9041-9051
(=>
    (instance ?INTERVAL TimeInterval)
    (exists (?POINT)
        (and
            (instance ?POINT TimePoint)
            (temporalPart ?POINT ?INTERVAL))))
Merge.kif 7686-7691
(=>
    (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 7823-7835


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