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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Number
Number(Numero)

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 O conceito Numero e' completamente decomposto em Numero Real, Numero Imaginario, + Numero Complexo
(subclass Number Quantity) Merge.kif 1834-1834 Numero e' uma sub-classe de Quantidade

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


(range MaxFn Number) Merge.kif 5017-5017 O contra-dominio de MaxFn e' uma instancia de Numero
(range MaxValueFn Number) Weather.kif 2407-2407 O contra-dominio de MaxValueFn e' uma instancia de Numero
(range MinFn Number) Merge.kif 5043-5043 O contra-dominio de MinFn e' uma instancia de Numero
(range StandardDeviationFn Number) Weather.kif 2231-2231 O contra-dominio de StandardDeviationFn e' uma instancia de Numero
(range VarianceAverageFn Number) Weather.kif 2176-2176 O contra-dominio de VarianceAverageFn e' uma instancia de Numero
(range VarianceFn Number) Weather.kif 2198-2198 O contra-dominio de VarianceFn e' uma instancia de Numero
(subclass ComplexNumber Number) Merge.kif 2019-2019 Numero Complexo e' uma sub-classe de Numero
(subclass ImaginaryNumber Number) Merge.kif 1910-1910 Numero Imaginario e' uma sub-classe de Numero
(subclass MultipoleVariable Number) engineering.kif 288-288 MultipoleVariable e' uma sub-classe de Numero
(subclass RealNumber Number) Merge.kif 1902-1902 Numero Real e' uma sub-classe de Numero
(termFormat ChineseLanguage Number "数字") chinese_format.kif 858-858 Numero Real e' uma sub-classe de Numero
(termFormat EnglishLanguage Number "number") english_format.kif 918-918 Numero Real e' uma sub-classe de Numero
(termFormat FrenchLanguage Number "nombre") french_format.kif 534-534 Numero Real e' uma sub-classe de Numero
(termFormat Hindi Number "anka") terms-hindi.txt 22-22 Numero Real e' uma sub-classe de Numero
(termFormat ItalianLanguage Number "Numero") terms-it.txt 24-24 Numero Real e' uma sub-classe de Numero
(termFormat JapaneseLanguage Number "数") japanese_format.kif 2219-2219 Numero Real e' uma sub-classe de Numero
(termFormat PortugueseLanguage Number "Numero") portuguese_format.kif 486-486 Numero Real e' uma sub-classe de Numero
(termFormat cb Number "numero") terms-cb.txt 25-25 Numero Real e' uma sub-classe de Numero
(termFormat cz Number "number") terms-cz.txt 101-101 Numero Real e' uma sub-classe de Numero
(termFormat de Number "Zahl") terms-de.txt 360-360 Numero Real e' uma sub-classe de Numero
(termFormat ro Number "numãr") relations-ro.kif 555-555 Numero Real e' uma sub-classe de Numero
(termFormat tg Number "bilang") terms-tg.txt 25-25 Numero Real e' uma sub-classe de Numero

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


(domain MaxFn 1 Number) Merge.kif 5015-5015 O argumento numero 1 de MaxFn e' uma instancia de Numero
(domain MaxFn 2 Number) Merge.kif 5016-5016 O argumento numero 2 de MaxFn e' uma instancia de Numero
(domain MinFn 1 Number) Merge.kif 5041-5041 O argumento numero 1 de MinFn e' uma instancia de Numero
(domain MinFn 2 Number) Merge.kif 5042-5042 O argumento numero 2 de MinFn e' uma instancia de Numero
(domain RationalNumberFn 1 Number) Merge.kif 5082-5082 O argumento numero 1 de RationalNumberFn e' uma instancia de Numero
(domain RealNumberFn 1 Number) Merge.kif 5089-5089 O argumento numero 1 de RealNumberFn e' uma instancia de Numero
(domain VarianceAverageFn 1 Number) Weather.kif 2171-2171 O argumento numero 1 de VarianceAverageFn e' uma instancia de Numero
(domain currentInterestRate 3 Number) FinancialOntology.kif 618-618 O argumento numero 3 de currentInterestRate e' uma instancia de Numero
(domain fixedInterestRate 2 Number) FinancialOntology.kif 624-624 O argumento numero 2 de fixedInterestRate e' uma instancia de Numero
(domain passengerCapacityMaxNumber 2 Number) Transportation.kif 4401-4401 O argumento numero 2 de passengerCapacityMaxNumber e' uma instancia de Numero
(domain primeInterestRate 2 Number) FinancialOntology.kif 603-603 O argumento numero 2 de primeInterestRate e' uma instancia de Numero

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