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 1837-1839
(documentation Number JapaneseLanguage "ある種の物がいくつあるか、どれだけあるかの測定。 Numbers は RealNumber, ComplexNumber、および ImaginaryNumber にサブクラス化される。") japanese_format.kif 335-336
(partition Number RealNumber ImaginaryNumber ComplexNumber) Merge.kif 1835-1835 実数, 虚数, + 複素数exhaustively partitioned
(subclass Number Quantity) Merge.kif 1834-1834 subclass では

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


(range MaxFn Number) Merge.kif 5017-5017 MaxFnrange のインスタンス では
(range MaxValueFn Number) Weather.kif 2407-2407 MaxValueFnrange のインスタンス では
(range MinFn Number) Merge.kif 5043-5043 MinFnrange のインスタンス では
(range StandardDeviationFn Number) Weather.kif 2231-2231 StandardDeviationFnrange のインスタンス では
(range VarianceAverageFn Number) Weather.kif 2176-2176 VarianceAverageFnrange のインスタンス では
(range VarianceFn Number) Weather.kif 2198-2198 VarianceFnrange のインスタンス では
(subclass ComplexNumber Number) Merge.kif 2019-2019 複素数subclass では
(subclass ImaginaryNumber Number) Merge.kif 1910-1910 虚数subclass では
(subclass MultipoleVariable Number) engineering.kif 288-288 MultipoleVariablesubclass では
(subclass RealNumber Number) Merge.kif 1902-1902 実数subclass では
(termFormat ChineseLanguage Number "数字") chinese_format.kif 858-858 実数subclass では
(termFormat EnglishLanguage Number "number") english_format.kif 918-918 実数subclass では
(termFormat FrenchLanguage Number "nombre") french_format.kif 534-534 実数subclass では
(termFormat Hindi Number "anka") terms-hindi.txt 22-22 実数subclass では
(termFormat ItalianLanguage Number "Numero") terms-it.txt 24-24 実数subclass では
(termFormat JapaneseLanguage Number "数") japanese_format.kif 2219-2219 実数subclass では
(termFormat PortugueseLanguage Number "Numero") portuguese_format.kif 486-486 実数subclass では
(termFormat cb Number "numero") terms-cb.txt 25-25 実数subclass では
(termFormat cz Number "number") terms-cz.txt 101-101 実数subclass では
(termFormat de Number "Zahl") terms-de.txt 360-360 実数subclass では
(termFormat ro Number "numãr") relations-ro.kif 555-555 実数subclass では
(termFormat tg Number "bilang") terms-tg.txt 25-25 実数subclass では

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


(domain MaxFn 1 Number) Merge.kif 5015-5015 MaxFn の数値 1 引数は instance では
(domain MaxFn 2 Number) Merge.kif 5016-5016 MaxFn の数値 2 引数は instance では
(domain MinFn 1 Number) Merge.kif 5041-5041 MinFn の数値 1 引数は instance では
(domain MinFn 2 Number) Merge.kif 5042-5042 MinFn の数値 2 引数は instance では
(domain RationalNumberFn 1 Number) Merge.kif 5082-5082 RationalNumberFn の数値 1 引数は instance では
(domain RealNumberFn 1 Number) Merge.kif 5089-5089 RealNumberFn の数値 1 引数は instance では
(domain VarianceAverageFn 1 Number) Weather.kif 2171-2171 VarianceAverageFn の数値 1 引数は instance では
(domain currentInterestRate 3 Number) FinancialOntology.kif 618-618 currentInterestRate の数値 3 引数は instance では
(domain fixedInterestRate 2 Number) FinancialOntology.kif 624-624 fixedInterestRate の数値 2 引数は instance では
(domain passengerCapacityMaxNumber 2 Number) Transportation.kif 4401-4401 passengerCapacityMaxNumber の数値 2 引数は instance では
(domain primeInterestRate 2 Number) FinancialOntology.kif 603-603 primeInterestRate の数値 2 引数は instance では

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


(=>
    (and
        (equal ?A
            (AverageFn ?L))
        (inList ?N ?L))
    (instance ?N Number))
Merge.kif 3299-3303
(=>
    (and
        (instance ?LIST NumberList)
        (inList ?NUM ?LIST))
    (instance ?NUM Number))
Weather.kif 2543-2547
(=>
    (equal
        (GreatestCommonDivisorFn @ROW) ?NUMBER)
    (=>
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Number)))
Merge.kif 4882-4887
(=>
    (equal
        (LeastCommonMultipleFn @ROW) ?NUMBER)
    (=>
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Number)))
Merge.kif 4967-4972


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