Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  ]  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
-------------------------


(subclass FunctionQuantity PhysicalQuantity) Merge.kif 2135-2135 Function quantity is a subclass of physical quantity
(documentation FunctionQuantity EnglishLanguage "A FunctionQuantity is a PhysicalQuantity that is returned by a Function that maps from one or more instances of ConstantQuantity to another instance of ConstantQuantity. For example, the velocity of a particle would be represented by a FunctionQuantity relating values of time (which are instances of ConstantQuantity) to values of distance (also instances of ConstantQuantity). Note that all elements of the range of the Function corresponding to a FunctionQuantity have the same physical dimension as the FunctionQuantity itself.") Merge.kif 2137-2145 Function quantity is a subclass of physical quantity

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


(subclass UnaryConstantFunctionQuantity FunctionQuantity) Merge.kif 2147-2147 Unary constant function quantity is a subclass of function quantity
(subclass CompositeUnitOfMeasure FunctionQuantity) Merge.kif 6257-6257 Composite unit of measure is a subclass of function quantity
(subclass AreaMeasure FunctionQuantity) Merge.kif 6316-6316 Area measure is a subclass of function quantity
(subclass VolumeMeasure FunctionQuantity) Merge.kif 6327-6327 Volume measure is a subclass of function quantity
(range PerFn FunctionQuantity) Merge.kif 6682-6682 The range of per is an instance of function quantity
(range DensityFn FunctionQuantity) Merge.kif 6696-6696 The range of density is an instance of function quantity
(range SpeedFn FunctionQuantity) Merge.kif 6708-6708 The range of speed is an instance of function quantity
(range VelocityFn FunctionQuantity) Merge.kif 6721-6721 The range of velocity is an instance of function quantity
(range VickersHardnessFn FunctionQuantity) Mid-level-ontology.kif 10512-10512 The range of Vickers Hardness is an instance of function quantity
(range AccelerationFn FunctionQuantity) Cars.kif 1280-1280 The range of Acceleration fn is an instance of function quantity
(range RotationFn FunctionQuantity) Cars.kif 2088-2088 The range of rotation fn is an instance of function quantity
(instance MeterPerSecond FunctionQuantity) Transportation.kif 5146-5146 Meter per second is an instance of function quantity
(instance KiloMeterPerHour FunctionQuantity) Transportation.kif 5162-5162 Kilometer per hour is an instance of function quantity
(instance McgPerKg FunctionQuantity) WMD.kif 808-808 Micrograms per kilogram is an instance of function quantity
(instance MilesPerHour FunctionQuantity) Weather.kif 3023-3023 Miles per hour is an instance of function quantity
(range Mean3SecondWindSpeedFn FunctionQuantity) Weather.kif 3212-3212 The range of three second mean surface wind speed is an instance of function quantity
(range ThreeSecondGustSpeedFn FunctionQuantity) Weather.kif 3346-3346 The range of three second gust speed is an instance of function quantity
(range Mean10MinutesWindSpeedFn FunctionQuantity) Weather.kif 3531-3531 The range of ten minute mean surface wind speed is an instance of function quantity
(range Mean3MinutesWindSpeedFn FunctionQuantity) Weather.kif 3566-3566 The range of three minute mean surface wind speed is an instance of function quantity
(range Mean2MinutesWindSpeedFn FunctionQuantity) Weather.kif 3601-3601 The range of two minute mean surface wind speed is an instance of function quantity
(range Mean1MinuteWindSpeedFn FunctionQuantity) Weather.kif 3636-3636 The range of one minute mean surface wind speed is an instance of function quantity
(termFormat EnglishLanguage FunctionQuantity "function quantity") english_format.kif 966-966 The range of one minute mean surface wind speed is an instance of function quantity

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


(partition PhysicalQuantity ConstantQuantity FunctionQuantity) Merge.kif 2061-2061 Physical quantity is exhaustively partitioned into constant quantity and function quantity
(domain soundFrequency 2 FunctionQuantity) Mid-level-ontology.kif 774-774 The number 2 argument of sound frequency is an instance of function quantity
(domain voltageRatingPrimary 2 FunctionQuantity) Mid-level-ontology.kif 33972-33972 The number 2 argument of primary voltage rating is an instance of function quantity
(domain voltageRatingSecondary 2 FunctionQuantity) Mid-level-ontology.kif 34015-34015 The number 2 argument of seconary voltage rating is an instance of function quantity
(domain transformerCapacity 2 FunctionQuantity) Mid-level-ontology.kif 34064-34064 The number 2 argument of transformer capacity is an instance of function quantity
(domain AccelerationFn 1 FunctionQuantity) Cars.kif 1274-1274 The number 1 argument of Acceleration fn is an instance of function quantity
(domain engineIdleSpeed 2 FunctionQuantity) Cars.kif 2556-2556 The number 2 argument of engine idle speed is an instance of function quantity
(domain governorSpeed 2 FunctionQuantity) Cars.kif 2882-2882 The number 2 argument of governor speed is an instance of function quantity
(domain unitPrice 2 FunctionQuantity) Catalog.kif 398-398 The number 2 argument of unit price is an instance of function quantity
(domain rentalPrice 2 FunctionQuantity) Catalog.kif 455-455 The number 2 argument of rental price is an instance of function quantity
(domain contractedRentalPrice 2 FunctionQuantity) Catalog.kif 502-502 The number 2 argument of contracted rental price is an instance of function quantity
(domain yield 2 FunctionQuantity) FinancialOntology.kif 2299-2299 The number 2 argument of yield is an instance of function quantity
(domain bandwidth 2 FunctionQuantity) QoSontology.kif 1158-1158 The number 2 argument of bandwidth of is an instance of function quantity
(domain topSpeed 2 FunctionQuantity) Transportation.kif 1866-1866 The number 2 argument of top speed is an instance of function quantity
(domain speedOfSound 1 FunctionQuantity) Transportation.kif 5060-5060 The number 1 argument of speed of sound is an instance of function quantity
(domain effectiveDose 2 FunctionQuantity) WMD.kif 792-792 The number 2 argument of effective dose is an instance of function quantity
(domain lethalDose 2 FunctionQuantity) WMD.kif 839-839 The number 2 argument of lethal dose is an instance of function quantity
(domain precipitationRate 2 FunctionQuantity) Weather.kif 1897-1897 The number 2 argument of precipitation rate is an instance of function quantity
(domain speedScaleAttributeMinMax 2 FunctionQuantity) Weather.kif 3437-3437 The number 2 argument of speed scale attribute min max is an instance of function quantity
(domain speedScaleAttributeMinMax 3 FunctionQuantity) Weather.kif 3438-3438 The number 3 argument of speed scale attribute min max is an instance of function quantity
(domain rainfallIntensity 3 FunctionQuantity) Weather.kif 4139-4139 The number 3 argument of rainfall intensity is an instance of function quantity
(domain snowfallIntensity 3 FunctionQuantity) Weather.kif 4344-4344 The number 3 argument of snowfall intensity is an instance of function quantity

antecedent
-------------------------


(=>
    (and
        (resourceConsumption ?PROC ?QUANT)
        (instance ?QUANT FunctionQuantity)
        (resource ?PROC ?RES)
        (equal ?QUANT
            (PerFn
                (MeasureFn ?Q ?U)
                (MeasureFn ?DC ?DU)))
        (duration
            (WhenFn ?PROC)
            (MeasureFn ?T ?DU))
        (holdsDuring
            (BeginFn
                (WhenFn ?PROC))
            (measure ?RES
                (MeasureFn ?X ?U)))
        (holdsDuring
            (EndFn
                (WhenFn ?PROC))
            (measure ?RES
                (MeasureFn ?Y ?U))))
    (equal ?Y
        (MeasureFn
            (SubtractionFn ?X
                (MultiplicationFn ?T
                    (DivisionFn ?Q ?DC))) ?U)))		 Mid-level-ontology.kif 18928-18954 If All of the following hold: (1) X amount as resource for the Process Y (2) X is an instance of function quantity (3) Z is a resource for Y (4) equal X and the per of W V(s) and U T(s) (5) duration of the time of existence of Y is S T(s) (6) the measure of Z is R V(s) holds during the beginning of the time of existence of Y (7) the measure of Z is Q V(s) holds during the end of the time of existence of Y, then equal Q and (R and S and W and U) V(s)

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


(=>
    (and
        (instance ?QUANT
            (MeasureFn ?N ?UNIT))
        (instance ?UNIT CompositeUnitOfMeasure))
    (instance ?QUANT FunctionQuantity))		 Merge.kif 6274-6278 If X is an instance of Y Z(s) and Z is an instance of composite unit of measure, then X is an instance of function quantity
(=>
    (and
        (equal ?SPEEDLIST
            (Mean3SecondWindSpeedListFn ?PLACE ?TIME))
        (inList ?SPEED ?SPEEDLIST))
    (instance ?SPEED FunctionQuantity))		 Weather.kif 3309-3314 If equal X and Mean3SecondWindSpeedListFn ending at Y in region Z and W is a member of X, then W is an instance of function quantity


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