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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RationalNumber

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
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1741-1742
No TPTP formula. May not be expressible in strict first order. Merge.kif 1853-1854
No TPTP formula. May not be expressible in strict first order. Merge.kif 1851-1851 Rational number is a subclass of real number

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1833-1833 Real number is exhaustively partitioned into rational number and irrational number
No TPTP formula. May not be expressible in strict first order. Merge.kif 4959-4959 The range of rational number is an instance of rational number
No TPTP formula. May not be expressible in strict first order. Merge.kif 1894-1894 Integer is a subclass of rational number
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 861-861
No TPTP formula. May not be expressible in strict first order. english_format.kif 924-924

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 7486-7491


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