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。") 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 1734-1736
(partition Number RealNumber ImaginaryNumber ComplexNumber) Merge.kif 1732-1732
(subclass Number Quantity) Merge.kif 1731-1731

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


(subclass ComplexNumber Number) Merge.kif 1915-1915
(subclass ImaginaryNumber Number) Merge.kif 1806-1806
(subclass MultipoleVariable Number) engineering.kif 288-288
(subclass RealNumber Number) Merge.kif 1798-1798
(termFormat ChineseLanguage Number "数字") chinese_format.kif 858-858
(termFormat EnglishLanguage Number "number") english_format.kif 923-923

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


(domain RationalNumberFn 1 Number) Merge.kif 4712-4712
(domain RealNumberFn 1 Number) Merge.kif 4719-4719
(domain passengerCapacityMaxNumber 2 Number) Transportation.kif 3227-3227

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


(=>
    (equal
        (GreatestCommonDivisorFn @ROW) ?NUMBER)
    (=>
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Number)))
Merge.kif 4535-4540
(=>
    (equal
        (LeastCommonMultipleFn @ROW) ?NUMBER)
    (=>
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Number)))
Merge.kif 4608-4613


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