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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CompositeUnitOfMeasure
CompositeUnitOfMeasure(composite unit of measure)

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 6141-6144
(subclass CompositeUnitOfMeasure FunctionQuantity) Merge.kif 6139-6139 Composite unit of measure is a subclass of function quantity
(subclass CompositeUnitOfMeasure UnitOfMeasure) Merge.kif 6138-6138 Composite unit of measure is a subclass of unit of measure

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


(instance Ampere CompositeUnitOfMeasure) Merge.kif 6651-6651 Ampere is an instance of composite unit of measure
(instance Becquerel CompositeUnitOfMeasure) Merge.kif 6971-6971 Becquerel is an instance of composite unit of measure
(instance BitsPerSecond CompositeUnitOfMeasure) QoSontology.kif 238-238 Bits per second is an instance of composite unit of measure
(instance BritishThermalUnit CompositeUnitOfMeasure) Merge.kif 7280-7280 British thermal unit is an instance of composite unit of measure
(instance Calorie CompositeUnitOfMeasure) Merge.kif 7272-7272 Calorie is an instance of composite unit of measure
(instance Candela CompositeUnitOfMeasure) Merge.kif 6690-6690 Candela is an instance of composite unit of measure
(instance Coulomb CompositeUnitOfMeasure) Merge.kif 6843-6843 Coulomb is an instance of composite unit of measure
(instance ElectronVolt CompositeUnitOfMeasure) Merge.kif 7086-7086 Electron volt is an instance of composite unit of measure
(instance Farad CompositeUnitOfMeasure) Merge.kif 6868-6868 Farad is an instance of composite unit of measure
(instance Gray CompositeUnitOfMeasure) Merge.kif 6985-6985 Gray is an instance of composite unit of measure
(instance Henry CompositeUnitOfMeasure) Merge.kif 6921-6921 Henry is an instance of composite unit of measure
(instance Horsepower CompositeUnitOfMeasure) Merge.kif 6829-6829 Horsepower is an instance of composite unit of measure
(instance InstructionsPerSecond CompositeUnitOfMeasure) QoSontology.kif 254-254 Instructions per second is an instance of composite unit of measure
(instance Joule CompositeUnitOfMeasure) Merge.kif 6810-6810 Joule is an instance of composite unit of measure
(instance KilowattHour CompositeUnitOfMeasure) Economy.kif 2011-2011 Kilowatt hour is an instance of composite unit of measure
(instance KnotUnitOfSpeed CompositeUnitOfMeasure) Geography.kif 3856-3856 Knot unit of speed is an instance of composite unit of measure
(instance Lumen CompositeUnitOfMeasure) Merge.kif 6949-6949 Lumen is an instance of composite unit of measure
(instance Lux CompositeUnitOfMeasure) Merge.kif 6959-6959 Lux is an instance of composite unit of measure
(instance McgPerKg CompositeUnitOfMeasure) WMD.kif 812-812 Micrograms per kilogram is an instance of composite unit of measure
(instance MilesPerHour CompositeUnitOfMeasure) Weather.kif 1700-1700 Miles per hour is an instance of composite unit of measure
(instance Newton CompositeUnitOfMeasure) Merge.kif 6792-6792 Newton is an instance of composite unit of measure
(instance Ohm CompositeUnitOfMeasure) Merge.kif 6879-6879 Ohm is an instance of composite unit of measure
(instance PacketsPerSecond CompositeUnitOfMeasure) QoSontology.kif 246-246 Packets per second is an instance of composite unit of measure
(instance Pascal CompositeUnitOfMeasure) Merge.kif 6801-6801 Pascal is an instance of composite unit of measure
(instance PoundForce CompositeUnitOfMeasure) Merge.kif 7260-7260 Pound force is an instance of composite unit of measure

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 13396-13405
(=>
    (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 13426-13435
(=>
    (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 13437-13446
(=>
    (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 13365-13374
(=>
    (and
        (instance ?FUNCTION UnitOfMeasureMultiplier)
        (instance ?UNIT CompositeUnitOfMeasure))
    (instance
        (?FUNCTION ?UNIT) CompositeUnitOfMeasure))
Merge.kif 6386-6390
(=>
    (and
        (instance ?QUANT
            (MeasureFn ?N ?UNIT))
        (instance ?UNIT CompositeUnitOfMeasure))
    (instance ?QUANT FunctionQuantity))
Merge.kif 6156-6160
(=>
    (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 6386-6390


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