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函数量subclass
(subclass CompositeUnitOfMeasure UnitOfMeasure) Merge.kif 6111-6111 CompositeUnitOfMeasure测量单位subclass

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


(instance Ampere CompositeUnitOfMeasure) Merge.kif 6624-6624 安培CompositeUnitOfMeasureinstance
(instance Becquerel CompositeUnitOfMeasure) Merge.kif 6944-6944 贝克勒尔CompositeUnitOfMeasureinstance
(instance BitsPerSecond CompositeUnitOfMeasure) QoSontology.kif 236-236 每秒位数CompositeUnitOfMeasureinstance
(instance BritishThermalUnit CompositeUnitOfMeasure) Merge.kif 7253-7253 英国热量单位CompositeUnitOfMeasureinstance
(instance Calorie CompositeUnitOfMeasure) Merge.kif 7245-7245 卡路里CompositeUnitOfMeasureinstance
(instance Candela CompositeUnitOfMeasure) Merge.kif 6663-6663 坎德拉CompositeUnitOfMeasureinstance
(instance Coulomb CompositeUnitOfMeasure) Merge.kif 6816-6816 库仑CompositeUnitOfMeasureinstance
(instance ElectronVolt CompositeUnitOfMeasure) Merge.kif 7059-7059 电子伏特CompositeUnitOfMeasureinstance
(instance Farad CompositeUnitOfMeasure) Merge.kif 6841-6841 法拉CompositeUnitOfMeasureinstance
(instance Gray CompositeUnitOfMeasure) Merge.kif 6958-6958 灰色CompositeUnitOfMeasureinstance
(instance Henry CompositeUnitOfMeasure) Merge.kif 6894-6894 亨利CompositeUnitOfMeasureinstance
(instance Horsepower CompositeUnitOfMeasure) Merge.kif 6802-6802 马力CompositeUnitOfMeasureinstance
(instance InstructionsPerSecond CompositeUnitOfMeasure) QoSontology.kif 252-252 InstructionsPerSecondCompositeUnitOfMeasureinstance
(instance Joule CompositeUnitOfMeasure) Merge.kif 6783-6783 焦耳CompositeUnitOfMeasureinstance
(instance KilowattHour CompositeUnitOfMeasure) Economy.kif 2011-2011 千瓦时CompositeUnitOfMeasureinstance
(instance KnotUnitOfSpeed CompositeUnitOfMeasure) Geography.kif 3846-3846 结速度单位CompositeUnitOfMeasureinstance
(instance Lumen CompositeUnitOfMeasure) Merge.kif 6922-6922 流明CompositeUnitOfMeasureinstance
(instance Lux CompositeUnitOfMeasure) Merge.kif 6932-6932 勒克司CompositeUnitOfMeasureinstance
(instance McgPerKg CompositeUnitOfMeasure) WMD.kif 812-812 每公斤微克CompositeUnitOfMeasureinstance
(instance MilesPerHour CompositeUnitOfMeasure) Weather.kif 1699-1699 英里每小時CompositeUnitOfMeasureinstance
(instance Newton CompositeUnitOfMeasure) Merge.kif 6765-6765 牛顿CompositeUnitOfMeasureinstance
(instance Ohm CompositeUnitOfMeasure) Merge.kif 6852-6852 欧姆CompositeUnitOfMeasureinstance
(instance PacketsPerSecond CompositeUnitOfMeasure) QoSontology.kif 244-244 每秒数据包CompositeUnitOfMeasureinstance
(instance Pascal CompositeUnitOfMeasure) Merge.kif 6774-6774 帕斯卡CompositeUnitOfMeasureinstance
(instance PoundForce CompositeUnitOfMeasure) Merge.kif 7233-7233 磅力CompositeUnitOfMeasureinstance

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