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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - temporallyBetweenOrEqual
temporallyBetweenOrEqual

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


(documentation temporallyBetweenOrEqual ChineseLanguage "(temporallyBetweenOrEqual ?POINT1 ?POINT2 ?POINT3)的意思是 TimePoint ?POINT1 等于或是在 TimePoint ?POINT2 之前, 而 ?POINT2 等于或是在 TimePoint?POINT3 之前。") chinese_format.kif 2714-2716
(documentation temporallyBetweenOrEqual EnglishLanguage "(temporallyBetweenOrEqual ?POINT1 ?POINT2 ?POINT3) means that the TimePoint ?POINT1 is before or equal to the TimePoint ?POINT2 and ?POINT2 is before or equal to the TimePoint ?POINT3.") Merge.kif 7710-7713
(domain temporallyBetweenOrEqual 1 TimePoint) Merge.kif 7706-7706 The number 1 argument of temporally between or equal is an instance of time point
(domain temporallyBetweenOrEqual 2 TimePoint) Merge.kif 7707-7707 The number 2 argument of temporally between or equal is an instance of time point
(domain temporallyBetweenOrEqual 3 TimePoint) Merge.kif 7708-7708 The number 3 argument of temporally between or equal is an instance of time point
(instance temporallyBetweenOrEqual PartialValuedRelation) Merge.kif 7705-7705 temporally between or equal is an instance of partial valued relation
(instance temporallyBetweenOrEqual TemporalRelation) Merge.kif 7703-7703 temporally between or equal is an instance of temporal relation
(instance temporallyBetweenOrEqual TernaryPredicate) Merge.kif 7704-7704 temporally between or equal is an instance of ternary predicate

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


(format ChineseLanguage temporallyBetweenOrEqual "%2 %n 是在或等于 %1 和 %3 between") chinese_format.kif 429-429
(format EnglishLanguage temporallyBetweenOrEqual "%2 is %n between or at %1 and %3") english_format.kif 438-438
(subrelation temporallyBetween temporallyBetweenOrEqual) Merge.kif 7687-7687 temporally between is a subrelation of temporally between or equal
(termFormat ChineseLanguage temporallyBetweenOrEqual "在两个时间之间或同时") chinese_format.kif 430-430
(termFormat ChineseLanguage temporallyBetweenOrEqual "暂时之间或等于") domainEnglishFormat.kif 57327-57327
(termFormat ChineseTraditionalLanguage temporallyBetweenOrEqual "暫時之間或等於") domainEnglishFormat.kif 57326-57326
(termFormat EnglishLanguage temporallyBetweenOrEqual "temporally between or equal") domainEnglishFormat.kif 57325-57325

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


(<=>
    (temporallyBetweenOrEqual ?POINT1 ?POINT2 ?POINT3)
    (and
        (beforeOrEqual ?POINT1 ?POINT2)
        (beforeOrEqual ?POINT2 ?POINT3)))
Merge.kif 7715-7719 A time point is between or at another time point and a third time point if and only if the other time point happen%{s} before or at the time point and the time point happen%{s} before or at the third time point

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


(<=>
    (and
        (time ?PHYS ?TIME)
        (instance ?TIME TimePoint))
    (temporallyBetweenOrEqual
        (BeginFn
            (WhenFn ?PHYS)) ?TIME
        (EndFn
            (WhenFn ?PHYS))))
Merge.kif 7721-7725 A physical exists during a time point and the time point is an instance of time point if and only if the time point is between or at the beginning of the time of existence of the physical and the end of the time of existence of the physical
(=>
    (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 7856-7865
(=>
    (lastRenovation ?OBJ ?YEAR)
    (exists (?TIME ?REPAIR)
        (and
            (instance ?REPAIR Repairing)
            (patient ?REPAIR ?OBJ)
            (instance ?TIME ?YEAR)
            (temporallyBetweenOrEqual
                (BeginFn ?TIME)
                (EndFn
                    (WhenFn ?REPAIR))
                (EndFn ?TIME)))))
Hotel.kif 719-729
(=>
    (yearBuilt ?OBJ ?YEAR)
    (exists (?TIME ?MAKE)
        (and
            (instance ?TIME ?YEAR)
            (instance ?MAKE Making)
            (result ?MAKE ?OBJ)
            (temporallyBetweenOrEqual
                (BeginFn ?TIME)
                (EndFn
                    (WhenFn ?MAKE))
                (EndFn ?TIME)))))
Hotel.kif 698-708


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners