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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NegativeInfinity
NegativeInfinity(negative infinity)negative_infinity

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


(documentation NegativeInfinity ChineseLanguage "这是所有其他 TimePoint 之前的 TimePoint。") Merge.kif 8094-8095
(documentation NegativeInfinity EnglishLanguage "The TimePoint that is before all other TimePoints.") Merge.kif 8092-8093
(equal
    (BeginFn BeforeCommonEra) NegativeInfinity)
Mid-level-ontology.kif 7589-7589 The beginning of before common era is equal to negative infinity
(instance NegativeInfinity TimePoint) Merge.kif 8091-8091 Negative infinity is an instance of time point

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


(termFormat EnglishLanguage NegativeInfinity "negative infinity") domainEnglishFormat.kif 7101-7101 "negative infinity" is the printable form of negative infinity in english language

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


(=>
    (and
        (instance ?POINT TimePoint)
        (not
            (equal ?POINT NegativeInfinity)))
    (before NegativeInfinity ?POINT))
Merge.kif 8097-8101
(=>
    (and
        (instance ?POINT TimePoint)
        (not
            (equal ?POINT NegativeInfinity)))
    (exists (?OTHERPOINT)
        (temporallyBetween NegativeInfinity ?OTHERPOINT ?POINT)))
Merge.kif 8103-8108

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


(=>
    (and
        (instance ?POINT TimePoint)
        (not
            (equal ?POINT NegativeInfinity)))
    (before NegativeInfinity ?POINT))
Merge.kif 8097-8101
(=>
    (and
        (instance ?POINT TimePoint)
        (not
            (equal ?POINT NegativeInfinity)))
    (exists (?OTHERPOINT)
        (temporallyBetween NegativeInfinity ?OTHERPOINT ?POINT)))
Merge.kif 8103-8108
(=>
    (instance ?INTERVAL TimeInterval)
    (equal
        (PastFn ?INTERVAL)
        (TimeIntervalFn NegativeInfinity
            (BeginFn ?INTERVAL))))
Merge.kif 8596-8598


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