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 1774-1776
(partition Number RealNumber ImaginaryNumber ComplexNumber) Merge.kif 1772-1772
(subclass Number Quantity) Merge.kif 1771-1771

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


(range AdditionFn Number) Merge.kif 4574-4574
(range AverageFn Number) Merge.kif 3196-3196
(range DivisionFn Number) Merge.kif 4604-4604
(range ListSumFn Number) Merge.kif 3165-3165
(range MaxFn Number) Merge.kif 4826-4826
(range MaxValueFn Number) Weather.kif 1682-1682
(range MinFn Number) Merge.kif 4852-4852
(range MultiplicationFn Number) Merge.kif 4561-4561
(range PathWeightFn Number) Merge.kif 5740-5740
(range StandardDeviationFn Number) Weather.kif 1505-1505
(range SubtractionFn Number) Merge.kif 4588-4588
(range VarianceAverageFn Number) Weather.kif 1450-1450
(range VarianceFn Number) Weather.kif 1472-1472
(subclass ComplexNumber Number) Merge.kif 1955-1955
(subclass ImaginaryNumber Number) Merge.kif 1846-1846
(subclass MultipoleVariable Number) engineering.kif 288-288
(subclass RealNumber Number) Merge.kif 1838-1838
(termFormat ChineseLanguage Number "数字") chinese_format.kif 858-858
(termFormat EnglishLanguage Number "number") english_format.kif 923-923

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


(domain AdditionFn 1 Number) Merge.kif 4572-4572
(domain AdditionFn 2 Number) Merge.kif 4573-4573
(domain DivisionFn 1 Number) Merge.kif 4602-4602
(domain DivisionFn 2 Number) Merge.kif 4603-4603
(domain MaxFn 1 Number) Merge.kif 4824-4824
(domain MaxFn 2 Number) Merge.kif 4825-4825
(domain MinFn 1 Number) Merge.kif 4850-4850
(domain MinFn 2 Number) Merge.kif 4851-4851
(domain MultiplicationFn 1 Number) Merge.kif 4559-4559
(domain MultiplicationFn 2 Number) Merge.kif 4560-4560
(domain RationalNumberFn 1 Number) Merge.kif 4891-4891
(domain RealNumberFn 1 Number) Merge.kif 4898-4898
(domain SubtractionFn 1 Number) Merge.kif 4586-4586
(domain SubtractionFn 2 Number) Merge.kif 4587-4587
(domain VarianceAverageFn 1 Number) Weather.kif 1445-1445
(domain currentInterestRate 3 Number) FinancialOntology.kif 576-576
(domain fixedInterestRate 2 Number) FinancialOntology.kif 582-582
(domain interestRatePerPeriod 2 Number) FinancialOntology.kif 545-545
(domain passengerCapacityMaxNumber 2 Number) Transportation.kif 3265-3265
(domain primeInterestRate 2 Number) FinancialOntology.kif 561-561

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


(=>
    (and
        (equal ?A
            (AverageFn ?L))
        (inList ?N ?L))
    (instance ?N Number))
Merge.kif 3210-3214
(=>
    (and
        (equal ?SUM
            (ListSumFn ?L))
        (equal ?N
            (ListOrderFn ?L ?S)))
    (instance ?N Number))
Merge.kif 3170-3174
(=>
    (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 4714-4719
(=>
    (equal
        (LeastCommonMultipleFn @ROW) ?NUMBER)
    (=>
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Number)))
Merge.kif 4787-4792


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