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。") 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
(subclass CompositeUnitOfMeasure UnitOfMeasure) Merge.kif 6344-6344

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


(instance Ampere CompositeUnitOfMeasure) Merge.kif 6937-6937
(instance Becquerel CompositeUnitOfMeasure) Merge.kif 7301-7301
(instance BitsPerSecond CompositeUnitOfMeasure) QoSontology.kif 233-233
(instance BritishThermalUnit CompositeUnitOfMeasure) Merge.kif 7629-7629
(instance Calorie CompositeUnitOfMeasure) Merge.kif 7621-7621
(instance Candela CompositeUnitOfMeasure) Merge.kif 6984-6984
(instance Coulomb CompositeUnitOfMeasure) Merge.kif 7156-7156
(instance ElectronVolt CompositeUnitOfMeasure) Merge.kif 7421-7421
(instance Farad CompositeUnitOfMeasure) Merge.kif 7184-7184
(instance Gray CompositeUnitOfMeasure) Merge.kif 7317-7317
(instance Henry CompositeUnitOfMeasure) Merge.kif 7245-7245
(instance Horsepower CompositeUnitOfMeasure) Merge.kif 7141-7141
(instance InstructionsPerSecond CompositeUnitOfMeasure) QoSontology.kif 249-249
(instance Joule CompositeUnitOfMeasure) Merge.kif 7119-7119
(instance KilowattHour CompositeUnitOfMeasure) Economy.kif 2004-2004
(instance KnotUnitOfSpeed CompositeUnitOfMeasure) Geography.kif 3713-3713
(instance Lumen CompositeUnitOfMeasure) Merge.kif 7276-7276
(instance Lux CompositeUnitOfMeasure) Merge.kif 7287-7287
(instance Newton CompositeUnitOfMeasure) Merge.kif 7099-7099
(instance Ohm CompositeUnitOfMeasure) Merge.kif 7196-7196
(instance PacketsPerSecond CompositeUnitOfMeasure) QoSontology.kif 241-241
(instance Pascal CompositeUnitOfMeasure) Merge.kif 7109-7109
(instance PoundForce CompositeUnitOfMeasure) Merge.kif 7607-7607
(instance Rad CompositeUnitOfMeasure) MilitaryProcesses.kif 843-843
(instance RevolutionsPerMinute CompositeUnitOfMeasure) Cars.kif 2080-2080

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 11131-11140
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (and
        (instance ?FUNCTION UnitOfMeasureMultiplier)
        (instance ?UNIT CompositeUnitOfMeasure))
    (instance
        (?FUNCTION ?UNIT) CompositeUnitOfMeasure))
Merge.kif 6615-6619
(=>
    (and
        (instance ?QUANT
            (MeasureFn ?N ?UNIT))
        (instance ?UNIT CompositeUnitOfMeasure))
    (instance ?QUANT FunctionQuantity))
Merge.kif 6364-6368

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


(=>
    (and
        (instance ?FUNCTION UnitOfMeasureMultiplier)
        (instance ?UNIT CompositeUnitOfMeasure))
    (instance
        (?FUNCTION ?UNIT) CompositeUnitOfMeasure))
Merge.kif 6615-6619


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