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 2010-2018
No TPTP formula. May not be expressible in strict first order. Merge.kif 2008-2008 Function quantity is a subclass of physical quantity

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 1281-1281 The range of AccelerationFn is an instance of function quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 6350-6350 The range of density is an instance of function quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 6336-6336 The range of per is an instance of function quantity
No TPTP formula. May not be expressible in strict first order. Cars.kif 2092-2092 The range of RotationFn is an instance of function quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 6362-6362 The range of speed is an instance of function quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 6375-6375 The range of velocity is an instance of function quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 5952-5952 Area measure is a subclass of function quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 5893-5893 CompositeUnitOfMeasure is a subclass of function quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 2020-2020 Unary constant function quantity is a subclass of function quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 5963-5963 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 1275-1275 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 482-482 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 2546-2546 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 2866-2866 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 809-809 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 822-822 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 1560-1560 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 438-438 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 1807-1807 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 965-965 The number 2 argument of sound frequency is an instance of function quantity
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1704-1704 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 3025-3025 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 383-383 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 2212-2212 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 1934-1934 Physical quantity is exhaustively partitioned into constant quantity and function quantity

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5910-5914


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