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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NegativeRealNumber

Sigma KEE - NegativeRealNumber
NegativeRealNumber(negative real number)
indirect_correlation, negative, negative_correlation, negative_real_number, 負の実数, 负实数

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 "http://upload.wikimedia.org/wikipedia/commons/0/09/ Number-line.gif" is a URL depicting negative real number
(subclass NegativeRealNumber RealNumber) Merge.kif 2015-2015 Negative real number is a subclass of real number

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


(partition RealNumber NegativeRealNumber NonnegativeRealNumber) Merge.kif 1960-1960 Real number is exhaustively partitioned into negative real number and nonnegative real number
(subclass NegativeInteger NegativeRealNumber) Merge.kif 2058-2058 Negative integer is a subclass of negative real number
(termFormat ChineseLanguage NegativeRealNumber "负实数") chinese_format.kif 865-865 "负实数" is the printable form of negative real number in ChineseLanguage
(termFormat EnglishLanguage NegativeRealNumber "negative real number") english_format.kif 656-656 "negative real number" is the printable form of negative real number in english language
(termFormat JapaneseLanguage NegativeRealNumber "負の実数") english_format.kif 657-657 "負の実数" is the printable form of negative real number in japanese language

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


(<=>
    (instance ?NUMBER NegativeRealNumber)
    (and
        (lessThan ?NUMBER 0)
        (instance ?NUMBER RealNumber)))
Merge.kif 2020-2024 A quantity is an instance of negative real number if and only if the quantity is less than 0 and the quantity is an instance of real number
(=>
    (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 The absolute value of a real number is equal to a nonnegative real number and the real number is an instance of real number and the nonnegative real number is an instance of real number if and only if the real number is an instance of nonnegative real number and the real number is equal to the nonnegative real number or the real number is an instance of negative real number and the nonnegative real number is equal to (0 and the real number)


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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