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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Number
Number(数字)

appearance as argument number 1
-------------------------


(documentation Number ChineseLanguage "这是用来量度东西的数量或者某种东西的分量。 Numbers 可分为 RealNumberComplexNumberImaginaryNumber。") 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 1745-1747
(partition Number RealNumber ImaginaryNumber ComplexNumber) Merge.kif 1743-1743 数字 详尽无遗地 partition实数, 虚数, 和 复数
(subclass Number Quantity) Merge.kif 1742-1742 数字数量subclass

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


(range MaxFn Number) Merge.kif 4799-4799 较大值函数range数字 的实例
(range MaxValueFn Number) Weather.kif 1684-1684 最大值range数字 的实例
(range MinFn Number) Merge.kif 4825-4825 较小值函数range数字 的实例
(range StandardDeviationFn Number) Weather.kif 1507-1507 标准偏差range数字 的实例
(range VarianceAverageFn Number) Weather.kif 1452-1452 方差均差函数range数字 的实例
(range VarianceFn Number) Weather.kif 1474-1474 方差函数range数字 的实例
(subclass ComplexNumber Number) Merge.kif 1926-1926 复数数字subclass
(subclass ImaginaryNumber Number) Merge.kif 1817-1817 虚数数字subclass
(subclass MultipoleVariable Number) engineering.kif 288-288 多极变量数字subclass
(subclass RealNumber Number) Merge.kif 1809-1809 实数数字subclass
(termFormat ChineseLanguage Number "数字") chinese_format.kif 858-858
(termFormat EnglishLanguage Number "number") english_format.kif 918-918

appearance as argument number 3
-------------------------


(domain MaxFn 1 Number) Merge.kif 4797-4797 较大值函数 的 1 数量 是 数字instance
(domain MaxFn 2 Number) Merge.kif 4798-4798 较大值函数 的 2 数量 是 数字instance
(domain MinFn 1 Number) Merge.kif 4823-4823 较小值函数 的 1 数量 是 数字instance
(domain MinFn 2 Number) Merge.kif 4824-4824 较小值函数 的 2 数量 是 数字instance
(domain RationalNumberFn 1 Number) Merge.kif 4864-4864 有理数函数 的 1 数量 是 数字instance
(domain RealNumberFn 1 Number) Merge.kif 4871-4871 实数函数 的 1 数量 是 数字instance
(domain VarianceAverageFn 1 Number) Weather.kif 1447-1447 方差均差函数 的 1 数量 是 数字instance
(domain currentInterestRate 3 Number) FinancialOntology.kif 576-576 目前的利率 的 3 数量 是 数字instance
(domain fixedInterestRate 2 Number) FinancialOntology.kif 582-582 固定利率 的 2 数量 是 数字instance
(domain interestRatePerPeriod 2 Number) FinancialOntology.kif 545-545 每期利率 的 2 数量 是 数字instance
(domain passengerCapacityMaxNumber 2 Number) Transportation.kif 3265-3265 客运量最大数量 的 2 数量 是 数字instance
(domain primeInterestRate 2 Number) FinancialOntology.kif 561-561 主要利率 的 2 数量 是 数字instance

consequent
-------------------------


(=>
    (and
        (equal ?A
            (AverageFn ?L))
        (inList ?N ?L))
    (instance ?N Number))
Merge.kif 3179-3183
(=>
    (and
        (instance ?LIST NumberList)
        (inList ?NUM ?LIST))
    (instance ?NUM Number))
Weather.kif 1820-1824
(=>
    (equal
        (GreatestCommonDivisorFn @ROW) ?NUMBER)
    (=>
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Number)))
Merge.kif 4687-4692
(=>
    (equal
        (LeastCommonMultipleFn @ROW) ?NUMBER)
    (=>
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Number)))
Merge.kif 4760-4765


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 3.0 is open source software produced by Articulate Software and its partners