|
|
   Number
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Number ChineseLanguage "这是用来量度东西的数量或者某种东西的分量。 Numbers 可分为 RealNumber、 ComplexNumber 和 ImaginaryNumber。") | chinese_format.kif 1727-1728 | |
| (documentation Number EnglishLanguage "A measure of how many things there are, or how much there is, of a certain kind. Numbers are subclassed into RealNumber, ComplexNumber, and ImaginaryNumber.") | Merge.kif 1774-1776 | |
| (partition Number RealNumber ImaginaryNumber ComplexNumber) | Merge.kif 1772-1772 | |
| (subclass Number Quantity) | Merge.kif 1771-1771 |
| appearance as argument number 2 |
|
|
| (range AdditionFn Number) | Merge.kif 4574-4574 | |
| (range AverageFn Number) | Merge.kif 3196-3196 | |
| (range DivisionFn Number) | Merge.kif 4604-4604 | |
| (range ListSumFn Number) | Merge.kif 3165-3165 | |
| (range MaxFn Number) | Merge.kif 4826-4826 | |
| (range MaxValueFn Number) | Weather.kif 1682-1682 | |
| (range MinFn Number) | Merge.kif 4852-4852 | |
| (range MultiplicationFn Number) | Merge.kif 4561-4561 | |
| (range PathWeightFn Number) | Merge.kif 5740-5740 | |
| (range StandardDeviationFn Number) | Weather.kif 1505-1505 | |
| (range SubtractionFn Number) | Merge.kif 4588-4588 | |
| (range VarianceAverageFn Number) | Weather.kif 1450-1450 | |
| (range VarianceFn Number) | Weather.kif 1472-1472 | |
| (subclass ComplexNumber Number) | Merge.kif 1955-1955 | |
| (subclass ImaginaryNumber Number) | Merge.kif 1846-1846 | |
| (subclass MultipoleVariable Number) | engineering.kif 288-288 | |
| (subclass RealNumber Number) | Merge.kif 1838-1838 | |
| (termFormat ChineseLanguage Number "数字") | chinese_format.kif 858-858 | |
| (termFormat EnglishLanguage Number "number") | english_format.kif 923-923 |
| appearance as argument number 3 |
|
|
| (domain AdditionFn 1 Number) | Merge.kif 4572-4572 | |
| (domain AdditionFn 2 Number) | Merge.kif 4573-4573 | |
| (domain DivisionFn 1 Number) | Merge.kif 4602-4602 | |
| (domain DivisionFn 2 Number) | Merge.kif 4603-4603 | |
| (domain MaxFn 1 Number) | Merge.kif 4824-4824 | |
| (domain MaxFn 2 Number) | Merge.kif 4825-4825 | |
| (domain MinFn 1 Number) | Merge.kif 4850-4850 | |
| (domain MinFn 2 Number) | Merge.kif 4851-4851 | |
| (domain MultiplicationFn 1 Number) | Merge.kif 4559-4559 | |
| (domain MultiplicationFn 2 Number) | Merge.kif 4560-4560 | |
| (domain RationalNumberFn 1 Number) | Merge.kif 4891-4891 | |
| (domain RealNumberFn 1 Number) | Merge.kif 4898-4898 | |
| (domain SubtractionFn 1 Number) | Merge.kif 4586-4586 | |
| (domain SubtractionFn 2 Number) | Merge.kif 4587-4587 | |
| (domain VarianceAverageFn 1 Number) | Weather.kif 1445-1445 | |
| (domain currentInterestRate 3 Number) | FinancialOntology.kif 576-576 | |
| (domain fixedInterestRate 2 Number) | FinancialOntology.kif 582-582 | |
| (domain interestRatePerPeriod 2 Number) | FinancialOntology.kif 545-545 | |
| (domain passengerCapacityMaxNumber 2 Number) | Transportation.kif 3265-3265 | |
| (domain primeInterestRate 2 Number) | FinancialOntology.kif 561-561 |
| consequent |
|
|
| (=> (and (equal ?A (AverageFn ?L)) (inList ?N ?L)) (instance ?N Number)) |
Merge.kif 3210-3214 | |
| (=> (and (equal ?SUM (ListSumFn ?L)) (equal ?N (ListOrderFn ?L ?S))) (instance ?N Number)) |
Merge.kif 3170-3174 | |
| (=> (and (instance ?LIST NumberList) (inList ?NUM ?LIST)) (instance ?NUM Number)) |
Weather.kif 1818-1822 | |
| (=> (equal (GreatestCommonDivisorFn @ROW) ?NUMBER) (=> (inList ?ELEMENT (ListFn @ROW)) (instance ?ELEMENT Number))) |
Merge.kif 4714-4719 | |
| (=> (equal (LeastCommonMultipleFn @ROW) ?NUMBER) (=> (inList ?ELEMENT (ListFn @ROW)) (instance ?ELEMENT Number))) |
Merge.kif 4787-4792 |
|
|
|