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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PositiveInfinity
PositiveInfinity(positive infinity)positive_infinity

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 The end of common era is equal to positive infinity
(instance PositiveInfinity TimePoint) Merge.kif 8072-8072 Positive infinity is an instance of time point

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


(termFormat EnglishLanguage PositiveInfinity "positive infinity") domainEnglishFormat.kif 8222-8222 "positive infinity" is the printable form of positive infinity in english language

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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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