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

Formal Language: 



KB Term:  Term intersection
English Word: 

  temporallyBetween

Sigma KEE - temporallyBetween
temporallyBetween

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


(documentation temporallyBetween ChineseLanguage "(temporallyBetween ?POINT1 ?POINT2 ?POINT3)的意思是 TimePoint ?POINT2 位于 TimePoint ?POINT1 和 ?POINT3 之间,即是 ?POINT1 在?POINT2 之前,而 ?POINT2 在 ?POINT3 之前。") Merge.kif 8339-8341
(documentation temporallyBetween EnglishLanguage "(temporallyBetween ?POINT1 ?POINT2 ?POINT3) means that the TimePoint ?POINT2 is between the TimePoints ?POINT1 and ?POINT3, i.e. ?POINT1 is before ?POINT2 and ?POINT2 is before ?POINT3.") Merge.kif 8335-8338
(domain temporallyBetween 1 TimePoint) Merge.kif 8332-8332
(domain temporallyBetween 2 TimePoint) Merge.kif 8333-8333
(domain temporallyBetween 3 TimePoint) Merge.kif 8334-8334
(instance temporallyBetween PartialValuedRelation) Merge.kif 8330-8330
(instance temporallyBetween TemporalRelation) Merge.kif 8328-8328
(instance temporallyBetween TernaryPredicate) Merge.kif 8329-8329
(subrelation temporallyBetween temporallyBetweenOrEqual) Merge.kif 8331-8331

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


(format ChineseLanguage temporallyBetween "时间%2 %n 是在时间 %1 和 时间 %3 between") chinese_format.kif 427-427
(format EnglishLanguage temporallyBetween "%2 is %n between %1 and %3") english_format.kif 258-258
(format FrenchLanguage temporallyBetween "%2 est %n entre %1 et %3") french_format.kif 248-248
(format ItalianLanguage temporallyBetween "%2 is %n tra %1 e %3") relations-it.txt 294-294
(format PortugueseLanguage temporallyBetween "%2 e' %n entre %1 e %3") portuguese_format.kif 200-200
(format ar temporallyBetween "%2 هو %n بَيْنَ %1 و %3") arabic_format.kif 182-182
(format cz temporallyBetween "%2 %p{je} %n{nen�} between %1 and %3") relations-cz.txt 253-253
(format de temporallyBetween "%2 ist zwischen %1 und %3") relations-de.txt 556-556
(format hi temporallyBetween "%2 %1 aura %3 ke biicha men %n hai") relations-hindi.txt 330-330
(format tg temporallyBetween "%2 %n ay sa pagitan ng %1 at %3") relations-tg.txt 486-486
(termFormat ChineseLanguage temporallyBetween "在两个时间之间") chinese_format.kif 428-428
(termFormat EnglishLanguage temporallyBetween "temporally between") domainEnglishFormat.kif 9997-9997
(termFormat ar temporallyBetween "«بَيْنَ»") arabic_format.kif 632-632

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


(<=>
    (temporallyBetween ?POINT1 ?POINT2 ?POINT3)
    (and
        (before ?POINT1 ?POINT2)
        (before ?POINT2 ?POINT3)))
Merge.kif 8343-8347

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


(=>
    (and
        (instance ?POINT TimePoint)
        (not
            (equal ?POINT NegativeInfinity)))
    (exists (?OTHERPOINT)
        (temporallyBetween NegativeInfinity ?OTHERPOINT ?POINT)))
Merge.kif 8086-8091
(=>
    (and
        (instance ?POINT TimePoint)
        (not
            (equal ?POINT PositiveInfinity)))
    (exists (?OTHERPOINT)
        (temporallyBetween ?POINT ?OTHERPOINT PositiveInfinity)))
Merge.kif 8067-8072


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