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 6114-6117
(subclass CompositeUnitOfMeasure FunctionQuantity) Merge.kif 6112-6112
(subclass CompositeUnitOfMeasure UnitOfMeasure) Merge.kif 6111-6111

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


(instance Ampere CompositeUnitOfMeasure) Merge.kif 6624-6624
(instance Becquerel CompositeUnitOfMeasure) Merge.kif 6944-6944
(instance BitsPerSecond CompositeUnitOfMeasure) QoSontology.kif 236-236
(instance BritishThermalUnit CompositeUnitOfMeasure) Merge.kif 7253-7253
(instance Calorie CompositeUnitOfMeasure) Merge.kif 7245-7245
(instance Candela CompositeUnitOfMeasure) Merge.kif 6663-6663
(instance Coulomb CompositeUnitOfMeasure) Merge.kif 6816-6816
(instance ElectronVolt CompositeUnitOfMeasure) Merge.kif 7059-7059
(instance Farad CompositeUnitOfMeasure) Merge.kif 6841-6841
(instance Gray CompositeUnitOfMeasure) Merge.kif 6958-6958
(instance Henry CompositeUnitOfMeasure) Merge.kif 6894-6894
(instance Horsepower CompositeUnitOfMeasure) Merge.kif 6802-6802
(instance InstructionsPerSecond CompositeUnitOfMeasure) QoSontology.kif 252-252
(instance Joule CompositeUnitOfMeasure) Merge.kif 6783-6783
(instance KilowattHour CompositeUnitOfMeasure) Economy.kif 2011-2011
(instance KnotUnitOfSpeed CompositeUnitOfMeasure) Geography.kif 3846-3846
(instance Lumen CompositeUnitOfMeasure) Merge.kif 6922-6922
(instance Lux CompositeUnitOfMeasure) Merge.kif 6932-6932
(instance McgPerKg CompositeUnitOfMeasure) WMD.kif 812-812
(instance MilesPerHour CompositeUnitOfMeasure) Weather.kif 1699-1699
(instance Newton CompositeUnitOfMeasure) Merge.kif 6765-6765
(instance Ohm CompositeUnitOfMeasure) Merge.kif 6852-6852
(instance PacketsPerSecond CompositeUnitOfMeasure) QoSontology.kif 244-244
(instance Pascal CompositeUnitOfMeasure) Merge.kif 6774-6774
(instance PoundForce CompositeUnitOfMeasure) Merge.kif 7233-7233

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 13002-13011
(=>
    (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 13032-13041
(=>
    (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 13043-13052
(=>
    (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 12971-12980
(=>
    (and
        (instance ?FUNCTION UnitOfMeasureMultiplier)
        (instance ?UNIT CompositeUnitOfMeasure))
    (instance
        (?FUNCTION ?UNIT) CompositeUnitOfMeasure))
Merge.kif 6359-6363
(=>
    (and
        (instance ?QUANT
            (MeasureFn ?N ?UNIT))
        (instance ?UNIT CompositeUnitOfMeasure))
    (instance ?QUANT FunctionQuantity))
Merge.kif 6129-6133
(=>
    (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 1726-1744

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


(=>
    (and
        (instance ?FUNCTION UnitOfMeasureMultiplier)
        (instance ?UNIT CompositeUnitOfMeasure))
    (instance
        (?FUNCTION ?UNIT) CompositeUnitOfMeasure))
Merge.kif 6359-6363


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