| 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 実数 |
|
|
|