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

Formal Language: 



KB Term:  Term intersection
English Word: 

  temporallyBetweenOrEqual

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 8093-8096
(domain temporallyBetweenOrEqual 1 TimePoint) Merge.kif 8089-8089 domain temporallyBetweenOrEqual, 1 and TimePoint
(domain temporallyBetweenOrEqual 2 TimePoint) Merge.kif 8090-8090 domain temporallyBetweenOrEqual, 2 and TimePoint
(domain temporallyBetweenOrEqual 3 TimePoint) Merge.kif 8091-8091 domain temporallyBetweenOrEqual, 3 and TimePoint
(instance temporallyBetweenOrEqual PartialValuedRelation) Merge.kif 8088-8088 instance temporallyBetweenOrEqual and PartialValuedRelation
(instance temporallyBetweenOrEqual TemporalRelation) Merge.kif 8086-8086 instance temporallyBetweenOrEqual and TemporalRelation
(instance temporallyBetweenOrEqual TernaryPredicate) Merge.kif 8087-8087 instance temporallyBetweenOrEqual and TernaryPredicate

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 435-435
(subrelation temporallyBetween temporallyBetweenOrEqual) Merge.kif 8064-8064 subrelation temporallyBetween and temporallyBetweenOrEqual
(termFormat ChineseLanguage temporallyBetweenOrEqual "在两个时间之间或同时") chinese_format.kif 430-430
(termFormat ChineseLanguage temporallyBetweenOrEqual "暂时之间或等于") domainEnglishFormat.kif 57413-57413
(termFormat ChineseTraditionalLanguage temporallyBetweenOrEqual "暫時之間或等於") domainEnglishFormat.kif 57412-57412
(termFormat EnglishLanguage temporallyBetweenOrEqual "temporally between or equal") domainEnglishFormat.kif 57411-57411

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


(=>
    (temporallyBetweenOrEqual
        (BeginFn
            (WhenFn ?PHYS)) ?TIME
        (EndFn
            (WhenFn ?PHYS)))
    (and
        (time ?PHYS ?TIME)
        (instance ?TIME TimePoint)))
Merge.kif 8116-8125
(=>
    (temporallyBetweenOrEqual ?POINT1 ?POINT2 ?POINT3)
    (and
        (beforeOrEqual ?POINT1 ?POINT2)
        (beforeOrEqual ?POINT2 ?POINT3)))
Merge.kif 8098-8102

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


(=>
    (and
        (beforeOrEqual ?POINT1 ?POINT2)
        (beforeOrEqual ?POINT2 ?POINT3))
    (temporallyBetweenOrEqual ?POINT1 ?POINT2 ?POINT3))
Merge.kif 8104-8108
(=>
    (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 8332-8341
(=>
    (and
        (time ?PHYS ?TIME)
        (instance ?TIME TimePoint))
    (temporallyBetweenOrEqual
        (BeginFn
            (WhenFn ?PHYS)) ?TIME
        (EndFn
            (WhenFn ?PHYS))))
Merge.kif 8110-8114
(=>
    (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 725-735
(=>
    (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 704-714


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