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 2096-2104
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 406-411
No TPTP formula. May not be expressible in strict first order. Merge.kif 2094-2094 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 1681-1681 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 Acceleration fn is an instance of function quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 6634-6634 The range of density is an instance of function quantity
No TPTP formula. May not be expressible in strict first order. Weather.kif 2202-2202 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 2307-2307 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 2272-2272 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 2237-2237 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 1883-1883 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 6620-6620 The range of per is an instance of function quantity
No TPTP formula. May not be expressible in strict first order. Cars.kif 2089-2089 The range of rotation fn is an instance of function quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 6646-6646 The range of speed is an instance of function quantity
No TPTP formula. May not be expressible in strict first order. Weather.kif 2017-2017 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 6659-6659 The range of velocity is an instance of function quantity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9965-9965 The range of Vickers Hardness is an instance of function quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 6254-6254 Area measure is a subclass of function quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 6195-6195 Composite unit of measure is a subclass of function quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 2106-2106 Unary constant function quantity is a subclass of function quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 6265-6265 Volume measure is a subclass of function quantity
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 882-882 Volume measure is a subclass of function quantity
No TPTP formula. May not be expressible in strict first order. english_format.kif 966-966 Volume measure is a subclass of function quantity
No TPTP formula. May not be expressible in strict first order. french_format.kif 558-558 Volume measure is a subclass of function quantity
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 88-88 Volume measure is a subclass of function quantity
No TPTP formula. May not be expressible in strict first order. terms-it.txt 91-91 Volume measure is a subclass of function quantity

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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 Acceleration fn is an instance of function quantity
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1160-1160 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 502-502 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 2543-2543 The number 2 argument of engine idle speed is an instance of function quantity
No TPTP formula. May not be expressible in strict first order. Cars.kif 2865-2865 The number 2 argument of governor speed 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 1188-1188 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 2809-2809 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 455-455 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 3014-3014 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 771-771 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 2108-2108 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 2109-2109 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 1851-1851 The number 2 argument of top speed is an instance of function quantity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 32290-32290 The number 2 argument of transformer capacity is an instance of function quantity
No TPTP formula. May not be expressible in strict first order. Catalog.kif 398-398 The number 2 argument of unit price is an instance of function quantity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 32198-32198 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 32241-32241 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 2296-2296 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 2020-2020 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 1980-1985
No TPTP formula. May not be expressible in strict first order. Merge.kif 6212-6216


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