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

KB Term:  Term intersection
English Word: 

Sigma KEE - temporallyBetweenOrEqual
temporallyBetweenOrEqual

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


(instance temporallyBetweenOrEqual TemporalRelation) Merge.kif 8384-8384 temporally between or equal is an instance of temporal relation
(instance temporallyBetweenOrEqual TernaryPredicate) Merge.kif 8385-8385 temporally between or equal is an instance of ternary predicate
(instance temporallyBetweenOrEqual PartialValuedRelation) Merge.kif 8386-8386 temporally between or equal is an instance of partial valued relation
(domain temporallyBetweenOrEqual 1 TimePoint) Merge.kif 8387-8387 The number 1 argument of temporally between or equal is an instance of time point
(domain temporallyBetweenOrEqual 2 TimePoint) Merge.kif 8388-8388 The number 2 argument of temporally between or equal is an instance of time point
(domain temporallyBetweenOrEqual 3 TimePoint) Merge.kif 8389-8389 The number 3 argument of temporally between or equal is an instance of time point
(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 8391-8394 The number 3 argument of temporally between or equal is an instance of time point

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


(subrelation temporallyBetween temporallyBetweenOrEqual) Merge.kif 8362-8362 temporally between is a subrelation of temporally between or equal
(termFormat EnglishLanguage temporallyBetweenOrEqual "temporally between or equal") domainEnglishFormat.kif 57443-57443 temporally between is a subrelation of temporally between or equal
(termFormat ChineseTraditionalLanguage temporallyBetweenOrEqual "暫時之間或等於") domainEnglishFormat.kif 57444-57444 temporally between is a subrelation of temporally between or equal
(termFormat ChineseLanguage temporallyBetweenOrEqual "暂时之间或等于") domainEnglishFormat.kif 57445-57445 temporally between is a subrelation of temporally between or equal
(format EnglishLanguage temporallyBetweenOrEqual "%2 is %n between or at %1 and %3") english_format.kif 435-435 temporally between is a subrelation of temporally between or equal

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


(=>
    (temporallyBetweenOrEqual ?POINT1 ?POINT2 ?POINT3)
    (and
        (beforeOrEqual ?POINT1 ?POINT2)
        (beforeOrEqual ?POINT2 ?POINT3)))		 Merge.kif 8396-8400 If X is between or at Y and Z, then Y happens before or at X and X happens before or at Z
(=>
    (temporallyBetweenOrEqual
        (BeginFn
            (WhenFn ?PHYS)) ?TIME
        (EndFn
            (WhenFn ?PHYS)))
    (and
        (time ?PHYS ?TIME)
        (instance ?TIME TimePoint)))		 Merge.kif 8414-8423 If X is between or at the beginning of the time of existence of Y and the end of the time of existence of Y, then Y exists during X and X is an instance of time point

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


(=>
    (and
        (beforeOrEqual ?POINT1 ?POINT2)
        (beforeOrEqual ?POINT2 ?POINT3))
    (temporallyBetweenOrEqual ?POINT1 ?POINT2 ?POINT3))		 Merge.kif 8402-8406 If X happens before or at Y and Y happens before or at Z, then Y is between or at X and Z
(=>
    (and
        (time ?PHYS ?TIME)
        (instance ?TIME TimePoint))
    (temporallyBetweenOrEqual
        (BeginFn
            (WhenFn ?PHYS)) ?TIME
        (EndFn
            (WhenFn ?PHYS))))		 Merge.kif 8408-8412 If X exists during Y and Y is an instance of time point, then Y is between or at the beginning of the time of existence of X and the end of the time of existence of X
(=>
    (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 8632-8641 If X is an instance of time point, Y is an instance of time point, Z is an instance of timeframe, and equal interval between X, Y, and Z, then For all TimePoint W: W is between or at X, Y if, and only if W is a part of Z
(=>
    (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 729-739 If X was built in Y, then there exist Z, W such that Z is an instance of Y, W is an instance of making, X is a result of W, the end of the time of existence of W is between or at the beginning of Z, and the end of Z
(=>
    (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 750-760 If the last renovation of X was in Y, then there exist Z, W such that W is an instance of repairing, X is a patient of W, Z is an instance of Y, the end of the time of existence of W is between or at the beginning of Z, and the end of Z


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners