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 5860-5863
(subclass CompositeUnitOfMeasure FunctionQuantity) Merge.kif 5858-5858 subclass CompositeUnitOfMeasure and FunctionQuantity
(subclass CompositeUnitOfMeasure UnitOfMeasure) Merge.kif 5857-5857 subclass CompositeUnitOfMeasure and UnitOfMeasure

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


(instance Ampere CompositeUnitOfMeasure) Merge.kif 6389-6389 instance Ampere and CompositeUnitOfMeasure
(instance Becquerel CompositeUnitOfMeasure) Merge.kif 6709-6709 instance Becquerel and CompositeUnitOfMeasure
(instance BitsPerSecond CompositeUnitOfMeasure) QoSontology.kif 236-236 instance BitsPerSecond and CompositeUnitOfMeasure
(instance BritishThermalUnit CompositeUnitOfMeasure) Merge.kif 7012-7012 instance BritishThermalUnit and CompositeUnitOfMeasure
(instance Calorie CompositeUnitOfMeasure) Merge.kif 7004-7004 instance Calorie and CompositeUnitOfMeasure
(instance Candela CompositeUnitOfMeasure) Merge.kif 6428-6428 instance Candela and CompositeUnitOfMeasure
(instance Coulomb CompositeUnitOfMeasure) Merge.kif 6581-6581 instance Coulomb and CompositeUnitOfMeasure
(instance ElectronVolt CompositeUnitOfMeasure) Merge.kif 6818-6818 instance ElectronVolt and CompositeUnitOfMeasure
(instance Farad CompositeUnitOfMeasure) Merge.kif 6606-6606 instance Farad and CompositeUnitOfMeasure
(instance Gray CompositeUnitOfMeasure) Merge.kif 6723-6723 instance Gray and CompositeUnitOfMeasure
(instance Henry CompositeUnitOfMeasure) Merge.kif 6659-6659 instance Henry and CompositeUnitOfMeasure
(instance Horsepower CompositeUnitOfMeasure) Merge.kif 6567-6567 instance Horsepower and CompositeUnitOfMeasure
(instance InstructionsPerSecond CompositeUnitOfMeasure) QoSontology.kif 252-252 instance InstructionsPerSecond and CompositeUnitOfMeasure
(instance Joule CompositeUnitOfMeasure) Merge.kif 6548-6548 instance Joule and CompositeUnitOfMeasure
(instance KilowattHour CompositeUnitOfMeasure) Economy.kif 2004-2004 instance KilowattHour and CompositeUnitOfMeasure
(instance KnotUnitOfSpeed CompositeUnitOfMeasure) Geography.kif 3726-3726 instance KnotUnitOfSpeed and CompositeUnitOfMeasure
(instance Lumen CompositeUnitOfMeasure) Merge.kif 6687-6687 instance Lumen and CompositeUnitOfMeasure
(instance Lux CompositeUnitOfMeasure) Merge.kif 6697-6697 instance Lux and CompositeUnitOfMeasure
(instance Newton CompositeUnitOfMeasure) Merge.kif 6530-6530 instance Newton and CompositeUnitOfMeasure
(instance Ohm CompositeUnitOfMeasure) Merge.kif 6617-6617 instance Ohm and CompositeUnitOfMeasure
(instance PacketsPerSecond CompositeUnitOfMeasure) QoSontology.kif 244-244 instance PacketsPerSecond and CompositeUnitOfMeasure
(instance Pascal CompositeUnitOfMeasure) Merge.kif 6539-6539 instance Pascal and CompositeUnitOfMeasure
(instance PoundForce CompositeUnitOfMeasure) Merge.kif 6992-6992 instance PoundForce and CompositeUnitOfMeasure
(instance Rad CompositeUnitOfMeasure) MilitaryProcesses.kif 854-854 instance Rad and CompositeUnitOfMeasure
(instance RevolutionsPerMinute CompositeUnitOfMeasure) Cars.kif 2081-2081 instance RevolutionsPerMinute and 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 11137-11146
(=>
    (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 11166-11175
(=>
    (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 11177-11186
(=>
    (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 11108-11117
(=>
    (and
        (instance ?FUNCTION UnitOfMeasureMultiplier)
        (instance ?UNIT CompositeUnitOfMeasure))
    (instance
        (?FUNCTION ?UNIT) CompositeUnitOfMeasure))
Merge.kif 6107-6111
(=>
    (and
        (instance ?QUANT
            (MeasureFn ?N ?UNIT))
        (instance ?UNIT CompositeUnitOfMeasure))
    (instance ?QUANT FunctionQuantity))
Merge.kif 5875-5879

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


(=>
    (and
        (instance ?FUNCTION UnitOfMeasureMultiplier)
        (instance ?UNIT CompositeUnitOfMeasure))
    (instance
        (?FUNCTION ?UNIT) CompositeUnitOfMeasure))
Merge.kif 6107-6111


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners