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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NegativeInfinity
NegativeInfinity

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


(documentation NegativeInfinity ChineseLanguage "这是所有其他 TimePoint 之前的 TimePoint。") Merge.kif 8077-8078
(documentation NegativeInfinity EnglishLanguage "The TimePoint that is before all other TimePoints.") Merge.kif 8075-8076
(equal
    (BeginFn BeforeCommonEra) NegativeInfinity)
Mid-level-ontology.kif 7589-7589
(instance NegativeInfinity TimePoint) Merge.kif 8074-8074

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


(termFormat EnglishLanguage NegativeInfinity "negative infinity") domainEnglishFormat.kif 7101-7101

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


(=>
    (and
        (instance ?POINT TimePoint)
        (not
            (equal ?POINT NegativeInfinity)))
    (before NegativeInfinity ?POINT))
Merge.kif 8080-8084
(=>
    (and
        (instance ?POINT TimePoint)
        (not
            (equal ?POINT NegativeInfinity)))
    (exists (?OTHERPOINT)
        (temporallyBetween NegativeInfinity ?OTHERPOINT ?POINT)))
Merge.kif 8086-8091

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


(=>
    (and
        (instance ?POINT TimePoint)
        (not
            (equal ?POINT NegativeInfinity)))
    (before NegativeInfinity ?POINT))
Merge.kif 8080-8084
(=>
    (and
        (instance ?POINT TimePoint)
        (not
            (equal ?POINT NegativeInfinity)))
    (exists (?OTHERPOINT)
        (temporallyBetween NegativeInfinity ?OTHERPOINT ?POINT)))
Merge.kif 8086-8091
(=>
    (instance ?INTERVAL TimeInterval)
    (equal
        (PastFn ?INTERVAL)
        (TimeIntervalFn NegativeInfinity
            (BeginFn ?INTERVAL))))
Merge.kif 8579-8581


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