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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 8453-8456
(documentation TimeIntervalFn JapaneseLanguage "BinaryFunction は、引数として２つの TimePoint を受け取り、これら２つの TimePoint によって定義された TimeInterval を返す。 最初の TimePoint は、２番目の TimePoint より前に発生する必要がある。") japanese_format.kif 1454-1456
(domain TimeIntervalFn 1 TimePoint) Merge.kif 8449-8449
(domain TimeIntervalFn 2 TimePoint) Merge.kif 8450-8450
(instance TimeIntervalFn BinaryFunction) Merge.kif 8446-8446
(instance TimeIntervalFn PartialValuedRelation) Merge.kif 8448-8448
(instance TimeIntervalFn TemporalRelation) Merge.kif 8447-8447
(range TimeIntervalFn TimeInterval) Merge.kif 8451-8451

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
(format FrenchLanguage TimeIntervalFn "l'intervale entre %1 et %2") french_format.kif 263-263
(format ItalianLanguage TimeIntervalFn "intervallo tra %1 e %2") relations-it.txt 300-300
(format JapaneseLanguage TimeIntervalFn "%1 と %2 の interval") japanese_format.kif 2053-2053
(format PortugueseLanguage TimeIntervalFn "o intervalo entre %1 e %2") portuguese_format.kif 215-215
(format cz TimeIntervalFn "interval between %1 and %2") relations-cz.txt 269-269
(format de TimeIntervalFn "abstand zwischen %1 und %2") relations-de.txt 592-592
(format hi TimeIntervalFn "%1 aura %2 ke biicha antaraala") relations-hindi.txt 336-336
(format ro TimeIntervalFn "interval%t{interval} între %1 ºi %2") relations-ro.kif 284-284
(format sv TimeIntervalFn "intervallet mellan %1 och %2") relations-sv.txt 289-289
(format tg TimeIntervalFn "patlang sa pagitan ng %1 at %2") relations-tg.txt 492-492
(termFormat ChineseLanguage TimeIntervalFn "时段函数") chinese_format.kif 454-454
(termFormat ChineseLanguage TimeIntervalFn "时间间隔") domainEnglishFormat.kif 58158-58158
(termFormat ChineseTraditionalLanguage TimeIntervalFn "時間間隔") domainEnglishFormat.kif 58157-58157
(termFormat EnglishLanguage TimeIntervalFn "time interval") domainEnglishFormat.kif 58156-58156
(termFormat de TimeIntervalFn "ZeitabstandFn") terms-de.txt 182-182

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


(=>
    (and
        (holdsDuring ?T1
            (attribute ?F Menopausal))
        (equal ?BEFORE
            (SubtractionFn
                (MeasureFn 1 YearDuration)
                (BeginFn ?T1)))
        (equal ?YBEFORE
            (TimeIntervalFn ?YBEFORE
                (BeginFn ?T1))))
    (not
        (exists (?M)
            (and
                (instance ?M Menstruation)
                (experiencer ?M ?F)))))		 Mid-level-ontology.kif 24242-24256
(=>
    (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 8458-8466
(=>
    (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 8468-8477
(=>
    (and
        (instance ?T1 TimePoint)
        (instance ?T2 TimePoint)
        (equal ?INTERVAL
            (TimeIntervalFn ?T1 ?T2))
        (duration ?INTERVAL ?PERIOD))
    (equal ?INTERVAL
        (TimePeriodFn ?T1 ?PERIOD)))		 Mid-level-ontology.kif 14323-14329

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


(=>
    (and
        (birthdate JesusOfNazareth ?DAY)
        (instance ?Y1
            (YearFn -6))
        (instance ?Y2
            (YearFn 4)))
    (temporalPart ?DAY
        (TimeIntervalFn
            (BeginFn ?Y1)
            (EndFn ?Y2))))		 Media.kif 1936-1941
(=>
    (and
        (deathdate JesusOfNazareth ?DAY)
        (instance ?Y1
            (YearFn 29))
        (instance ?Y2
            (YearFn 36)))
    (temporalPart ?DAY
        (TimeIntervalFn
            (BeginFn ?Y1)
            (EndFn ?Y2))))		 Media.kif 1943-1948
(=>
    (and
        (instance ?T1
            (YearFn 26))
        (instance ?T2
            (YearFn 100)))
    (temporalPart
        (WhenFn TwelveApostles)
        (TimeIntervalFn
            (BeginFn ?T1)
            (EndFn ?T2))))		 Media.kif 1959-1963
(=>
    (and
        (instance ?TIME TimePoint)
        (holdsDuring ?TIME
            (age ?OBJ ?DURATION)))
    (duration
        (TimeIntervalFn
            (BeginFn
                (WhenFn ?OBJ)) ?TIME) ?DURATION))		 Merge.kif 7530-7534
(=>
    (and
        (instance ?X BreakingRecord)
        (agent ?X ?A1))
    (exists (?AC ?PC ?P1 ?TP ?ROLE ?L ?Q)
        (and
            (instance ?AC Set)
            (element ?A1 ?AC)
            (subclass ?PC Process)
            (instance ?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 30352-30382
(=>
    (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 711-724
(=>
    (and
        (reservedRoom ?RESERVE ?ROOMTYPE)
        (reservationStart ?RESERVE ?TIME1)
        (reservationEnd ?RESERVE ?TIME2)
        (reservingEntity ?RESERVE ?CUST))
    (modalAttribute
        (holdsDuring
            (TimeIntervalFn ?TIME1 ?TIME2)
            (exists (?X)
                (and
                    (instance ?X ?ROOMTYPE)
                    (stays ?CUST ?X)))) Likely))		 Hotel.kif 2951-2963
(=>
    (instance ?INTERVAL TimeInterval)
    (equal
        (FutureFn ?INTERVAL)
        (TimeIntervalFn
            (EndFn ?INTERVAL) PositiveInfinity)))		 Merge.kif 8559-8561
(=>
    (instance ?INTERVAL TimeInterval)
    (equal
        (PastFn ?INTERVAL)
        (TimeIntervalFn NegativeInfinity
            (BeginFn ?INTERVAL))))		 Merge.kif 8528-8530
(=>
    (instance ?TIME LunchTime)
    (exists (?ELEVEN ?THREE ?DAY)
        (and
            (during ?TIME
                (TimeIntervalFn
                    (BeginFn ?ELEVEN)
                    (EndFn ?THREE)))
            (instance ?ELEVEN
                (HourFn 11 ?DAY))
            (instance ?THREE
                (HourFn 15 ?DAY)))))		 Food.kif 1867-1876
(=>
    (measuringListDuration ?LIST ?DURATION)
    (exists (?T)
        (and
            (equal ?T
                (TimeIntervalFn
                    (BeginFn
                        (WhenFn
                            (FirstFn ?LIST)))
                    (EndFn
                        (WhenFn
                            (LastFn ?LIST)))))
            (duration ?T ?DURATION))))		 Weather.kif 1860-1868


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