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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PositiveInfinity

Sigma KEE - PositiveInfinity
PositiveInfinity

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


(documentation PositiveInfinity ChineseLanguage "这是所有其他 TimePoint 之后的 TimePoint。") Merge.kif 8075-8076
(documentation PositiveInfinity EnglishLanguage "The TimePoint that is after all other TimePoints.") Merge.kif 8073-8074
(equal
    (EndFn CommonEra) PositiveInfinity)
Mid-level-ontology.kif 7597-7597
(instance PositiveInfinity TimePoint) Merge.kif 8072-8072

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


(termFormat EnglishLanguage PositiveInfinity "positive infinity") domainEnglishFormat.kif 8222-8222

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


(=>
    (and
        (instance ?POINT TimePoint)
        (not
            (equal ?POINT PositiveInfinity)))
    (before ?POINT PositiveInfinity))
Merge.kif 8078-8082
(=>
    (and
        (instance ?POINT TimePoint)
        (not
            (equal ?POINT PositiveInfinity)))
    (exists (?OTHERPOINT)
        (temporallyBetween ?POINT ?OTHERPOINT PositiveInfinity)))
Merge.kif 8084-8089

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


(=>
    (and
        (instance ?POINT TimePoint)
        (not
            (equal ?POINT PositiveInfinity)))
    (before ?POINT PositiveInfinity))
Merge.kif 8078-8082
(=>
    (and
        (instance ?POINT TimePoint)
        (not
            (equal ?POINT PositiveInfinity)))
    (exists (?OTHERPOINT)
        (temporallyBetween ?POINT ?OTHERPOINT PositiveInfinity)))
Merge.kif 8084-8089
(=>
    (instance ?INTERVAL TimeInterval)
    (equal
        (FutureFn ?INTERVAL)
        (TimeIntervalFn
            (EndFn ?INTERVAL) PositiveInfinity)))
Merge.kif 8629-8631


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