Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  CompositeUnitOfMeasure

Sigma KEE - CompositeUnitOfMeasure
CompositeUnitOfMeasure

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


(documentation CompositeUnitOfMeasure ChineseLanguage "这是由其他单位的复合函数所决定的 UnitsOfMeasure Class 的实例,当中的每一个可以是一个 CompositeUnitOfMeasure 或是一个 NonCompositeUnitOfMeasure。") chinese_format.kif 2397-2399
(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 6122-6125
(subclass CompositeUnitOfMeasure FunctionQuantity) Merge.kif 6120-6120 CompositeUnitOfMeasure is a subclass of function quantity
(subclass CompositeUnitOfMeasure UnitOfMeasure) Merge.kif 6119-6119 CompositeUnitOfMeasure is a subclass of unit of measure

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


(instance Ampere CompositeUnitOfMeasure) Merge.kif 6632-6632 Ampere is an instance of CompositeUnitOfMeasure
(instance Becquerel CompositeUnitOfMeasure) Merge.kif 6952-6952 Becquerel is an instance of CompositeUnitOfMeasure
(instance BitsPerSecond CompositeUnitOfMeasure) QoSontology.kif 236-236 Bits per second is an instance of CompositeUnitOfMeasure
(instance BritishThermalUnit CompositeUnitOfMeasure) Merge.kif 7261-7261 British thermal unit is an instance of CompositeUnitOfMeasure
(instance Calorie CompositeUnitOfMeasure) Merge.kif 7253-7253 Calorie is an instance of CompositeUnitOfMeasure
(instance Candela CompositeUnitOfMeasure) Merge.kif 6671-6671 Candela is an instance of CompositeUnitOfMeasure
(instance Coulomb CompositeUnitOfMeasure) Merge.kif 6824-6824 Coulomb is an instance of CompositeUnitOfMeasure
(instance ElectronVolt CompositeUnitOfMeasure) Merge.kif 7067-7067 Electron volt is an instance of CompositeUnitOfMeasure
(instance Farad CompositeUnitOfMeasure) Merge.kif 6849-6849 Farad is an instance of CompositeUnitOfMeasure
(instance Gray CompositeUnitOfMeasure) Merge.kif 6966-6966 Gray is an instance of CompositeUnitOfMeasure
(instance Henry CompositeUnitOfMeasure) Merge.kif 6902-6902 Henry is an instance of CompositeUnitOfMeasure
(instance Horsepower CompositeUnitOfMeasure) Merge.kif 6810-6810 Horsepower is an instance of CompositeUnitOfMeasure
(instance InstructionsPerSecond CompositeUnitOfMeasure) QoSontology.kif 252-252 InstructionsPerSecond is an instance of CompositeUnitOfMeasure
(instance Joule CompositeUnitOfMeasure) Merge.kif 6791-6791 Joule is an instance of CompositeUnitOfMeasure
(instance KilowattHour CompositeUnitOfMeasure) Economy.kif 2011-2011 Kilowatt hour is an instance of CompositeUnitOfMeasure
(instance KnotUnitOfSpeed CompositeUnitOfMeasure) Geography.kif 3846-3846 Knot unit of speed is an instance of CompositeUnitOfMeasure
(instance Lumen CompositeUnitOfMeasure) Merge.kif 6930-6930 Lumen is an instance of CompositeUnitOfMeasure
(instance Lux CompositeUnitOfMeasure) Merge.kif 6940-6940 Lux is an instance of CompositeUnitOfMeasure
(instance McgPerKg CompositeUnitOfMeasure) WMD.kif 812-812 Micrograms per kilogram is an instance of CompositeUnitOfMeasure
(instance MilesPerHour CompositeUnitOfMeasure) Weather.kif 1699-1699 Miles per hour is an instance of CompositeUnitOfMeasure
(instance Newton CompositeUnitOfMeasure) Merge.kif 6773-6773 Newton is an instance of CompositeUnitOfMeasure
(instance Ohm CompositeUnitOfMeasure) Merge.kif 6860-6860 Ohm is an instance of CompositeUnitOfMeasure
(instance PacketsPerSecond CompositeUnitOfMeasure) QoSontology.kif 244-244 Packets per second is an instance of CompositeUnitOfMeasure
(instance Pascal CompositeUnitOfMeasure) Merge.kif 6782-6782 Pascal is an instance of CompositeUnitOfMeasure
(instance PoundForce CompositeUnitOfMeasure) Merge.kif 7241-7241 Pound force is an instance of CompositeUnitOfMeasure

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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 13055-13064
(=>
    (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 13085-13094
(=>
    (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 13096-13105
(=>
    (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 13024-13033
(=>
    (and
        (instance ?FUNCTION UnitOfMeasureMultiplier)
        (instance ?UNIT CompositeUnitOfMeasure))
    (instance
        (?FUNCTION ?UNIT) CompositeUnitOfMeasure))
Merge.kif 6367-6371
(=>
    (and
        (instance ?QUANT
            (MeasureFn ?N ?UNIT))
        (instance ?UNIT CompositeUnitOfMeasure))
    (instance ?QUANT FunctionQuantity))
Merge.kif 6137-6141
(=>
    (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 1718-1736

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


(=>
    (and
        (instance ?FUNCTION UnitOfMeasureMultiplier)
        (instance ?UNIT CompositeUnitOfMeasure))
    (instance
        (?FUNCTION ?UNIT) CompositeUnitOfMeasure))
Merge.kif 6367-6371


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 is open source software produced by Articulate Software and its partners