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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NonCompositeUnitOfMeasure

Sigma KEE - NonCompositeUnitOfMeasure
NonCompositeUnitOfMeasure

appearance as argument number 1
-------------------------


(documentation NonCompositeUnitOfMeasure ChineseLanguage "这是应用单一维度的 UnitsOfMeasure Class 的实例,因此它不是由其他单位的复合函数在本质上决定的。") chinese_format.kif 2400-2401
(documentation NonCompositeUnitOfMeasure EnglishLanguage "Instances of this Class are UnitsOfMeasure that are applied to a single dimension, and so are not intrinsically defined by the functional composition of other units.") Merge.kif 6130-6133
(subclass NonCompositeUnitOfMeasure ConstantQuantity) Merge.kif 6128-6128 NonCompositeUnitOfMeasure is a subclass of constant quantity
(subclass NonCompositeUnitOfMeasure UnitOfMeasure) Merge.kif 6127-6127 NonCompositeUnitOfMeasure is a subclass of unit of measure

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


(instance PHValue NonCompositeUnitOfMeasure) Geography.kif 2544-2544 PH value is an instance of NonCompositeUnitOfMeasure
(subclass UnitOfAngularMeasure NonCompositeUnitOfMeasure) Merge.kif 6230-6230 UnitOfAngularMeasure is a subclass of NonCompositeUnitOfMeasure
(subclass UnitOfCurrency NonCompositeUnitOfMeasure) Merge.kif 6220-6220 UnitOfCurrency is a subclass of NonCompositeUnitOfMeasure
(subclass UnitOfDuration NonCompositeUnitOfMeasure) Merge.kif 6251-6251 UnitOfDuration is a subclass of NonCompositeUnitOfMeasure
(subclass UnitOfInformation NonCompositeUnitOfMeasure) Merge.kif 6245-6245 UnitOfInformation is a subclass of NonCompositeUnitOfMeasure
(subclass UnitOfLength NonCompositeUnitOfMeasure) Merge.kif 6159-6159 UnitOfLength is a subclass of NonCompositeUnitOfMeasure
(subclass UnitOfMass NonCompositeUnitOfMeasure) Merge.kif 6171-6171 UnitOfMass is a subclass of NonCompositeUnitOfMeasure
(subclass UnitOfTemperature NonCompositeUnitOfMeasure) Merge.kif 6207-6207 UnitOfTemperature is a subclass of NonCompositeUnitOfMeasure

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


(partition UnitOfMeasure CompositeUnitOfMeasure NonCompositeUnitOfMeasure) Merge.kif 6135-6135 Unit of measure is exhaustively partitioned into CompositeUnitOfMeasure and NonCompositeUnitOfMeasure

antecedent
-------------------------


(=>
    (and
        (defaultMaximumMeasure ?OBJECT
            (MeasureFn ?Q ?UNIT1))
        (subclass ?UNITCLASS NonCompositeUnitOfMeasure)
        (instance ?UNIT1 ?UNITCLASS))
    (modalAttribute
        (exists (?INST ?QUANTITY ?UNIT2)
            (and
                (instance ?INST ?OBJECT)
                (measure ?INST
                    (MeasureFn ?QUANTITY ?UNIT2))
                (instance ?UNIT2 ?UNITCLASS)
                (greaterThan
                    (MeasureFn ?QUANTITY ?UNIT2)
                    (MeasureFn ?Q ?UNIT1)))) Unlikely))
Mid-level-ontology.kif 13066-13077
(=>
    (and
        (defaultMinimumMeasure ?OBJECT
            (MeasureFn ?Q ?UNIT1))
        (subclass ?UNITCLASS NonCompositeUnitOfMeasure)
        (instance ?UNIT1 ?UNITCLASS))
    (modalAttribute
        (exists (?INST ?QUANTITY ?UNIT2)
            (and
                (instance ?INST ?OBJECT)
                (measure ?INST
                    (MeasureFn ?QUANTITY ?UNIT2))
                (instance ?UNIT2 ?UNITCLASS)
                (lessThan ?QUANTITY ?Q))) Unlikely))
Mid-level-ontology.kif 13035-13046
(=>
    (and
        (instance ?FUNCTION UnitOfMeasureMultiplier)
        (instance ?UNIT NonCompositeUnitOfMeasure))
    (instance
        (?FUNCTION ?UNIT) NonCompositeUnitOfMeasure))
Merge.kif 6373-6377
(=>
    (and
        (instance ?QUANT
            (MeasureFn ?N ?UNIT))
        (instance ?UNIT NonCompositeUnitOfMeasure))
    (instance ?QUANT ConstantQuantity))
Merge.kif 6143-6147