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 之前。") Merge.kif 8376-8378
(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 8372-8375
(domain temporallyBetweenOrEqual 1 TimePoint) Merge.kif 8369-8369 在两个时间之间或同时 的 1 数量 是 时点instance
(domain temporallyBetweenOrEqual 2 TimePoint) Merge.kif 8370-8370 在两个时间之间或同时 的 2 数量 是 时点instance
(domain temporallyBetweenOrEqual 3 TimePoint) Merge.kif 8371-8371 在两个时间之间或同时 的 3 数量 是 时点instance
(instance temporallyBetweenOrEqual PartialValuedRelation) Merge.kif 8368-8368 在两个时间之间或同时部分值关系instance
(instance temporallyBetweenOrEqual TemporalRelation) Merge.kif 8366-8366 在两个时间之间或同时时间关系instance
(instance temporallyBetweenOrEqual TernaryPredicate) Merge.kif 8367-8367 在两个时间之间或同时三元谓语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 259-259
(subrelation temporallyBetween temporallyBetweenOrEqual) Merge.kif 8348-8348 在两个时间之间在两个时间之间或同时subrelation
(termFormat ChineseLanguage temporallyBetweenOrEqual "在两个时间之间或同时") chinese_format.kif 430-430 termFormat ChineseLanguage, 在两个时间之间或同时 and "在两个时间之间或同时"
(termFormat EnglishLanguage temporallyBetweenOrEqual "temporally between or equal") domainEnglishFormat.kif 9998-9998 termFormat EnglishLanguage, 在两个时间之间或同时 and "temporally between or equal"

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


(<=>
    (temporallyBetweenOrEqual ?POINT1 ?POINT2 ?POINT3)
    (and
        (beforeOrEqual ?POINT1 ?POINT2)
        (beforeOrEqual ?POINT2 ?POINT3)))
Merge.kif 8380-8384 时点 是在或等于 另一个 时点第三 时点 between 若且唯若 那个 另外 时点%n{doesn't}在那个 时点 之前或同时发生 和 那个 时点%n{doesn't}在那个 第三 时点 之前或同时发生

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


(<=>
    (and
        (time ?PHYS ?TIME)
        (instance ?TIME TimePoint))
    (temporallyBetweenOrEqual
        (BeginFn
            (WhenFn ?PHYS)) ?TIME
        (EndFn
            (WhenFn ?PHYS))))
Merge.kif 8386-8390 物理 时点 是 存在 和 那个 时点时点instance 若且唯若 那个 时点 是在或等于 那个 物理 出现 的 time 的开始 和 那个 物理 出现 的 time 的结束 between
(=>
    (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 8530-8539
(=>
    (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 715-725
(=>
    (yearBuilt ?OBJ ?YEAR)
    (exists (?TIME ?MAKE)
        (and
            (instance ?TIME ?YEAR)
            (instance ?MAKE Making)
            (result ?MAKE ?OBJ)
            (temporallyBetweenOrEqual
                (BeginFn ?TIME)
                (EndFn
                    (WhenFn ?REPAIR))
                (EndFn ?TIME)))))
Hotel.kif 694-704


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