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 externalImage 負の実数 and "http://upload.wikimedia.org/wikipedia/commons/0/09/ Number-line.gif"
(subclass NegativeRealNumber RealNumber) Merge.kif 2015-2015 subclass 負の実数 and 実数

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


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

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


(<=>
    (instance ?NUMBER NegativeRealNumber)
    (and
        (lessThan ?NUMBER 0)
        (instance ?NUMBER RealNumber)))
Merge.kif 2020-2024 instance and 負の実数 lessThan and 0 instance and 実数
(=>
    (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 equal AbsoluteValueFn 実数 and 非負実数 instance 実数 and 実数 instance 非負実数 and 実数 instance 実数 and 非負実数 equal 実数 and 非負実数 instance 実数 and 負の実数 equal 非負実数 and SubtractionFn 0 and 実数


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