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

Formal Language: 



KB Term:  Term intersection
English Word: 

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

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


(range MaxFn Number) Merge.kif 5002-5002 Le domaine de MaxFn est une instance de nombre
(range MaxValueFn Number) Weather.kif 2072-2072 Le domaine de MaxValueFn est une instance de nombre
(range MinFn Number) Merge.kif 5028-5028 Le domaine de MinFn est une instance de nombre
(range StandardDeviationFn Number) Weather.kif 1896-1896 Le domaine de StandardDeviationFn est une instance de nombre
(range VarianceAverageFn Number) Weather.kif 1841-1841 Le domaine de VarianceAverageFn est une instance de nombre
(range VarianceFn Number) Weather.kif 1863-1863 Le domaine de VarianceFn est une instance de nombre
(subclass ComplexNumber Number) Merge.kif 2004-2004 Nombre complexe est une sous-classe de nombre
(subclass ImaginaryNumber Number) Merge.kif 1895-1895 Nombre imaginaire est une sous-classe de nombre
(subclass MultipoleVariable Number) engineering.kif 288-288 MultipoleVariable est une sous-classe de nombre
(subclass RealNumber Number) Merge.kif 1887-1887 Nombre r�el est une sous-classe de nombre
(termFormat ChineseLanguage Number "数字") chinese_format.kif 858-858 Nombre r�el est une sous-classe de nombre
(termFormat EnglishLanguage Number "number") english_format.kif 918-918 Nombre r�el est une sous-classe de nombre
(termFormat FrenchLanguage Number "nombre") french_format.kif 534-534 Nombre r�el est une sous-classe de nombre
(termFormat Hindi Number "anka") terms-hindi.txt 22-22 Nombre r�el est une sous-classe de nombre
(termFormat ItalianLanguage Number "Numero") terms-it.txt 24-24 Nombre r�el est une sous-classe de nombre
(termFormat JapaneseLanguage Number "数") japanese_format.kif 2219-2219 Nombre r�el est une sous-classe de nombre
(termFormat PortugueseLanguage Number "Numero") portuguese_format.kif 486-486 Nombre r�el est une sous-classe de nombre
(termFormat cb Number "numero") terms-cb.txt 25-25 Nombre r�el est une sous-classe de nombre
(termFormat cz Number "number") terms-cz.txt 101-101 Nombre r�el est une sous-classe de nombre
(termFormat de Number "Zahl") terms-de.txt 360-360 Nombre r�el est une sous-classe de nombre
(termFormat ro Number "numãr") relations-ro.kif 555-555 Nombre r�el est une sous-classe de nombre
(termFormat tg Number "bilang") terms-tg.txt 25-25 Nombre r�el est une sous-classe de nombre

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


(domain MaxFn 1 Number) Merge.kif 5000-5000 Le nombre 1 argument de MaxFn est une instance de nombre
(domain MaxFn 2 Number) Merge.kif 5001-5001 Le nombre 2 argument de MaxFn est une instance de nombre
(domain MinFn 1 Number) Merge.kif 5026-5026 Le nombre 1 argument de MinFn est une instance de nombre
(domain MinFn 2 Number) Merge.kif 5027-5027 Le nombre 2 argument de MinFn est une instance de nombre
(domain RationalNumberFn 1 Number) Merge.kif 5067-5067 Le nombre 1 argument de RationalNumberFn est une instance de nombre
(domain RealNumberFn 1 Number) Merge.kif 5074-5074 Le nombre 1 argument de RealNumberFn est une instance de nombre
(domain VarianceAverageFn 1 Number) Weather.kif 1836-1836 Le nombre 1 argument de VarianceAverageFn est une instance de nombre
(domain currentInterestRate 3 Number) FinancialOntology.kif 618-618 Le nombre 3 argument de currentInterestRate est une instance de nombre
(domain fixedInterestRate 2 Number) FinancialOntology.kif 624-624 Le nombre 2 argument de fixedInterestRate est une instance de nombre
(domain passengerCapacityMaxNumber 2 Number) Transportation.kif 4399-4399 Le nombre 2 argument de passengerCapacityMaxNumber est une instance de nombre
(domain primeInterestRate 2 Number) FinancialOntology.kif 603-603 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 3284-3288
(=>
    (and
        (instance ?LIST NumberList)
        (inList ?NUM ?LIST))
    (instance ?NUM Number))
Weather.kif 2208-2212
(=>
    (equal
        (GreatestCommonDivisorFn @ROW) ?NUMBER)
    (=>
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Number)))
Merge.kif 4867-4872
(=>
    (equal
        (LeastCommonMultipleFn @ROW) ?NUMBER)
    (=>
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Number)))
Merge.kif 4952-4957


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