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 5965-5968
(subclass CompositeUnitOfMeasure FunctionQuantity) Merge.kif 5963-5963
(subclass CompositeUnitOfMeasure UnitOfMeasure) Merge.kif 5962-5962

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


(instance Ampere CompositeUnitOfMeasure) Merge.kif 6497-6497
(instance Becquerel CompositeUnitOfMeasure) Merge.kif 6817-6817
(instance BitsPerSecond CompositeUnitOfMeasure) QoSontology.kif 236-236
(instance BritishThermalUnit CompositeUnitOfMeasure) Merge.kif 7126-7126
(instance Calorie CompositeUnitOfMeasure) Merge.kif 7118-7118
(instance Candela CompositeUnitOfMeasure) Merge.kif 6536-6536
(instance Coulomb CompositeUnitOfMeasure) Merge.kif 6689-6689
(instance ElectronVolt CompositeUnitOfMeasure) Merge.kif 6932-6932
(instance Farad CompositeUnitOfMeasure) Merge.kif 6714-6714
(instance Gray CompositeUnitOfMeasure) Merge.kif 6831-6831
(instance Henry CompositeUnitOfMeasure) Merge.kif 6767-6767
(instance Horsepower CompositeUnitOfMeasure) Merge.kif 6675-6675
(instance InstructionsPerSecond CompositeUnitOfMeasure) QoSontology.kif 252-252
(instance Joule CompositeUnitOfMeasure) Merge.kif 6656-6656
(instance KilowattHour CompositeUnitOfMeasure) Economy.kif 2004-2004
(instance KnotUnitOfSpeed CompositeUnitOfMeasure) Geography.kif 3793-3793
(instance Lumen CompositeUnitOfMeasure) Merge.kif 6795-6795
(instance Lux CompositeUnitOfMeasure) Merge.kif 6805-6805
(instance McgPerKg CompositeUnitOfMeasure) WMD.kif 812-812
(instance MilesPerHour CompositeUnitOfMeasure) Weather.kif 1701-1701
(instance Newton CompositeUnitOfMeasure) Merge.kif 6638-6638
(instance Ohm CompositeUnitOfMeasure) Merge.kif 6725-6725
(instance PacketsPerSecond CompositeUnitOfMeasure) QoSontology.kif 244-244
(instance Pascal CompositeUnitOfMeasure) Merge.kif 6647-6647
(instance PoundForce CompositeUnitOfMeasure) Merge.kif 7106-7106

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 12976-12985
(=>
    (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 13006-13015
(=>
    (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 13017-13026
(=>
    (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 12945-12954
(=>
    (and
        (instance ?FUNCTION UnitOfMeasureMultiplier)
        (instance ?UNIT CompositeUnitOfMeasure))
    (instance
        (?FUNCTION ?UNIT) CompositeUnitOfMeasure))
Merge.kif 6210-6214
(=>
    (and
        (instance ?QUANT
            (MeasureFn ?N ?UNIT))
        (instance ?UNIT CompositeUnitOfMeasure))
    (instance ?QUANT FunctionQuantity))
Merge.kif 5980-5984
(=>
    (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 6210-6214


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