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


KB Term:  Term intersection
English Word: 

Sigma KEE - NegativeInfinity
NegativeInfinity(negative infinity)

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


(instance NegativeInfinity TimePoint) Merge.kif 8056-8056 Negative infinity is an instance of time point
(documentation NegativeInfinity EnglishLanguage "The TimePoint that is before all other TimePoints.") Merge.kif 8058-8059 Negative infinity is an instance of time point

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


(termFormat EnglishLanguage NegativeInfinity "negative infinity") domainEnglishFormat.kif 40093-40093
(termFormat ChineseTraditionalLanguage NegativeInfinity "負無窮大") domainEnglishFormat.kif 40094-40094
(termFormat ChineseLanguage NegativeInfinity "负无穷大") domainEnglishFormat.kif 40095-40095

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


(=>
    (and
        (instance ?POINT TimePoint)
        (not
            (equal ?POINT NegativeInfinity)))
    (before NegativeInfinity ?POINT))		 Merge.kif 8061-8065 If X is an instance of time point and equal X and negative infinity, then negative infinity happens before X
(=>
    (and
        (instance ?POINT TimePoint)
        (not
            (equal ?POINT NegativeInfinity)))
    (exists (?OTHERPOINT)
        (temporallyBetween NegativeInfinity ?OTHERPOINT ?POINT)))		 Merge.kif 8067-8072 If X is an instance of time point and equal X and negative infinity, then there exists Y such that Y is between negative infinity and X

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


(=>
    (and
        (instance ?POINT TimePoint)
        (not
            (equal ?POINT NegativeInfinity)))
    (before NegativeInfinity ?POINT))		 Merge.kif 8061-8065 If X is an instance of time point and equal X and negative infinity, then negative infinity happens before X
(=>
    (and
        (instance ?POINT TimePoint)
        (not
            (equal ?POINT NegativeInfinity)))
    (exists (?OTHERPOINT)
        (temporallyBetween NegativeInfinity ?OTHERPOINT ?POINT)))		 Merge.kif 8067-8072 If X is an instance of time point and equal X and negative infinity, then there exists Y such that Y is between negative infinity and X
(=>
    (instance ?INTERVAL TimeInterval)
    (equal
        (PastFn ?INTERVAL)
        (TimeIntervalFn NegativeInfinity
            (BeginFn ?INTERVAL))))		 Merge.kif 8692-8694 If X is an instance of timeframe, then equal before X, interval between negative infinity, and the beginning of X


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