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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FunctionQuantity
FunctionQuantity(function quantity)BMR, Brinell_number, P.E., absolute_frequency, absorption_unit, acceleration, acoustic_power, acoustic_radiation_pressure, air_pressure, amplification, angular_acceleration, angular_momentum, arterial_pressure, atmospheric_pressure, bandwidth, barometric_pressure, basal_metabolic_rate, baud, baud_rate, blood_count, blood_pressure, brackishness, brininess, brunt, candlepower, capacitance, capacity, carat, centrifugal_force, centripetal_force, charge, compartment_pressure, compound_number, concentration_gradient, corpuscular-radiation_pressure, curvature, curvilinear_regression, deceleration, diastolic_pressure, dipole_moment, elastance, electric_charge, electric_dipole_moment, electrical_capacity, electrical_elastance, electromagnetic_unit, electrostatic_charge, emu, energy_unit, equivalent-binary-digit_factor...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1790-1796
No TPTP formula. May not be expressible in strict first order. Merge.kif 2014-2022
No TPTP formula. May not be expressible in strict first order. Merge.kif 2012-2012 Function quantity is a subclass of physical quantity

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 808-808 Micrograms per kilogram is an instance of function quantity
No TPTP formula. May not be expressible in strict first order. Weather.kif 1698-1698 Miles per hour is an instance of function quantity
No TPTP formula. May not be expressible in strict first order. Cars.kif 1294-1294 The range of AccelerationFn is an instance of function quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 6367-6367 The range of density is an instance of function quantity
No TPTP formula. May not be expressible in strict first order. Weather.kif 2213-2213 The range of ten minute mean surface wind speed is an instance of function quantity
No TPTP formula. May not be expressible in strict first order. Weather.kif 2318-2318 The range of one minute mean surface wind speed is an instance of function quantity
No TPTP formula. May not be expressible in strict first order. Weather.kif 2283-2283 The range of two minute mean surface wind speed is an instance of function quantity
No TPTP formula. May not be expressible in strict first order. Weather.kif 2248-2248 The range of three minute mean surface wind speed is an instance of function quantity
No TPTP formula. May not be expressible in strict first order. Weather.kif 1900-1900 The range of three second mean surface wind speed is an instance of function quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 6353-6353 The range of per is an instance of function quantity
No TPTP formula. May not be expressible in strict first order. Cars.kif 2119-2119 The range of RotationFn is an instance of function quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 6379-6379 The range of speed is an instance of function quantity
No TPTP formula. May not be expressible in strict first order. Weather.kif 2028-2028 The range of three second gust speed is an instance of function quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 6392-6392 The range of velocity is an instance of function quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 5969-5969 Area measure is a subclass of function quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 5910-5910 CompositeUnitOfMeasure is a subclass of function quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 2024-2024 Unary constant function quantity is a subclass of function quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 5980-5980 Volume measure is a subclass of function quantity
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 882-882
No TPTP formula. May not be expressible in strict first order. english_format.kif 971-971

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 1288-1288 The number 1 argument of AccelerationFn is an instance of function quantity
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1059-1059 The number 2 argument of bandwidth of is an instance of function quantity
No TPTP formula. May not be expressible in strict first order. Catalog.kif 493-493 The number 2 argument of contracted rental price is an instance of function quantity
No TPTP formula. May not be expressible in strict first order. WMD.kif 792-792 The number 2 argument of effective dose is an instance of function quantity
No TPTP formula. May not be expressible in strict first order. Cars.kif 2573-2573 The number 2 argument of engineIdleSpeed is an instance of function quantity
No TPTP formula. May not be expressible in strict first order. Cars.kif 2895-2895 The number 2 argument of governorSpeed is an instance of function quantity
No TPTP formula. May not be expressible in strict first order. WMD.kif 839-839 The number 2 argument of lethal dose is an instance of function quantity
No TPTP formula. May not be expressible in strict first order. Weather.kif 1204-1204 The number 2 argument of precipitation rate is an instance of function quantity
No TPTP formula. May not be expressible in strict first order. Weather.kif 2820-2820 The number 3 argument of rainfall intensity is an instance of function quantity
No TPTP formula. May not be expressible in strict first order. Catalog.kif 446-446 The number 2 argument of rental price is an instance of function quantity
No TPTP formula. May not be expressible in strict first order. Weather.kif 3025-3025 The number 3 argument of snowfall intensity is an instance of function quantity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 723-723 The number 2 argument of sound frequency is an instance of function quantity
No TPTP formula. May not be expressible in strict first order. Weather.kif 2119-2119 The number 2 argument of speed scale attribute min max is an instance of function quantity
No TPTP formula. May not be expressible in strict first order. Weather.kif 2120-2120 The number 3 argument of speed scale attribute min max is an instance of function quantity
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1719-1719 The number 2 argument of topSpeed is an instance of function quantity
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3054-3054 The number 3 argument of transitway capacity rate is an instance of function quantity
No TPTP formula. May not be expressible in strict first order. Catalog.kif 389-389 The number 2 argument of unitPrice is an instance of function quantity
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2231-2231 The number 2 argument of yield is an instance of function quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 1938-1938 Physical quantity is exhaustively partitioned into constant quantity and function quantity

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 1991-1996
No TPTP formula. May not be expressible in strict first order. Merge.kif 5927-5931


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 is open source software produced by Articulate Software and its partners