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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Number

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 1767-1769
(partition Number RealNumber ImaginaryNumber ComplexNumber) Merge.kif 1765-1765
(subclass Number Quantity) Merge.kif 1764-1764

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


(range MaxFn Number) Merge.kif 4893-4893
(range MaxValueFn Number) Weather.kif 1682-1682
(range MinFn Number) Merge.kif 4919-4919
(range StandardDeviationFn Number) Weather.kif 1505-1505
(range VarianceAverageFn Number) Weather.kif 1450-1450
(range VarianceFn Number) Weather.kif 1472-1472
(subclass ComplexNumber Number) Merge.kif 1948-1948
(subclass ImaginaryNumber Number) Merge.kif 1839-1839
(subclass MultipoleVariable Number) engineering.kif 288-288
(subclass RealNumber Number) Merge.kif 1831-1831
(termFormat ChineseLanguage Number "数字") chinese_format.kif 858-858
(termFormat EnglishLanguage Number "number") english_format.kif 918-918

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


(domain MaxFn 1 Number) Merge.kif 4891-4891
(domain MaxFn 2 Number) Merge.kif 4892-4892
(domain MinFn 1 Number) Merge.kif 4917-4917
(domain MinFn 2 Number) Merge.kif 4918-4918
(domain RationalNumberFn 1 Number) Merge.kif 4958-4958
(domain RealNumberFn 1 Number) Merge.kif 4965-4965
(domain VarianceAverageFn 1 Number) Weather.kif 1445-1445
(domain passengerCapacityMaxNumber 2 Number) Transportation.kif 3265-3265

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


(=>
    (and
        (equal ?A
            (AverageFn ?L))
        (inList ?N ?L))
    (instance ?N Number))
Merge.kif 3215-3219
(=>
    (and
        (instance ?LIST NumberList)
        (inList ?NUM ?LIST))
    (instance ?NUM Number))
Weather.kif 1818-1822
(=>
    (equal
        (GreatestCommonDivisorFn @ROW) ?NUMBER)
    (=>
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Number)))
Merge.kif 4758-4763
(=>
    (equal
        (LeastCommonMultipleFn @ROW) ?NUMBER)
    (=>
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Number)))
Merge.kif 4843-4848


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