| RealNumber(実数)
| |
| appearance as argument number 1 |
|
|
| (documentation RealNumber ChineseLanguage "任何可以表达为一个（可能是无限的)十进制的 Number， 即任何在数字线上佔有一席位 Number。") | Merge.kif 1965-1966 | |
| (documentation RealNumber EnglishLanguage "Any Number that can be expressed as a (possibly infinite) decimal, i.e. any Number that has a position on the number line.") | Merge.kif 1962-1964 | |
| (externalImage RealNumber "http://upload.wikimedia.org/wikipedia/commons/ 0/ 09/ Number-line.gif") | pictureList.kif 11762-11762 | externalImage 実数 and "http://upload.wikimedia.org/wikipedia/commons/0/09/ Number-line.gif" |
| (externalImage RealNumber "http://upload.wikimedia.org/wikipedia/commons/ 9/ 98/ Real_Number_Line.PNG") | pictureList.kif 10244-10244 | externalImage 実数 and "http://upload.wikimedia.org/wikipedia/commons/9/98/ Real_Number_Line.PNG" |
| (externalImage RealNumber "http://upload.wikimedia.org/wikipedia/commons/ f/ fd/ Recta_real_entero_o_decimal_exacto.png") | pictureList.kif 11761-11761 | externalImage 実数 and "http://upload.wikimedia.org/wikipedia/commons/f/fd/ Recta_real_entero_o_decimal_exacto.png" |
| (partition RealNumber NegativeRealNumber NonnegativeRealNumber) | Merge.kif 1960-1960 | partition 実数, 負の実数 and 非負実数 |
| (partition RealNumber RationalNumber IrrationalNumber) | Merge.kif 1961-1961 | partition 実数, 有理数 and 無理数 |
| (subclass RealNumber Number) | Merge.kif 1959-1959 | subclass 実数 and 数 |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| antecedent |
|
|
| (<=> (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 実数 |
| (=> (and (instance ?BUYINGS Collection) (instance ?GMB CurrencyMeasure) (instance ?TOTAL RealNumber) (equal ?GMB (GMBFn ?BUYINGS)) (equal ?TOTAL (CardinalityFn (KappaFn ?ITEM (and (instance ?ITEM Object) (exists (?BUYING) (and (member ?BUYING ?BUYINGS) (patient ?ITEM ?BUYING)))))))) (equal (ABPFn ?BUYINGS) (DivisionFn ?GMB ?TOTAL))) |
UXExperimentalTerms.kif 3444-3464 | |
| (=> (and (instance ?REL RelationExtendedToQuantities) (instance ?REL BinaryPredicate) (instance ?NUMBER1 RealNumber) (instance ?NUMBER2 RealNumber) (?REL ?NUMBER1 ?NUMBER2)) (forall (?UNIT) (=> (instance ?UNIT UnitOfMeasure) (?REL (MeasureFn ?NUMBER1 ?UNIT) (MeasureFn ?NUMBER2 ?UNIT))))) |
Merge.kif 6585-6595 | |
| (=> (and (instance ?SELLINGS Collection) (instance ?GMV CurrencyMeasure) (instance ?TOTAL RealNumber) (equal ?GMV (GMVFn ?SELLINGS)) (equal ?TOTAL (CardinalityFn (KappaFn ?ITEM (and (instance ?ITEM Object) (exists (?SELLING) (and (member ?SELLING ?SELLINGS) (patient ?ITEM ?BUYING)))))))) (equal (ASPFn ?SELLINGS) (DivisionFn ?GMV ?TOTAL))) |
UXExperimentalTerms.kif 3487-3507 | |
| (=> (instance ?N RealNumber) (equal (MeasureFn ?N Horsepower) (MeasureFn (MultiplicationFn ?N 746) Watt))) |
Merge.kif 7145-7149 |
| consequent |
|
|
| (<=> (instance ?NUMBER NegativeRealNumber) (and (lessThan ?NUMBER 0) (instance ?NUMBER RealNumber))) |
Merge.kif 2020-2024 | instance 量 and 負の実数 lessThan 量 and 0 instance 量 and 実数 |
| (<=> (instance ?NUMBER NonnegativeRealNumber) (and (greaterThanOrEqualTo ?NUMBER 0) (instance ?NUMBER RealNumber))) |
Merge.kif 1998-2002 | instance 量 and 非負実数 greaterThanOrEqualTo 量 and 0 instance 量 and 実数 |
| (<=> (instance ?NUMBER PositiveRealNumber) (and (greaterThan ?NUMBER 0) (instance ?NUMBER RealNumber))) |
Merge.kif 2009-2013 | instance 量 and 正の実数 greaterThan 量 and 0 instance 量 and 実数 |
| (=> (average ?LIST ?AVERAGE) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (instance ?LISTITEM RealNumber)))) |
Merge.kif 5465-5470 |
|
|
|