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 5912-5915
(subclass CompositeUnitOfMeasure FunctionQuantity) Merge.kif 5910-5910 CompositeUnitOfMeasure is a subclass of function quantity
(subclass CompositeUnitOfMeasure UnitOfMeasure) Merge.kif 5909-5909 CompositeUnitOfMeasure is a subclass of unit of measure

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


(instance Ampere CompositeUnitOfMeasure) Merge.kif 6440-6440 Ampere is an instance of CompositeUnitOfMeasure
(instance Becquerel CompositeUnitOfMeasure) Merge.kif 6760-6760 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 7065-7065 British thermal unit is an instance of CompositeUnitOfMeasure
(instance Calorie CompositeUnitOfMeasure) Merge.kif 7057-7057 Calorie is an instance of CompositeUnitOfMeasure
(instance Candela CompositeUnitOfMeasure) Merge.kif 6479-6479 Candela is an instance of CompositeUnitOfMeasure
(instance Coulomb CompositeUnitOfMeasure) Merge.kif 6632-6632 Coulomb is an instance of CompositeUnitOfMeasure
(instance ElectronVolt CompositeUnitOfMeasure) Merge.kif 6871-6871 Electron volt is an instance of CompositeUnitOfMeasure
(instance Farad CompositeUnitOfMeasure) Merge.kif 6657-6657 Farad is an instance of CompositeUnitOfMeasure
(instance Gray CompositeUnitOfMeasure) Merge.kif 6774-6774 Gray is an instance of CompositeUnitOfMeasure
(instance Henry CompositeUnitOfMeasure) Merge.kif 6710-6710 Henry is an instance of CompositeUnitOfMeasure
(instance Horsepower CompositeUnitOfMeasure) Merge.kif 6618-6618 Horsepower is an instance of CompositeUnitOfMeasure
(instance InstructionsPerSecond CompositeUnitOfMeasure) QoSontology.kif 252-252 InstructionsPerSecond is an instance of CompositeUnitOfMeasure
(instance Joule CompositeUnitOfMeasure) Merge.kif 6599-6599 Joule is an instance of CompositeUnitOfMeasure
(instance KilowattHour CompositeUnitOfMeasure) Economy.kif 2004-2004 Kilowatt hour is an instance of CompositeUnitOfMeasure
(instance KnotUnitOfSpeed CompositeUnitOfMeasure) Geography.kif 3769-3769 Knot unit of speed is an instance of CompositeUnitOfMeasure
(instance Lumen CompositeUnitOfMeasure) Merge.kif 6738-6738 Lumen is an instance of CompositeUnitOfMeasure
(instance Lux CompositeUnitOfMeasure) Merge.kif 6748-6748 Lux is an instance of CompositeUnitOfMeasure
(instance McgPerKg CompositeUnitOfMeasure) WMD.kif 807-807 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 6581-6581 Newton is an instance of CompositeUnitOfMeasure
(instance Ohm CompositeUnitOfMeasure) Merge.kif 6668-6668 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 6590-6590 Pascal is an instance of CompositeUnitOfMeasure
(instance PoundForce CompositeUnitOfMeasure) Merge.kif 7045-7045 Pound force is an instance of CompositeUnitOfMeasure

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


(domain transformerCapacity 2 CompositeUnitOfMeasure) Mid-level-ontology.kif 27498-27498 The number 2 argument of transformer capacity is an instance of CompositeUnitOfMeasure

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 10335-10344
(=>
    (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 10365-10374
(=>
    (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 10376-10385
(=>
    (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 10304-10313
(=>
    (and
        (instance ?FUNCTION UnitOfMeasureMultiplier)
        (instance ?UNIT CompositeUnitOfMeasure))
    (instance
        (?FUNCTION ?UNIT) CompositeUnitOfMeasure))
Merge.kif 6157-6161
(=>
    (and
        (instance ?QUANT
            (MeasureFn ?N ?UNIT))
        (instance ?UNIT CompositeUnitOfMeasure))
    (instance ?QUANT FunctionQuantity))
Merge.kif 5927-5931
(=>
    (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