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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TimeIntervalFn

 Sigma KEE - TimeIntervalFn
TimeIntervalFn

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


(documentation TimeIntervalFn ChineseLanguage "这是一个 BinaryFunction，它接受两个 TimePoint 参数，然后得出由这两个 TimePoint 所界定的 TimeInterval。注：第一个 TimePoint 必须要比第二个 TimePoint 先开始。") chinese_format.kif 2729-2731
(documentation TimeIntervalFn EnglishLanguage "A BinaryFunction that takes two TimePoints as arguments and returns the TimeInterval defined by these two TimePoints.Note that the first TimePoint must occur earlier than the second TimePoint.") Merge.kif 8089-8092
(domain TimeIntervalFn 1 TimePoint) Merge.kif 8085-8085
(domain TimeIntervalFn 2 TimePoint) Merge.kif 8086-8086
(instance TimeIntervalFn BinaryFunction) Merge.kif 8082-8082
(instance TimeIntervalFn PartialValuedRelation) Merge.kif 8084-8084
(instance TimeIntervalFn TemporalRelation) Merge.kif 8083-8083
(range TimeIntervalFn TimeInterval) Merge.kif 8087-8087

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


(format ChineseLanguage TimeIntervalFn "%1 和 %2 间的时段") chinese_format.kif 453-453
(format EnglishLanguage TimeIntervalFn "interval between %1 and %2") english_format.kif 459-459
(termFormat ChineseLanguage TimeIntervalFn "时段函数") chinese_format.kif 454-454
(termFormat ChineseLanguage TimeIntervalFn "时间间隔") domainEnglishFormat.kif 58091-58091
(termFormat ChineseTraditionalLanguage TimeIntervalFn "時間間隔") domainEnglishFormat.kif 58090-58090
(termFormat EnglishLanguage TimeIntervalFn "time interval") domainEnglishFormat.kif 58089-58089

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


(=>
    (and
        (holdsDuring ?T1
            (attribute ?F Menopausal))
        (equal ?BEFORE
            (SubtractionFn
                (YearDuration 1)
                (BeginFn ?T1)))
        (equal ?YBEFORE
            (TimeIntervalFn ?YBEFORE
                (BeginFn ?T1))))
    (not
        (exists (?M)
            (and
                (instance ?M Menstruation)
                (experiencer ?M ?F)))))		 Mid-level-ontology.kif 23301-23315
(=>
    (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 8094-8102
(=>
    (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 8104-8113
(=>
    (and
        (instance ?T1 TimePoint)
        (instance ?T2 TimePoint)
        (equal ?INTERVAL
            (TimeIntervalFn ?T1 ?T2))
        (duration ?INTERVAL ?PERIOD))
    (equal ?INTERVAL
        (TimePeriodFn ?T1 ?PERIOD)))		 Mid-level-ontology.kif 13479-13485

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


(=>
    (and
        (birthdate JesusOfNazareth ?DAY)
        (instance ?Y1
            (YearFn -6))
        (instance ?Y2
            (YearFn 4)))
    (temporalPart ?DAY
        (TimeIntervalFn
            (BeginFn ?Y1)
            (EndFn ?Y2))))		 Media.kif 1938-1943
(=>
    (and
        (deathdate JesusOfNazareth ?DAY)
        (instance ?Y1
            (YearFn 29))
        (instance ?Y2
            (YearFn 36)))
    (temporalPart ?DAY
        (TimeIntervalFn
            (BeginFn ?Y1)
            (EndFn ?Y2))))		 Media.kif 1945-1950
(=>
    (and
        (instance ?T1
            (YearFn 26))
        (instance ?T2
            (YearFn 100)))
    (temporalPart
        (WhenFn TwelveApostles)
        (TimeIntervalFn
            (BeginFn ?T1)
            (EndFn ?T2))))		 Media.kif 1961-1965
(=>
    (and
        (instance ?TIME TimePoint)
        (holdsDuring ?TIME
            (age ?OBJ ?DURATION)))
    (duration
        (TimeIntervalFn
            (BeginFn
                (WhenFn ?OBJ)) ?TIME) ?DURATION))		 Merge.kif 7289-7293
(=>
    (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)
            (instance ?P1 ?PC)
            (refers ?X ?Q)
            (refers ?Q ?P1)
            (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 29380-29410
(=>
    (and
        (reservationStart ?TIME1 ?R)
        (reservationEnd ?TIME2 ?R)
        (reservingEntity ?CUST ?R)
        (fulfillingEntity ?AGENT ?R))
    (modalAttribute
        (holdsDuring
            (TimeIntervalFn ?TIME1 ?TIME2)
            (exists (?P)
                (and
                    (instance ?P IntentionalProcess)
                    (agent ?P ?AGENT)
                    (destination ?P ?CUST)))) Likely))		 Dining.kif 665-678
(=>
    (and
        (reservedRoom ?RESERVE ?ROOMTYPE)
        (reservationStart ?RESERVE ?TIME1)
        (reservationEnd ?RESERVE ?TIME2)
        (reservingEntity ?RESERVE ?CUST))
    (modalAttribute
        (holdsDuring
            (TimeIntervalFn ?TIME1 ?TIME2)
            (and
                (instance ?X ?ROOMTYPE)
                (stays ?CUST ?X))) Likely))		 Hotel.kif 2920-2931
(=>
    (instance ?INTERVAL TimeInterval)
    (equal
        (FutureFn ?INTERVAL)
        (TimeIntervalFn
            (EndFn ?INTERVAL) PositiveInfinity)))		 Merge.kif 8195-8197
(=>
    (instance ?INTERVAL TimeInterval)
    (equal
        (PastFn ?INTERVAL)
        (TimeIntervalFn NegativeInfinity
            (BeginFn ?INTERVAL))))		 Merge.kif 8164-8166
(=>
    (instance ?TIME LunchTime)
    (exists (?ELEVEN ?THREE)
        (and
            (during ?TIME
                (TimeIntervalFn
                    (BeginFn ?ELEVEN)
                    (EndFn ?THREE)))
            (instance ?ELEVEN
                (HourFn 11 ?DAY))
            (instance ?THREE
                (HourFn 15 ?DAY)))))		 Food.kif 195-204
(=>
    (measuringListDuration ?LIST ?DURATION)
    (exists (?T)
        (and
            (equal ?T
                (TimeIntervalFn
                    (BeginFn
                        (WhenFn
                            (FirstFn ?LIST)))
                    (EndFn
                        (WhenFn
                            (LastFn ?LIST)))))
            (duration ?T ?DURATION))))		 Weather.kif 1879-1887


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 3.0 is open source software produced by Articulate Software and its partners