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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Number

Sigma KEE - Number
Number(nombre)

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 1827-1829
(documentation Number JapaneseLanguage "ある種の物がいくつあるか、どれだけあるかの測定。 Numbers は RealNumber, ComplexNumber、および ImaginaryNumber にサブクラス化される。") japanese_format.kif 335-336
(partition Number RealNumber ImaginaryNumber ComplexNumber) Merge.kif 1825-1825 Nombre est compl�tement d�compos� en nombre r�el, nombre imaginaire, + nombre complexe
(subclass Number Quantity) Merge.kif 1824-1824 Nombre est une sous-classe de quantit�

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


(range MaxFn Number) Merge.kif 4989-4989 Le domaine de MaxFn est une instance de nombre
(range MaxValueFn Number) Weather.kif 1683-1683 Le domaine de MaxValueFn est une instance de nombre
(range MinFn Number) Merge.kif 5015-5015 Le domaine de MinFn est une instance de nombre
(range StandardDeviationFn Number) Weather.kif 1506-1506 Le domaine de StandardDeviationFn est une instance de nombre
(range VarianceAverageFn Number) Weather.kif 1451-1451 Le domaine de VarianceAverageFn est une instance de nombre
(range VarianceFn Number) Weather.kif 1473-1473 Le domaine de VarianceFn est une instance de nombre
(subclass ComplexNumber Number) Merge.kif 2008-2008 Nombre complexe est une sous-classe de nombre
(subclass ImaginaryNumber Number) Merge.kif 1899-1899 Nombre imaginaire est une sous-classe de nombre
(subclass MultipoleVariable Number) engineering.kif 289-289 MultipoleVariable est une sous-classe de nombre
(subclass RealNumber Number) Merge.kif 1891-1891 Nombre r�el est une sous-classe de nombre
(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 24-24
(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 4987-4987 Le nombre 1 argument de MaxFn est une instance de nombre
(domain MaxFn 2 Number) Merge.kif 4988-4988 Le nombre 2 argument de MaxFn est une instance de nombre
(domain MinFn 1 Number) Merge.kif 5013-5013 Le nombre 1 argument de MinFn est une instance de nombre
(domain MinFn 2 Number) Merge.kif 5014-5014 Le nombre 2 argument de MinFn est une instance de nombre
(domain RationalNumberFn 1 Number) Merge.kif 5054-5054 Le nombre 1 argument de RationalNumberFn est une instance de nombre
(domain RealNumberFn 1 Number) Merge.kif 5061-5061 Le nombre 1 argument de RealNumberFn est une instance de nombre
(domain VarianceAverageFn 1 Number) Weather.kif 1446-1446 Le nombre 1 argument de VarianceAverageFn est une instance de nombre
(domain currentInterestRate 3 Number) FinancialOntology.kif 616-616 Le nombre 3 argument de currentInterestRate est une instance de nombre
(domain fixedInterestRate 2 Number) FinancialOntology.kif 622-622 Le nombre 2 argument de fixedInterestRate est une instance de nombre
(domain passengerCapacityMaxNumber 2 Number) Transportation.kif 3258-3258 Le nombre 2 argument de passengerCapacityMaxNumber est une instance de nombre
(domain primeInterestRate 2 Number) FinancialOntology.kif 601-601 Le nombre 2 argument de primeInterestRate est une instance de nombre

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


(=>
    (and
        (equal ?A
            (AverageFn ?L))
        (inList ?N ?L))
    (instance ?N Number))
Merge.kif 3286-3290
(=>
    (and
        (instance ?LIST NumberList)
        (inList ?NUM ?LIST))
    (instance ?NUM Number))
Weather.kif 1819-1823
(=>
    (equal
        (GreatestCommonDivisorFn @ROW) ?NUMBER)
    (=>
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Number)))
Merge.kif 4854-4859
(=>
    (equal
        (LeastCommonMultipleFn @ROW) ?NUMBER)
    (=>
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Number)))
Merge.kif 4939-4944


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