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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - RationalNumber
RationalNumber(rational number)I.Q., IQ, Mach_number, P/E_ratio, S/N, absentee_rate, abundance, accretion, adult_intelligence, albedo, aspect_ratio, bank_rate, batting_average, betting_odds, billionth, borderline_intelligence, breadth_index, case-fatality_proportion, case-to-infection_proportion, case-to-infection_ratio, cephalic_index, complex_fraction, compound_fraction, content, cranial_index, decimal, decimal_fraction, depreciation_rate, eccentricity, eighth, employee_turnover, exchange_rate, f_number, facial_index, factor_of_safety, fielding_average, fifth, fifth_part, focal_ratio, fourth, fourth_part, frequency, fuel_consumption_rate, gas_mileage, gasoline_mileage, golden_mean, golden_section, haematocrit, half, hematocrit...

appearance as argument number 1

(documentation RationalNumber ChineseLanguage "这是把两个 Integer 相除的商,它可以是任何一个的 RealNumber。") chinese_format.kif 1741-1742
(documentation RationalNumber EnglishLanguage "Any RealNumber that is the product of dividing two Integers.") Merge.kif 1831-1832
(subclass RationalNumber RealNumber) Merge.kif 1829-1829 Rational number is a subclass of real number

appearance as argument number 2

(partition RealNumber RationalNumber IrrationalNumber) Merge.kif 1811-1811 Real number is exhaustively partitioned into rational number and irrational number
(range RationalNumberFn RationalNumber) Merge.kif 4865-4865 The range of rational number is an instance of rational number
(subclass Integer RationalNumber) Merge.kif 1872-1872 Integer is a subclass of rational number
(termFormat ChineseLanguage RationalNumber "有理数") chinese_format.kif 861-861
(termFormat EnglishLanguage RationalNumber "rational number") english_format.kif 924-924

appearance as argument number 3

(domain contrastRatio 2 RationalNumber) ComputingBrands.kif 3689-3689 The number 2 argument of contrast ratio is an instance of rational number


        (inList ?E ?L)
        (equal ?L
            (AmountsFn ?S ?CO ?U)))
    (instance ?E RationalNumber))
Merge.kif 7347-7352

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