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 2048-2056
No TPTP formula. May not be expressible in strict first order. Merge.kif 2046-2046 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 813-813 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 1280-1280 The range of AccelerationFn is an instance of function quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 6557-6557 The range of density is an instance of function quantity
No TPTP formula. May not be expressible in strict first order. Weather.kif 2219-2219 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 2324-2324 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 2289-2289 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 2254-2254 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 6543-6543 The range of per is an instance of function quantity
No TPTP formula. May not be expressible in strict first order. Cars.kif 2105-2105 The range of RotationFn is an instance of function quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 6569-6569 The range of speed is an instance of function quantity
No TPTP formula. May not be expressible in strict first order. Weather.kif 2034-2034 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 6582-6582 The range of velocity is an instance of function quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 6177-6177 Area measure is a subclass of function quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 6118-6118 CompositeUnitOfMeasure is a subclass of function quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 2058-2058 Unary constant function quantity is a subclass of function quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 6188-6188 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 966-966

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 1274-1274 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 497-497 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 797-797 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 2559-2559 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 2881-2881 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 844-844 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 1203-1203 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 2826-2826 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 450-450 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 3031-3031 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 743-743 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 2125-2125 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 2126-2126 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. Mid-level-ontology.kif 30729-30729 The number 2 argument of transformer capacity 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 393-393 The number 2 argument of unitPrice is an instance of function quantity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30639-30639 The number 2 argument of primary voltage rating is an instance of function quantity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30682-30682 The number 2 argument of seconary voltage rating is an instance of function quantity
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2290-2290 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 1972-1972 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 1997-2002
No TPTP formula. May not be expressible in strict first order. Merge.kif 6135-6139


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