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 8211-8214
(documentation temporallyBetweenOrEqual JapaneseLanguage "(temporallyBetweenOrEqual ?POINT1 ?POINT2 ?POINT3) とは、TimePoint ?POINT1 が TimePoint ?POINT2 の前または同等であ ることを意味し、?POINT2 は TimePoint ?POINT3 の前または同等である。") japanese_format.kif 1438-1440
(domain temporallyBetweenOrEqual 1 TimePoint) Merge.kif 8207-8207 在两个时间之间或同时 的 1 数量 是 时点 的 instance
(domain temporallyBetweenOrEqual 2 TimePoint) Merge.kif 8208-8208 在两个时间之间或同时 的 2 数量 是 时点 的 instance
(domain temporallyBetweenOrEqual 3 TimePoint) Merge.kif 8209-8209 在两个时间之间或同时 的 3 数量 是 时点 的 instance
(instance temporallyBetweenOrEqual PartialValuedRelation) Merge.kif 8206-8206 在两个时间之间或同时 是 部分值关系 的 instance
(instance temporallyBetweenOrEqual TemporalRelation) Merge.kif 8204-8204 在两个时间之间或同时 是 时间关系 的 instance
(instance temporallyBetweenOrEqual TernaryPredicate) Merge.kif 8205-8205 在两个时间之间或同时 是 三元谓语 的 instance

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
(format FrenchLanguage temporallyBetweenOrEqual "%2 est %n entre ou pendant %1 et %3") french_format.kif 249-249
(format ItalianLanguage temporallyBetweenOrEqual "%2 è %n tra o in %1 e %3") relations-it.txt 295-295
(format JapaneseLanguage temporallyBetweenOrEqual "%2 は %1 にも %3 にもその between にも %n") japanese_format.kif 2043-2043
(format PortugueseLanguage temporallyBetweenOrEqual "%2 e' %n entre ou durante %1 e %3") portuguese_format.kif 201-201
(format cz temporallyBetweenOrEqual "%2 %p{je} %n{nen�} between or at %1 and %3") relations-cz.txt 254-254
(format de temporallyBetweenOrEqual "%2 ist zwischen oder gleichzeitig mit %1 und %3") relations-de.txt 559-559
(format hi temporallyBetweenOrEqual "%2 %1 aura %3 ke saatha yaa biicha men %n hai") relations-hindi.txt 331-331
(format ro temporallyBetweenOrEqual "%2 %n{nu} este between%t{între} %1 ºi %3 sau la %1 sau %3") relations-ro.kif 270-270
(format sv temporallyBetweenOrEqual "%2 ligger %n{inte} mellan eller vid %1 och %3") relations-sv.txt 272-272
(format tg temporallyBetweenOrEqual "%2 %n ay sa pagitan ng o sa %1 at %3") relations-tg.txt 487-487
(subrelation temporallyBetween temporallyBetweenOrEqual) Merge.kif 8182-8182 在两个时间之间 是 在两个时间之间或同时 的 subrelation
(termFormat ChineseLanguage temporallyBetweenOrEqual "在两个时间之间或同时") chinese_format.kif 430-430
(termFormat ChineseLanguage temporallyBetweenOrEqual "暂时之间或等于") domainEnglishFormat.kif 57446-57446
(termFormat ChineseTraditionalLanguage temporallyBetweenOrEqual "暫時之間或等於") domainEnglishFormat.kif 57445-57445
(termFormat EnglishLanguage temporallyBetweenOrEqual "temporally between or equal") domainEnglishFormat.kif 57444-57444

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


(=>
    (temporallyBetweenOrEqual
        (BeginFn
            (WhenFn ?PHYS)) ?TIME
        (EndFn
            (WhenFn ?PHYS)))
    (and
        (time ?PHYS ?TIME)
        (instance ?TIME TimePoint)))		 Merge.kif 8234-8243
(=>
    (temporallyBetweenOrEqual ?POINT1 ?POINT2 ?POINT3)
    (and
        (beforeOrEqual ?POINT1 ?POINT2)
        (beforeOrEqual ?POINT2 ?POINT3)))		 Merge.kif 8216-8220

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


(=>
    (and
        (beforeOrEqual ?POINT1 ?POINT2)
        (beforeOrEqual ?POINT2 ?POINT3))
    (temporallyBetweenOrEqual ?POINT1 ?POINT2 ?POINT3))		 Merge.kif 8222-8226
(=>
    (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 8452-8461
(=>
    (and
        (time ?PHYS ?TIME)
        (instance ?TIME TimePoint))
    (temporallyBetweenOrEqual
        (BeginFn
            (WhenFn ?PHYS)) ?TIME
        (EndFn
            (WhenFn ?PHYS))))		 Merge.kif 8228-8232
(=>
    (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 746-756
(=>
    (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 725-735


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