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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Number
Number

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


(documentation Number ChineseLanguage "这是用来量度东西的数量或者某种东西的分量。 Numbers 可分为 RealNumberComplexNumberImaginaryNumber。") Merge.kif 1892-1893
(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 1889-1891
(partition Number RealNumber ImaginaryNumber ComplexNumber) Merge.kif 1888-1888
(subclass Number Quantity) Merge.kif 1887-1887

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


(subclass ComplexNumber Number) Merge.kif 2081-2081
(subclass ImaginaryNumber Number) Merge.kif 1968-1968
(subclass MultipoleVariable Number) engineering.kif 288-288
(subclass RealNumber Number) Merge.kif 1959-1959
(termFormat ChineseLanguage Number "数字") chinese_format.kif 858-858
(termFormat EnglishLanguage Number "number") english_format.kif 635-635
(termFormat JapaneseLanguage Number "数") english_format.kif 636-636

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


(domain RationalNumberFn 1 Number) Merge.kif 5206-5206
(domain RealNumberFn 1 Number) Merge.kif 5214-5214
(domain passengerCapacityMaxNumber 2 Number) Transportation.kif 3202-3202

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


(=>
    (equal
        (GreatestCommonDivisorFn @ROW) ?NUMBER)
    (=>
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Number)))
Merge.kif 5016-5021
(=>
    (equal
        (LeastCommonMultipleFn @ROW) ?NUMBER)
    (=>
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Number)))
Merge.kif 5095-5100


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners