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。") 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 CompositeUnitOfMeasure is a subclass of function quantity
(subclass CompositeUnitOfMeasure UnitOfMeasure) Merge.kif 6111-6111 CompositeUnitOfMeasure is a subclass of unit of measure

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


(instance Ampere CompositeUnitOfMeasure) Merge.kif 6624-6624 Ampere is an instance of CompositeUnitOfMeasure
(instance Becquerel CompositeUnitOfMeasure) Merge.kif 6944-6944 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 7253-7253 British thermal unit is an instance of CompositeUnitOfMeasure
(instance Calorie CompositeUnitOfMeasure) Merge.kif 7245-7245 Calorie is an instance of CompositeUnitOfMeasure
(instance Candela CompositeUnitOfMeasure) Merge.kif 6663-6663 Candela is an instance of CompositeUnitOfMeasure
(instance Coulomb CompositeUnitOfMeasure) Merge.kif 6816-6816 Coulomb is an instance of CompositeUnitOfMeasure
(instance ElectronVolt CompositeUnitOfMeasure) Merge.kif 7059-7059 Electron volt is an instance of CompositeUnitOfMeasure
(instance Farad CompositeUnitOfMeasure) Merge.kif 6841-6841 Farad is an instance of CompositeUnitOfMeasure
(instance Gray CompositeUnitOfMeasure) Merge.kif 6958-6958 Gray is an instance of CompositeUnitOfMeasure
(instance Henry CompositeUnitOfMeasure) Merge.kif 6894-6894 Henry is an instance of CompositeUnitOfMeasure
(instance Horsepower CompositeUnitOfMeasure) Merge.kif 6802-6802 Horsepower is an instance of CompositeUnitOfMeasure
(instance InstructionsPerSecond CompositeUnitOfMeasure) QoSontology.kif 252-252 InstructionsPerSecond is an instance of CompositeUnitOfMeasure
(instance Joule CompositeUnitOfMeasure) Merge.kif 6783-6783 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 6922-6922 Lumen is an instance of CompositeUnitOfMeasure
(instance Lux CompositeUnitOfMeasure) Merge.kif 6932-6932 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 6765-6765 Newton is an instance of CompositeUnitOfMeasure
(instance Ohm CompositeUnitOfMeasure) Merge.kif 6852-6852 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 6774-6774 Pascal is an instance of CompositeUnitOfMeasure
(instance PoundForce CompositeUnitOfMeasure) Merge.kif 7233-7233 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 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 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 3.0 is open source software produced by Articulate Software and its partners