Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Number
Number

appearance as argument number 1
-------------------------


(subclass Number Quantity) Merge.kif 1927-1927
(partition Number RealNumber ImaginaryNumber ComplexNumber) Merge.kif 1928-1928
(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 1930-1932

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


(subclass RealNumber Number) Merge.kif 1995-1995
(subclass ImaginaryNumber Number) Merge.kif 2003-2003
(subclass ComplexNumber Number) Merge.kif 2118-2118
(range MaxFn Number) Merge.kif 5101-5101
(range MinFn Number) Merge.kif 5127-5127
(range VarianceAverageFn Number) Weather.kif 2761-2761
(range VarianceFn Number) Weather.kif 2783-2783
(range StandardDeviationFn Number) Weather.kif 2816-2816
(range MaxValueFn Number) Weather.kif 2992-2992
(subclass MultipoleVariable Number) engineering.kif 295-295
(termFormat EnglishLanguage Number "number") english_format.kif 922-922

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


(domain MaxFn 1 Number) Merge.kif 5099-5099
(domain MaxFn 2 Number) Merge.kif 5100-5100
(domain MinFn 1 Number) Merge.kif 5125-5125
(domain MinFn 2 Number) Merge.kif 5126-5126
(domain RationalNumberFn 1 Number) Merge.kif 5166-5166
(domain RealNumberFn 1 Number) Merge.kif 5173-5173
(domain primeInterestRate 2 Number) FinancialOntology.kif 622-622
(domain currentInterestRate 3 Number) FinancialOntology.kif 637-637
(domain fixedInterestRate 2 Number) FinancialOntology.kif 643-643
(domain passengerCapacityMaxNumber 2 Number) Transportation.kif 4941-4941
(domain VarianceAverageFn 1 Number) Weather.kif 2756-2756

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


(=>
    (and
        (equal ?A
            (AverageFn ?L))
        (inList ?N ?L))
    (instance ?N Number))		 Merge.kif 3397-3401
(=>
    (equal
        (GreatestCommonDivisorFn @ROW) ?NUMBER)
    (=>
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Number)))		 Merge.kif 4966-4971
(=>
    (equal
        (LeastCommonMultipleFn @ROW) ?NUMBER)
    (=>
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Number)))		 Merge.kif 5051-5056
(=>
    (and
        (instance ?LIST NumberList)
        (inList ?NUM ?LIST))
    (instance ?NUM Number))		 Weather.kif 3099-3103


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners