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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NegativeRealNumber
NegativeRealNumber

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


(documentation NegativeRealNumber ChineseLanguage "这是一个小于零的 RealNumber。") Merge.kif 2018-2018
(documentation NegativeRealNumber EnglishLanguage "A RealNumber that is less than zero.") Merge.kif 2016-2017
(externalImage NegativeRealNumber "http://upload.wikimedia.org/wikipedia/ commons/ 0/ 09/ Number-line.gif") pictureList.kif 10166-10166
(subclass NegativeRealNumber RealNumber) Merge.kif 2015-2015

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


(partition RealNumber NegativeRealNumber NonnegativeRealNumber) Merge.kif 1960-1960
(subclass NegativeInteger NegativeRealNumber) Merge.kif 2058-2058
(termFormat ChineseLanguage NegativeRealNumber "负实数") chinese_format.kif 865-865
(termFormat EnglishLanguage NegativeRealNumber "negative real number") english_format.kif 656-656
(termFormat JapaneseLanguage NegativeRealNumber "負の実数") english_format.kif 657-657

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


(<=>
    (instance ?NUMBER NegativeRealNumber)
    (and
        (lessThan ?NUMBER 0)
        (instance ?NUMBER RealNumber)))
Merge.kif 2020-2024
(=>
    (instance ?NUMBER NegativeRealNumber)
    (equal
        (SignumFn ?NUMBER) -1))
Merge.kif 5326-5328

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


(<=>
    (and
        (equal
            (AbsoluteValueFn ?NUMBER1) ?NUMBER2)
        (instance ?NUMBER1 RealNumber)
        (instance ?NUMBER2 RealNumber))
    (or
        (and
            (instance ?NUMBER1 NonnegativeRealNumber)
            (equal ?NUMBER1 ?NUMBER2))
        (and
            (instance ?NUMBER1 NegativeRealNumber)
            (equal ?NUMBER2
                (SubtractionFn 0 ?NUMBER1)))))
Merge.kif 4924-4935


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