CompositeUnitOfMeasure - Sigma Knowledge base Browser

antecedent

(=> (and (defaultMaximumMeasure ?OBJECT (MeasureFn ?Q ?UNIT)) (instance ?UNIT CompositeUnitOfMeasure)) (modalAttribute (exists (?INST ?QUANTITY) (and (instance ?INST ?OBJECT) (measure ?INST (MeasureFn ?QUANTITY ?UNIT)) (greaterThan ?QUANTITY ?Q))) Unlikely))	Mid-level-ontology.kif 11131-11140	If the maximum expected value of a kind of object is a real number an unit of measure(s) and the unit of measure is an instance of CompositeUnitOfMeasure, then the statement there exist an entity and the real numberUANTITY such that the entity is an instance of a kind of object and the measure of the entity is the real numberUANTITY the unit of measure(s) and the real numberUANTITY is greater than the real number has the modal force of unlikely
(=> (and (defaultMeasure ?OBJECT (MeasureFn ?Q ?UNIT)) (instance ?UNIT CompositeUnitOfMeasure)) (modalAttribute (exists (?INST ?QUANTITY) (and (instance ?INST ?OBJECT) (measure ?INST (MeasureFn ?QUANTITY ?UNIT)) (greaterThan ?QUANTITY (MultiplicationFn ?Q 1.5)))) Unlikely))	Mid-level-ontology.kif 11160-11169	If the expected value of a kind of object is a real number an unit of measure(s) and the unit of measure is an instance of CompositeUnitOfMeasure, then the statement there exist an entity and the real numberUANTITY such that the entity is an instance of a kind of object and the measure of the entity is the real numberUANTITY the unit of measure(s) and the real numberUANTITY is greater than the real number and 1.5 has the modal force of unlikely
(=> (and (defaultMeasure ?OBJECT (MeasureFn ?Q ?UNIT)) (instance ?UNIT CompositeUnitOfMeasure)) (modalAttribute (exists (?INST ?QUANTITY) (and (instance ?INST ?OBJECT) (measure ?INST (MeasureFn ?QUANTITY ?UNIT)) (lessThan ?QUANTITY (MultiplicationFn ?Q .5)))) Unlikely))	Mid-level-ontology.kif 11171-11180	If the expected value of a kind of object is a real number an unit of measure(s) and the unit of measure is an instance of CompositeUnitOfMeasure, then the statement there exist an entity and the real numberUANTITY such that the entity is an instance of a kind of object and the measure of the entity is the real numberUANTITY the unit of measure(s) and the real numberUANTITY is less than the real number and .5 has the modal force of unlikely
(=> (and (defaultMinimumMeasure ?OBJECT (MeasureFn ?Q ?UNIT)) (instance ?UNIT CompositeUnitOfMeasure)) (modalAttribute (exists (?INST ?QUANTITY) (and (instance ?INST ?OBJECT) (measure ?INST (MeasureFn ?QUANTITY ?UNIT)) (lessThan ?QUANTITY ?Q))) Unlikely))	Mid-level-ontology.kif 11102-11111	If the minimum expected value of a kind of object is a real number an unit of measure(s) and the unit of measure is an instance of CompositeUnitOfMeasure, then the statement there exist an entity and the real numberUANTITY such that the entity is an instance of a kind of object and the measure of the entity is the real numberUANTITY the unit of measure(s) and the real numberUANTITY is less than the real number has the modal force of unlikely
(=> (and (instance ?FUNCTION UnitOfMeasureMultiplier) (instance ?UNIT CompositeUnitOfMeasure)) (instance (?FUNCTION ?UNIT) CompositeUnitOfMeasure))	Merge.kif 6615-6619	If an entity is an instance of UnitOfMeasureMultiplier and another entity is an instance of CompositeUnitOfMeasure, then the entity the other entity is an instance of CompositeUnitOfMeasure
(=> (and (instance ?QUANT (MeasureFn ?N ?UNIT)) (instance ?UNIT CompositeUnitOfMeasure)) (instance ?QUANT FunctionQuantity))	Merge.kif 6364-6368	If an entity is an instance of a real number an unit of measure(s) and the unit of measure is an instance of CompositeUnitOfMeasure, then the entity is an instance of function quantity

consequent

(=>
    (and
        (instance ?FUNCTION UnitOfMeasureMultiplier)
        (instance ?UNIT CompositeUnitOfMeasure))
    (instance
        (?FUNCTION ?UNIT) CompositeUnitOfMeasure))

Merge.kif 6615-6619

If an entity is an instance of UnitOfMeasureMultiplier and another entity is an instance of CompositeUnitOfMeasure,
then the entity the other entity is an instance of CompositeUnitOfMeasure

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

(documentation CompositeUnitOfMeasure ChineseLanguage "这是由其他单位的复合函数所决定的 UnitsOfMeasure Class 的实例，当中的每一个可以是一个 CompositeUnitOfMeasure 或是一个 NonCompositeUnitOfMeasure。")	Merge.kif 6350-6351
(documentation CompositeUnitOfMeasure EnglishLanguage "Instances of this Class are UnitsOfMeasure defined by the functional composition of other units, each of which might be a CompositeUnitOfMeasure or a NonCompositeUnitOfMeasure.")	Merge.kif 6346-6349
(subclass CompositeUnitOfMeasure FunctionQuantity)	Merge.kif 6345-6345	CompositeUnitOfMeasure is a subclass of function quantity
(subclass CompositeUnitOfMeasure UnitOfMeasure)	Merge.kif 6344-6344	CompositeUnitOfMeasure is a subclass of unit of measure

(instance Ampere CompositeUnitOfMeasure)	Merge.kif 6937-6937	Ampere is an instance of CompositeUnitOfMeasure
(instance Becquerel CompositeUnitOfMeasure)	Merge.kif 7301-7301	Becquerel is an instance of CompositeUnitOfMeasure
(instance BitsPerSecond CompositeUnitOfMeasure)	QoSontology.kif 233-233	Bits per second is an instance of CompositeUnitOfMeasure
(instance BritishThermalUnit CompositeUnitOfMeasure)	Merge.kif 7629-7629	British thermal unit is an instance of CompositeUnitOfMeasure
(instance Calorie CompositeUnitOfMeasure)	Merge.kif 7621-7621	Calorie is an instance of CompositeUnitOfMeasure
(instance Candela CompositeUnitOfMeasure)	Merge.kif 6984-6984	Candela is an instance of CompositeUnitOfMeasure
(instance Coulomb CompositeUnitOfMeasure)	Merge.kif 7156-7156	Coulomb is an instance of CompositeUnitOfMeasure
(instance ElectronVolt CompositeUnitOfMeasure)	Merge.kif 7421-7421	Electron volt is an instance of CompositeUnitOfMeasure
(instance Farad CompositeUnitOfMeasure)	Merge.kif 7184-7184	Farad is an instance of CompositeUnitOfMeasure
(instance Gray CompositeUnitOfMeasure)	Merge.kif 7317-7317	Gray is an instance of CompositeUnitOfMeasure
(instance Henry CompositeUnitOfMeasure)	Merge.kif 7245-7245	Henry is an instance of CompositeUnitOfMeasure
(instance Horsepower CompositeUnitOfMeasure)	Merge.kif 7141-7141	Horsepower is an instance of CompositeUnitOfMeasure
(instance InstructionsPerSecond CompositeUnitOfMeasure)	QoSontology.kif 249-249	InstructionsPerSecond is an instance of CompositeUnitOfMeasure
(instance Joule CompositeUnitOfMeasure)	Merge.kif 7119-7119	Joule is an instance of CompositeUnitOfMeasure
(instance KilowattHour CompositeUnitOfMeasure)	Economy.kif 2004-2004	Kilowatt hour is an instance of CompositeUnitOfMeasure
(instance KnotUnitOfSpeed CompositeUnitOfMeasure)	Geography.kif 3713-3713	Knot unit of speed is an instance of CompositeUnitOfMeasure
(instance Lumen CompositeUnitOfMeasure)	Merge.kif 7276-7276	Lumen is an instance of CompositeUnitOfMeasure
(instance Lux CompositeUnitOfMeasure)	Merge.kif 7287-7287	Lux is an instance of CompositeUnitOfMeasure
(instance Newton CompositeUnitOfMeasure)	Merge.kif 7099-7099	Newton is an instance of CompositeUnitOfMeasure
(instance Ohm CompositeUnitOfMeasure)	Merge.kif 7196-7196	Ohm is an instance of CompositeUnitOfMeasure
(instance PacketsPerSecond CompositeUnitOfMeasure)	QoSontology.kif 241-241	Packets per second is an instance of CompositeUnitOfMeasure
(instance Pascal CompositeUnitOfMeasure)	Merge.kif 7109-7109	Pascal is an instance of CompositeUnitOfMeasure
(instance PoundForce CompositeUnitOfMeasure)	Merge.kif 7607-7607	Pound force is an instance of CompositeUnitOfMeasure
(instance Rad CompositeUnitOfMeasure)	MilitaryProcesses.kif 843-843	Rad is an instance of CompositeUnitOfMeasure
(instance RevolutionsPerMinute CompositeUnitOfMeasure)	Cars.kif 2080-2080	Revolutions per minute is an instance of CompositeUnitOfMeasure

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

KB Term:			Term intersection

English Word: