Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  CompositeUnitOfMeasure

 Sigma KEE - CompositeUnitOfMeasure
CompositeUnitOfMeasure(composite unit of measure)

appearance as argument number 1
-------------------------


(subclass CompositeUnitOfMeasure UnitOfMeasure) Merge.kif 6326-6326 Composite unit of measure is a subclass of unit of measure
(subclass CompositeUnitOfMeasure FunctionQuantity) Merge.kif 6327-6327 Composite unit of measure is a subclass of function quantity
(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 6329-6332 Composite unit of measure is a subclass of function quantity

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


(partition UnitOfMeasure CompositeUnitOfMeasure NonCompositeUnitOfMeasure) Merge.kif 6342-6342 Unit of measure is exhaustively partitioned into composite unit of measure and non composite unit of measure
(subclass UnitOfArea CompositeUnitOfMeasure) Merge.kif 6391-6391 Unit of area is a subclass of composite unit of measure
(subclass UnitOfVolume CompositeUnitOfMeasure) Merge.kif 6402-6402 Unit of volume is a subclass of composite unit of measure
(instance Ampere CompositeUnitOfMeasure) Merge.kif 6839-6839 Ampere is an instance of composite unit of measure
(instance Candela CompositeUnitOfMeasure) Merge.kif 6878-6878 Candela is an instance of composite unit of measure
(subclass UnitOfFrequency CompositeUnitOfMeasure) Merge.kif 6959-6959 Unit of frequency is a subclass of composite unit of measure
(instance Newton CompositeUnitOfMeasure) Merge.kif 6980-6980 Newton is an instance of composite unit of measure
(instance Pascal CompositeUnitOfMeasure) Merge.kif 6989-6989 Pascal is an instance of composite unit of measure
(instance Joule CompositeUnitOfMeasure) Merge.kif 6998-6998 Joule is an instance of composite unit of measure
(instance Watt CompositeUnitOfMeasure) Merge.kif 7008-7008 Watt is an instance of composite unit of measure
(instance Horsepower CompositeUnitOfMeasure) Merge.kif 7017-7017 Horsepower is an instance of composite unit of measure
(instance Coulomb CompositeUnitOfMeasure) Merge.kif 7031-7031 Coulomb is an instance of composite unit of measure
(instance Volt CompositeUnitOfMeasure) Merge.kif 7045-7045 Volt is an instance of composite unit of measure
(instance Farad CompositeUnitOfMeasure) Merge.kif 7056-7056 Farad is an instance of composite unit of measure
(instance Ohm CompositeUnitOfMeasure) Merge.kif 7067-7067 Ohm is an instance of composite unit of measure
(instance Siemens CompositeUnitOfMeasure) Merge.kif 7079-7079 Siemens is an instance of composite unit of measure
(instance Weber CompositeUnitOfMeasure) Merge.kif 7090-7090 Weber is an instance of composite unit of measure
(instance Tesla CompositeUnitOfMeasure) Merge.kif 7100-7100 Tesla is an instance of composite unit of measure
(instance Henry CompositeUnitOfMeasure) Merge.kif 7109-7109 Henry is an instance of composite unit of measure
(instance Lumen CompositeUnitOfMeasure) Merge.kif 7137-7137 Lumen is an instance of composite unit of measure
(instance Lux CompositeUnitOfMeasure) Merge.kif 7147-7147 Lux is an instance of composite unit of measure
(instance Becquerel CompositeUnitOfMeasure) Merge.kif 7159-7159 Becquerel is an instance of composite unit of measure
(instance Gray CompositeUnitOfMeasure) Merge.kif 7173-7173 Gray is an instance of composite unit of measure
(instance Sievert CompositeUnitOfMeasure) Merge.kif 7184-7184 Sievert is an instance of composite unit of measure

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (and
        (instance ?QUANT
            (MeasureFn ?N ?UNIT))
        (instance ?UNIT CompositeUnitOfMeasure))
    (instance ?QUANT FunctionQuantity))		 Merge.kif 6344-6348 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
        (instance ?FUNCTION UnitOfMeasureMultiplier)
        (instance ?UNIT CompositeUnitOfMeasure))
    (instance
        (?FUNCTION ?UNIT) CompositeUnitOfMeasure))		 Merge.kif 6574-6578 If X is an instance of unit of measure multiplier and Y is an instance of composite unit of measure, then X Y is an instance of composite unit of measure
(=>
    (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 15068-15077 If the minimum expected value of X is Y Z(s) and Z is an instance of composite unit of measure, then the statement there exist W and V such that W is an instance of X and the measure of W is V Z(s) and V is less than Y has the modal force of unlikely
(=>
    (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 15099-15108 If the maximum expected value of X is Y Z(s) and Z is an instance of composite unit of measure, then the statement there exist W and V such that W is an instance of X and the measure of W is V Z(s) and V is greater than Y 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 15129-15138 If the expected value of X is Y Z(s) and Z is an instance of composite unit of measure, then the statement there exist W and V such that W is an instance of X and the measure of W is V Z(s) and V is greater than Y 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 0.5)))) Unlikely))		 Mid-level-ontology.kif 15140-15149 If the expected value of X is Y Z(s) and Z is an instance of composite unit of measure, then the statement there exist W and V such that W is an instance of X and the measure of W is V Z(s) and V is less than Y and 0.5 has the modal force of unlikely
(=>
    (and
        (topSpeed ?V
            (MeasureFn ?Q ?CU))
        (instance ?CU CompositeUnitOfMeasure)
        (instance ?UL UnitOfLength)
        (instance ?UD UnitOfDuration)
        (equal ?FASTPROB
            (ProbabilityFn
                (measure ?V
                    (SpeedFn
                        (MeasureFn ?L1 ?UL)
                        (MeasureFn ?T1 ?UD)))))
        (equal ?SLOWPROB
            (ProbabilityFn
                (measure ?V
                    (SpeedFn
                        (MeasureFn ?L2 ?UL)
                        (MeasureFn ?T2 ?UD)))))
        (greaterThan
            (SpeedFn ?L1 ?T1) ?Q)
        (greaterThan ?Q
            (SpeedFn ?L2 ?T2)))
    (greaterThan ?SLOWPROB ?FASTPROB))		 Transportation.kif 1873-1891 If All of the following hold: (1) the top speed of X is Y Z(s) (2) Z is an instance of composite unit of measure (3) W is an instance of unit of length (4) V is an instance of unit of duration (5) equal U and the probability of the measure of X is T W(s) per S V(s) (6) equal R and the probability of the measure of X is Q W(s) per P V(s) (7) T per S is greater than Y (8) Y is greater than Q per P, then R is greater than U

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


(=>
    (and
        (instance ?FUNCTION UnitOfMeasureMultiplier)
        (instance ?UNIT CompositeUnitOfMeasure))
    (instance
        (?FUNCTION ?UNIT) CompositeUnitOfMeasure))		 Merge.kif 6574-6578 If X is an instance of unit of measure multiplier and Y is an instance of composite unit of measure, then X Y is an instance of composite unit of measure


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners