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。") chinese_format.kif 2686-2687
(documentation NegativeInfinity EnglishLanguage "The TimePoint that is before all other TimePoints.") Merge.kif 7352-7353
(equal
    (BeginFn BeforeCommonEra) NegativeInfinity)
Mid-level-ontology.kif 7590-7590 equal BeginFn BeforeCommonEra and NegativeInfinity
(instance NegativeInfinity TimePoint) Merge.kif 7350-7350 instance NegativeInfinity and TimePoint

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


(termFormat ChineseLanguage NegativeInfinity "负无穷大") domainEnglishFormat.kif 40009-40009 termFormat ChineseLanguage, NegativeInfinity and "负无穷大"
(termFormat ChineseTraditionalLanguage NegativeInfinity "負無窮大") domainEnglishFormat.kif 40008-40008 termFormat ChineseTraditionalLanguage, NegativeInfinity and "負無窮大"
(termFormat EnglishLanguage NegativeInfinity "negative infinity") domainEnglishFormat.kif 40007-40007 termFormat EnglishLanguage, NegativeInfinity and "negative infinity"

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


(=>
    (and
        (instance ?POINT TimePoint)
        (not
            (equal ?POINT NegativeInfinity)))
    (before NegativeInfinity ?POINT))
Merge.kif 7355-7359
(=>
    (and
        (instance ?POINT TimePoint)
        (not
            (equal ?POINT NegativeInfinity)))
    (exists (?OTHERPOINT)
        (temporallyBetween NegativeInfinity ?OTHERPOINT ?POINT)))
Merge.kif 7361-7366

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


(=>
    (and
        (instance ?POINT TimePoint)
        (not
            (equal ?POINT NegativeInfinity)))
    (before NegativeInfinity ?POINT))
Merge.kif 7355-7359
(=>
    (and
        (instance ?POINT TimePoint)
        (not
            (equal ?POINT NegativeInfinity)))
    (exists (?OTHERPOINT)
        (temporallyBetween NegativeInfinity ?OTHERPOINT ?POINT)))
Merge.kif 7361-7366
(=>
    (instance ?INTERVAL TimeInterval)
    (equal
        (PastFn ?INTERVAL)
        (TimeIntervalFn NegativeInfinity
            (BeginFn ?INTERVAL))))
Merge.kif 7825-7827


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