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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 1814-1816
(documentation Number JapaneseLanguage "ある種の物がいくつあるか、どれだけあるかの測定。 Numbers は RealNumber, ComplexNumber、および ImaginaryNumber にサブクラス化される。") japanese_format.kif 335-336
(partition Number RealNumber ImaginaryNumber ComplexNumber) Merge.kif 1812-1812
(subclass Number Quantity) Merge.kif 1811-1811

appearance as argument number 2

(range MaxFn Number) Merge.kif 4975-4975
(range MaxValueFn Number) Weather.kif 1683-1683
(range MinFn Number) Merge.kif 5001-5001
(range StandardDeviationFn Number) Weather.kif 1506-1506
(range VarianceAverageFn Number) Weather.kif 1451-1451
(range VarianceFn Number) Weather.kif 1473-1473
(subclass ComplexNumber Number) Merge.kif 1995-1995
(subclass ImaginaryNumber Number) Merge.kif 1886-1886
(subclass MultipoleVariable Number) engineering.kif 288-288
(subclass RealNumber Number) Merge.kif 1878-1878
(termFormat ChineseLanguage Number "数字") chinese_format.kif 858-858
(termFormat EnglishLanguage Number "number") english_format.kif 918-918
(termFormat FrenchLanguage Number "nombre") french_format.kif 534-534
(termFormat Hindi Number "anka") terms-hindi.txt 22-22
(termFormat ItalianLanguage Number "Numero") terms-it.txt 22-22
(termFormat JapaneseLanguage Number "数") japanese_format.kif 2219-2219
(termFormat PortugueseLanguage Number "Numero") portuguese_format.kif 486-486
(termFormat cb Number "numero") terms-cb.txt 25-25
(termFormat cz Number "number") terms-cz.txt 101-101
(termFormat ro Number "numãr") relations-ro.kif 555-555
(termFormat tg Number "bilang") terms-tg.txt 25-25

appearance as argument number 3

(domain MaxFn 1 Number) Merge.kif 4973-4973
(domain MaxFn 2 Number) Merge.kif 4974-4974
(domain MinFn 1 Number) Merge.kif 4999-4999
(domain MinFn 2 Number) Merge.kif 5000-5000
(domain RationalNumberFn 1 Number) Merge.kif 5040-5040
(domain RealNumberFn 1 Number) Merge.kif 5047-5047
(domain VarianceAverageFn 1 Number) Weather.kif 1446-1446
(domain currentInterestRate 3 Number) FinancialOntology.kif 616-616
(domain fixedInterestRate 2 Number) FinancialOntology.kif 622-622
(domain passengerCapacityMaxNumber 2 Number) Transportation.kif 3258-3258
(domain primeInterestRate 2 Number) FinancialOntology.kif 601-601


        (equal ?A
            (AverageFn ?L))
        (inList ?N ?L))
    (instance ?N Number))
Merge.kif 3273-3277
        (instance ?LIST NumberList)
        (inList ?NUM ?LIST))
    (instance ?NUM Number))
Weather.kif 1819-1823
        (GreatestCommonDivisorFn @ROW) ?NUMBER)
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Number)))
Merge.kif 4840-4845
        (LeastCommonMultipleFn @ROW) ?NUMBER)
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Number)))
Merge.kif 4925-4930

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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