Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  QuaternaryPredicate

 Sigma KEE - NonCompositeUnitOfMeasure
NonCompositeUnitOfMeasure(non composite unit of measure)

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


(subclass NonCompositeUnitOfMeasure UnitOfMeasure) Merge.kif 6334-6334 Non composite unit of measure is a subclass of unit of measure
(subclass NonCompositeUnitOfMeasure ConstantQuantity) Merge.kif 6335-6335 Non composite unit of measure is a subclass of constant quantity
(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 6337-6340 Non composite unit of measure is a subclass of constant quantity

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


(subclass UnitOfLength NonCompositeUnitOfMeasure) Merge.kif 6366-6366 Unit of length is a subclass of non composite unit of measure
(subclass UnitOfMass NonCompositeUnitOfMeasure) Merge.kif 6378-6378 Unit of mass is a subclass of non composite unit of measure
(subclass UnitOfTemperature NonCompositeUnitOfMeasure) Merge.kif 6414-6414 Unit of temperature is a subclass of non composite unit of measure
(subclass UnitOfCurrency NonCompositeUnitOfMeasure) Merge.kif 6427-6427 Unit of currency is a subclass of non composite unit of measure
(subclass UnitOfAngularMeasure NonCompositeUnitOfMeasure) Merge.kif 6437-6437 Unit of angular measure is a subclass of non composite unit of measure
(subclass UnitOfInformation NonCompositeUnitOfMeasure) Merge.kif 6452-6452 Unit of information is a subclass of non composite unit of measure
(subclass UnitOfDuration NonCompositeUnitOfMeasure) Merge.kif 6458-6458 Unit of duration is a subclass of non composite unit of measure
(instance PHValue NonCompositeUnitOfMeasure) Geography.kif 3977-3977 PH value is an instance of non composite unit of measure
(termFormat EnglishLanguage NonCompositeUnitOfMeasure "non composite unit of measure") domainEnglishFormat.kif 65243-65243 PH value is an instance of non composite unit of measure

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


(partition UnitOfMeasure CompositeUnitOfMeasure NonCompositeUnitOfMeasure) Merge.kif 6342-6342 Unit of measure is exhaustively partitioned into composite unit of measure and non composite unit of measure

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


(=>
    (and
        (instance ?QUANT
            (MeasureFn ?N ?UNIT))
        (instance ?UNIT NonCompositeUnitOfMeasure))
    (instance ?QUANT ConstantQuantity))		 Merge.kif 6350-6354 If X is an instance of Y Z(s) and Z is an instance of non composite unit of measure, then X is an instance of constant quantity
(=>
    (and
        (instance ?FUNCTION UnitOfMeasureMultiplier)
        (instance ?UNIT NonCompositeUnitOfMeasure))
    (instance
        (?FUNCTION ?UNIT) NonCompositeUnitOfMeasure))		 Merge.kif 6580-6584 If X is an instance of unit of measure multiplier and Y is an instance of non composite unit of measure, then X Y is an instance of non composite unit of measure
(=>
    (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 15079-15090 If the minimum expected value of X is Y Z(s), W is a subclass of non composite unit of measure, and Z is an instance of W, then the statement there exist V, U and T such that V is an instance of X and the measure of V is U T(s) and T is an instance of W and U is less than Y has the modal force of unlikely
(=>
    (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 15110-15121 If the maximum expected value of X is Y Z(s), W is a subclass of non composite unit of measure, and Z is an instance of W, then the statement there exist V, U and T such that V is an instance of X and the measure of V is U T(s) and T is an instance of W and U T(s) is greater than Y Z(s) has the modal force of unlikely