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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CompositeUnitOfMeasure
CompositeUnitOfMeasure

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


(documentation CompositeUnitOfMeasure ChineseLanguage "这是由其他单位的复合函数所决定的 UnitsOfMeasure Class 的实例,当中的每一个可以是一个 CompositeUnitOfMeasure 或是一个 NonCompositeUnitOfMeasure。") Merge.kif 6337-6338
(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 6333-6336
(subclass CompositeUnitOfMeasure FunctionQuantity) Merge.kif 6332-6332
(subclass CompositeUnitOfMeasure UnitOfMeasure) Merge.kif 6331-6331

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


(instance Ampere CompositeUnitOfMeasure) Merge.kif 6924-6924
(instance Becquerel CompositeUnitOfMeasure) Merge.kif 7288-7288
(instance BitsPerSecond CompositeUnitOfMeasure) QoSontology.kif 233-233
(instance BritishThermalUnit CompositeUnitOfMeasure) Merge.kif 7616-7616
(instance Calorie CompositeUnitOfMeasure) Merge.kif 7608-7608
(instance Candela CompositeUnitOfMeasure) Merge.kif 6971-6971
(instance Coulomb CompositeUnitOfMeasure) Merge.kif 7143-7143
(instance ElectronVolt CompositeUnitOfMeasure) Merge.kif 7408-7408
(instance Farad CompositeUnitOfMeasure) Merge.kif 7171-7171
(instance Gray CompositeUnitOfMeasure) Merge.kif 7304-7304
(instance Henry CompositeUnitOfMeasure) Merge.kif 7232-7232
(instance Horsepower CompositeUnitOfMeasure) Merge.kif 7128-7128
(instance InstructionsPerSecond CompositeUnitOfMeasure) QoSontology.kif 249-249
(instance Joule CompositeUnitOfMeasure) Merge.kif 7106-7106
(instance KilowattHour CompositeUnitOfMeasure) Economy.kif 2004-2004
(instance KnotUnitOfSpeed CompositeUnitOfMeasure) Geography.kif 3713-3713
(instance Lumen CompositeUnitOfMeasure) Merge.kif 7263-7263
(instance Lux CompositeUnitOfMeasure) Merge.kif 7274-7274
(instance Newton CompositeUnitOfMeasure) Merge.kif 7086-7086
(instance Ohm CompositeUnitOfMeasure) Merge.kif 7183-7183
(instance PacketsPerSecond CompositeUnitOfMeasure) QoSontology.kif 241-241
(instance Pascal CompositeUnitOfMeasure) Merge.kif 7096-7096
(instance PoundForce CompositeUnitOfMeasure) Merge.kif 7594-7594
(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 6602-6606
(=>
    (and
        (instance ?QUANT
            (MeasureFn ?N ?UNIT))
        (instance ?UNIT CompositeUnitOfMeasure))
    (instance ?QUANT FunctionQuantity))
Merge.kif 6351-6355

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


(=>
    (and
        (instance ?FUNCTION UnitOfMeasureMultiplier)
        (instance ?UNIT CompositeUnitOfMeasure))
    (instance
        (?FUNCTION ?UNIT) CompositeUnitOfMeasure))
Merge.kif 6602-6606


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