(=>
(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 14443-14454 |
|
(=>
(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 14412-14423 |
|
(=>
(and
(instance ?FUNCTION UnitOfMeasureMultiplier)
(instance ?UNIT NonCompositeUnitOfMeasure))
(instance
(?FUNCTION ?UNIT) NonCompositeUnitOfMeasure)) |
Merge.kif 6452-6456 |
|
(=>
(and
(instance ?QUANT
(MeasureFn ?N ?UNIT))
(instance ?UNIT NonCompositeUnitOfMeasure))
(instance ?QUANT ConstantQuantity)) |
Merge.kif 6222-6226 |
|