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 之前。") chinese_format.kif 2711-2713
(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 7702-7705
(domain temporallyBetween 1 TimePoint) Merge.kif 7698-7698 The number 1 argument of temporally between is an instance of time point
(domain temporallyBetween 2 TimePoint) Merge.kif 7699-7699 The number 2 argument of temporally between is an instance of time point
(domain temporallyBetween 3 TimePoint) Merge.kif 7700-7700 The number 3 argument of temporally between is an instance of time point
(instance temporallyBetween PartialValuedRelation) Merge.kif 7696-7696 temporally between is an instance of partial valued relation
(instance temporallyBetween TemporalRelation) Merge.kif 7694-7694 temporally between is an instance of temporal relation
(instance temporallyBetween TernaryPredicate) Merge.kif 7695-7695 temporally between is an instance of ternary predicate
(subrelation temporallyBetween temporallyBetweenOrEqual) Merge.kif 7697-7697 temporally between is a subrelation of temporally between or equal

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 436-436
(termFormat ChineseLanguage temporallyBetween "一时之间") domainEnglishFormat.kif 57321-57321
(termFormat ChineseLanguage temporallyBetween "在两个时间之间") chinese_format.kif 428-428
(termFormat ChineseTraditionalLanguage temporallyBetween "一時之間") domainEnglishFormat.kif 57320-57320
(termFormat EnglishLanguage temporallyBetween "temporally between") domainEnglishFormat.kif 57319-57319

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


(<=>
    (temporallyBetween ?POINT1 ?POINT2 ?POINT3)
    (and
        (before ?POINT1 ?POINT2)
        (before ?POINT2 ?POINT3)))
Merge.kif 7707-7711 A time point is between another time point and a third time point if and only if the other time point happens before the time point and the time point happens before the third time point

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


(=>
    (and
        (instance ?POINT TimePoint)
        (not
            (equal ?POINT NegativeInfinity)))
    (exists (?OTHERPOINT)
        (temporallyBetween NegativeInfinity ?OTHERPOINT ?POINT)))
Merge.kif 7462-7467
(=>
    (and
        (instance ?POINT TimePoint)
        (not
            (equal ?POINT PositiveInfinity)))
    (exists (?OTHERPOINT)
        (temporallyBetween ?POINT ?OTHERPOINT PositiveInfinity)))
Merge.kif 7444-7449


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