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 8058-8059
(documentation PositiveInfinity EnglishLanguage "The TimePoint that is after all other TimePoints.") Merge.kif 8056-8057
(equal
    (EndFn CommonEra) PositiveInfinity)
Mid-level-ontology.kif 7597-7597
(instance PositiveInfinity TimePoint) Merge.kif 8055-8055

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 8061-8065
(=>
    (and
        (instance ?POINT TimePoint)
        (not
            (equal ?POINT PositiveInfinity)))
    (exists (?OTHERPOINT)
        (temporallyBetween ?POINT ?OTHERPOINT PositiveInfinity)))
Merge.kif 8067-8072

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


(=>
    (and
        (instance ?POINT TimePoint)
        (not
            (equal ?POINT PositiveInfinity)))
    (before ?POINT PositiveInfinity))
Merge.kif 8061-8065
(=>
    (and
        (instance ?POINT TimePoint)
        (not
            (equal ?POINT PositiveInfinity)))
    (exists (?OTHERPOINT)
        (temporallyBetween ?POINT ?OTHERPOINT PositiveInfinity)))
Merge.kif 8067-8072
(=>
    (instance ?INTERVAL TimeInterval)
    (equal
        (FutureFn ?INTERVAL)
        (TimeIntervalFn
            (EndFn ?INTERVAL) PositiveInfinity)))
Merge.kif 8612-8614


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