Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  PostalAddressText

 Sigma KEE - PositiveInfinity
PositiveInfinity(positive infinity)

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


(instance PositiveInfinity TimePoint) Merge.kif 8038-8038 Positive infinity is an instance of time point
(documentation PositiveInfinity EnglishLanguage "The TimePoint that is after all other TimePoints.") Merge.kif 8040-8041 Positive infinity is an instance of time point

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


(termFormat EnglishLanguage PositiveInfinity "positive infinity") domainEnglishFormat.kif 46789-46789
(termFormat ChineseTraditionalLanguage PositiveInfinity "正無窮大") domainEnglishFormat.kif 46790-46790
(termFormat ChineseLanguage PositiveInfinity "正无穷大") domainEnglishFormat.kif 46791-46791

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


(=>
    (and
        (instance ?POINT TimePoint)
        (not
            (equal ?POINT PositiveInfinity)))
    (before ?POINT PositiveInfinity))		 Merge.kif 8043-8047 If X is an instance of time point and equal X and positive infinity, then X happens before positive infinity
(=>
    (and
        (instance ?POINT TimePoint)
        (not
            (equal ?POINT PositiveInfinity)))
    (exists (?OTHERPOINT)
        (temporallyBetween ?POINT ?OTHERPOINT PositiveInfinity)))		 Merge.kif 8049-8054 If X is an instance of time point and equal X and positive infinity, then there exists Y such that Y is between X and positive infinity

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


(=>
    (and
        (instance ?POINT TimePoint)
        (not
            (equal ?POINT PositiveInfinity)))
    (before ?POINT PositiveInfinity))		 Merge.kif 8043-8047 If X is an instance of time point and equal X and positive infinity, then X happens before positive infinity
(=>
    (and
        (instance ?POINT TimePoint)
        (not
            (equal ?POINT PositiveInfinity)))
    (exists (?OTHERPOINT)
        (temporallyBetween ?POINT ?OTHERPOINT PositiveInfinity)))		 Merge.kif 8049-8054 If X is an instance of time point and equal X and positive infinity, then there exists Y such that Y is between X and positive infinity
(=>
    (instance ?INTERVAL TimeInterval)
    (equal
        (FutureFn ?INTERVAL)
        (TimeIntervalFn
            (EndFn ?INTERVAL) PositiveInfinity)))		 Merge.kif 8723-8725 If X is an instance of timeframe, then equal after X, interval between the end of X, and positive infinity


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 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners