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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FactualText

Sigma KEE - PositiveInfinity
PositiveInfinity

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


(documentation PositiveInfinity ChineseLanguage "这是所有其他 TimePoint 之后的 TimePoint。") Merge.kif 8026-8027
(documentation PositiveInfinity EnglishLanguage "The TimePoint that is after all other TimePoints.") Merge.kif 8024-8025
(equal
    (EndFn CommonEra) PositiveInfinity)
Mid-level-ontology.kif 7593-7593
(instance PositiveInfinity TimePoint) Merge.kif 8023-8023

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


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

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


(=>
    (and
        (instance ?POINT TimePoint)
        (not
            (equal ?POINT PositiveInfinity)))
    (before ?POINT PositiveInfinity))
Merge.kif 8029-8033
(=>
    (and
        (instance ?POINT TimePoint)
        (not
            (equal ?POINT PositiveInfinity)))
    (exists (?OTHERPOINT)
        (temporallyBetween ?POINT ?OTHERPOINT PositiveInfinity)))
Merge.kif 8035-8040

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


(=>
    (and
        (instance ?POINT TimePoint)
        (not
            (equal ?POINT PositiveInfinity)))
    (before ?POINT PositiveInfinity))
Merge.kif 8029-8033
(=>
    (and
        (instance ?POINT TimePoint)
        (not
            (equal ?POINT PositiveInfinity)))
    (exists (?OTHERPOINT)
        (temporallyBetween ?POINT ?OTHERPOINT PositiveInfinity)))
Merge.kif 8035-8040
(=>
    (instance ?INTERVAL TimeInterval)
    (equal
        (FutureFn ?INTERVAL)
        (TimeIntervalFn
            (EndFn ?INTERVAL) PositiveInfinity)))
Merge.kif 8577-8579


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