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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NegativeInfinity
NegativeInfinity(negative infinity)

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


(documentation NegativeInfinity ChineseLanguage "这是所有其他 TimePoint 之前的 TimePoint。") chinese_format.kif 2686-2687
(documentation NegativeInfinity EnglishLanguage "The TimePoint that is before all other TimePoints.") Merge.kif 7443-7444
(equal
    (BeginFn BeforeCommonEra) NegativeInfinity)
Mid-level-ontology.kif 7591-7591 The beginning of before common era is equal to negative infinity
(instance NegativeInfinity TimePoint) Merge.kif 7441-7441 Negative infinity is an instance of time point

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


(termFormat ChineseLanguage NegativeInfinity "负无穷大") domainEnglishFormat.kif 39985-39985
(termFormat ChineseTraditionalLanguage NegativeInfinity "負無窮大") domainEnglishFormat.kif 39984-39984
(termFormat EnglishLanguage NegativeInfinity "negative infinity") domainEnglishFormat.kif 39983-39983

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


(=>
    (and
        (instance ?POINT TimePoint)
        (not
            (equal ?POINT NegativeInfinity)))
    (before NegativeInfinity ?POINT))
Merge.kif 7446-7450
(=>
    (and
        (instance ?POINT TimePoint)
        (not
            (equal ?POINT NegativeInfinity)))
    (exists (?OTHERPOINT)
        (temporallyBetween NegativeInfinity ?OTHERPOINT ?POINT)))
Merge.kif 7452-7457

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


(=>
    (and
        (instance ?POINT TimePoint)
        (not
            (equal ?POINT NegativeInfinity)))
    (before NegativeInfinity ?POINT))
Merge.kif 7446-7450
(=>
    (and
        (instance ?POINT TimePoint)
        (not
            (equal ?POINT NegativeInfinity)))
    (exists (?OTHERPOINT)
        (temporallyBetween NegativeInfinity ?OTHERPOINT ?POINT)))
Merge.kif 7452-7457
(=>
    (instance ?INTERVAL TimeInterval)
    (equal
        (PastFn ?INTERVAL)
        (TimeIntervalFn NegativeInfinity
            (BeginFn ?INTERVAL))))
Merge.kif 7916-7918


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