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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RelationExtendedToQuantities

Sigma KEE - RelationExtendedToQuantities
RelationExtendedToQuantities(relation extended to quantities)Bernoulli_distribution, Gaussian_curve, Gaussian_distribution, Gaussian_shape, Kendall_partial_rank_correlation, Kendall_test, Poisson_distribution, arithmetic_mean, average, average_out, bell-shaped_curve, binomial_distribution, converge, correlation, correlation_matrix, correlation_table, correlational_statistics, covariance, curvilinear_correlation, diverge, expectation, expected_value, first-order_correlation, first_moment, frequency_distribution, geometric_mean, harmonic_mean, mean_deviation, mean_deviation_from_the_mean, median, median_value, modal_value, mode, moment, nonlinear_correlation, normal_curve, normal_distribution, partial_correlation, regression_equation, regression_of_y_on_x, relation_extended_to_quantities, second_moment, skew_correlation, spurious_correlation, standard_deviation, variance, 延伸数量关系

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


s__documentation(s__RelationExtendedToQuantities,s__ChineseLanguage,' RelationExtendedToQuantities 是一个 Relation,如果它对一串 RealNumber 的参数值是真的,那么 他对一串有着和一些衡量单位幅度 ConstantQuantity 的实例也是真的。例如: lessThan 关系可延伸到数量 上, 意思是(lessThan ?QUANTITY1 ?QUANTITY2) 对于 ?QUANTITY1 和 ?QUANTITY2 所有的数量对, 当且仅当对于某些 ?NUMBER1,?NUMBER2 和 ?UNIT,?QUANTITY1 = (MeasureFn ?NUMBER1 ?UNIT), ?QUANTITY2 = (MeasureFn ?NUMBER2 ?UNIT)和(lessThan ?NUMBER1 ?NUMBER2),对于所有 ?QUANTITY1 和 ?QUANTITY2 可以量度的单位 ?UNIT。注:当一个 RelationExtendedToQuantitiesRealNumber 被延伸到 ConstantQuantity 的实例实时,该 ConstantQuantity 必须以相同的实物尺寸 来量度。')

Merge.kif 3648-3656
s__documentation(s__RelationExtendedToQuantities,s__EnglishLanguage,'A RelationExtendedToQuantities is a Relation that, when it is true on a sequence of arguments that are RealNumbers, it is also true on a sequence of instances of ConstantQuantity with those magnitudes in some unit of measure. For example, the lessThan relation is extended to quantities. This means that for all pairs of quantities ?QUANTITY1 and ?QUANTITY2, (lessThan ?QUANTITY1 ?QUANTITY2) if and only if, for some ?NUMBER1, ?NUMBER2, and ?UNIT, ?QUANTITY1 = (MeasureFn ?NUMBER1 ?UNIT), ?QUANTITY2 = (MeasureFn ?NUMBER2 ?UNIT), and (lessThan ?NUMBER1 ?NUMBER2), for all units ?UNIT on which ?QUANTITY1 and ?QUANTITY2 can be measured. Note that, when a RelationExtendedToQuantities is extended from RealNumbers to instances of ConstantQuantity, the ConstantQuantity must be measured along the same physical dimension.')

Merge.kif 3635-3647
s__instance(s__RelationExtendedToQuantities,s__SetOrClass)

s__instance(s__InheritableRelation,s__SetOrClass)

s__subclass(s__RelationExtendedToQuantities,s__InheritableRelation)

Merge.kif 3634-3634 Relation extended to quantities is a subclass of inheritable relation
s__instance(s__Relation,s__SetOrClass)

s__subclass(s__RelationExtendedToQuantities,s__Relation)

s__instance(s__RelationExtendedToQuantities,s__SetOrClass)

Merge.kif 3633-3633 Relation extended to quantities is a subclass of relation

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


s__instance(s__RelationExtendedToQuantities,s__SetOrClass)

Merge.kif 285-285 equal is an instance of relation extended to quantities
s__instance(s__greaterThan__m,s__RelationExtendedToQuantities)

s__instance(s__RelationExtendedToQuantities,s__SetOrClass)

Merge.kif 1911-1911 greater than is an instance of relation extended to quantities
s__instance(s__RelationExtendedToQuantities,s__SetOrClass)

s__instance(s__greaterThanOrEqualTo__m,s__RelationExtendedToQuantities)

Merge.kif 1942-1942 greater than or equal to is an instance of relation extended to quantities
s__instance(s__lessThan__m,s__RelationExtendedToQuantities)

s__instance(s__RelationExtendedToQuantities,s__SetOrClass)

Merge.kif 1898-1898 less than is an instance of relation extended to quantities
s__instance(s__lessThanOrEqualTo__m,s__RelationExtendedToQuantities)

s__instance(s__RelationExtendedToQuantities,s__SetOrClass)

Merge.kif 1924-1924 less than or equal to is an instance of relation extended to quantities
s__instance(s__BinaryRelationExtendedToQuantities,s__SetOrClass)

s__subclass(s__BinaryRelationExtendedToQuantities,s__RelationExtendedToQuantities)

s__instance(s__RelationExtendedToQuantities,s__SetOrClass)

Geography.kif 638-638 BinaryRelationExtendedToQuantities is a subclass of relation extended to quantities
s__termFormat(s__ChineseLanguage,s__RelationExtendedToQuantities,'延伸数量关系')

chinese_format.kif 931-931 "延伸数量关系" is the printable form of relation extended to quantities in ChineseLanguage
s__termFormat(s__EnglishLanguage,s__RelationExtendedToQuantities,'relation extended to quantities')

english_format.kif 618-618 "relation extended to quantities" is the printable form of relation extended to quantities in english language

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


( ∀ [V__Q2,V__U,V__I1,V__I2,V__Q1]
   ((s__instance(V__Q2,s__PhysicalQuantity)s__and__ms__instance(V__U,s__UnitOfMeasure)s__and__ms__instance(V__I1,s__RealNumber)s__and__ms__instance(V__I2,s__RealNumber)s__and__ms__instance(V__Q1,s__PhysicalQuantity))
    s__=>((s__instance(s__greaterThan__m,s__RelationExtendedToQuantities)s__and__m(V__Q1s__equal__ms__MeasureFn(V__I1,V__U))
    s__and__m(V__Q2s__equal__ms__MeasureFn(V__I2,V__U))
s__and__ms__greaterThan(V__I1,V__I2))
s__=>s__greaterThan(V__Q1,V__Q2)))
)

( ∀ [V__Q2,V__U,V__I1,V__I2,V__Q1]
   ((s__instance(V__Q2,s__PhysicalQuantity)s__and__ms__instance(V__U,s__UnitOfMeasure)s__and__ms__instance(V__I1,s__RealNumber)s__and__ms__instance(V__I2,s__RealNumber)s__and__ms__instance(V__Q1,s__PhysicalQuantity))
    s__=>((s__instance(s__lessThan__m,s__RelationExtendedToQuantities)s__and__m(V__Q1s__equal__ms__MeasureFn(V__I1,V__U))
    s__and__m(V__Q2s__equal__ms__MeasureFn(V__I2,V__U))
s__and__ms__lessThan(V__I1,V__I2))
s__=>s__lessThan(V__Q1,V__Q2)))
)

( ∀ [V__Q2,V__U,V__I1,V__I2,V__Q1]
   ((s__instance(V__Q2,s__PhysicalQuantity)s__and__ms__instance(V__U,s__UnitOfMeasure)s__and__ms__instance(V__I1,s__RealNumber)s__and__ms__instance(V__I2,s__RealNumber)s__and__ms__instance(V__Q1,s__PhysicalQuantity))
    s__=>((s__instance(s__greaterThanOrEqualTo__m,s__RelationExtendedToQuantities)s__and__m(V__Q1s__equal__ms__MeasureFn(V__I1,V__U))
    s__and__m(V__Q2s__equal__ms__MeasureFn(V__I2,V__U))
s__and__ms__greaterThanOrEqualTo(V__I1,V__I2))
s__=>s__greaterThanOrEqualTo(V__Q1,V__Q2)))
)

( ∀ [V__Q2,V__U,V__I1,V__I2,V__Q1]
   ((s__instance(V__Q2,s__PhysicalQuantity)s__and__ms__instance(V__U,s__UnitOfMeasure)s__and__ms__instance(V__I1,s__RealNumber)s__and__ms__instance(V__I2,s__RealNumber)s__and__ms__instance(V__Q1,s__PhysicalQuantity))
    s__=>((s__instance(s__lessThanOrEqualTo__m,s__RelationExtendedToQuantities)s__and__m(V__Q1s__equal__ms__MeasureFn(V__I1,V__U))
    s__and__m(V__Q2s__equal__ms__MeasureFn(V__I2,V__U))
s__and__ms__lessThanOrEqualTo(V__I1,V__I2))
s__=>s__lessThanOrEqualTo(V__Q1,V__Q2)))
)

Merge.kif 6597-6603
( ∀ [V__NUMBER1,V__NUMBER2]
   ((s__instance(s__greaterThanOrEqualTo__m,s__RelationExtendedToQuantities)s__and__ms__instance(s__greaterThanOrEqualTo__m,s__BinaryPredicate)s__and__ms__instance(V__NUMBER1,s__RealNumber)s__and__ms__instance(V__NUMBER2,s__RealNumber)s__and__ms__greaterThanOrEqualTo(V__NUMBER1,V__NUMBER2))
  s__=>(s__forall__m[V__UNIT]
     (s__instance(V__UNIT,s__UnitOfMeasure)s__=>s__greaterThanOrEqualTo(s__MeasureFn(V__NUMBER1,V__UNIT)
    ,s__MeasureFn(V__NUMBER2,V__UNIT)))))
)

( ∀ [V__NUMBER1,V__NUMBER2]
   ((s__instance(s__greaterThan__m,s__RelationExtendedToQuantities)s__and__ms__instance(s__greaterThan__m,s__BinaryPredicate)s__and__ms__instance(V__NUMBER1,s__RealNumber)s__and__ms__instance(V__NUMBER2,s__RealNumber)s__and__ms__greaterThan(V__NUMBER1,V__NUMBER2))
  s__=>(s__forall__m[V__UNIT]
     (s__instance(V__UNIT,s__UnitOfMeasure)s__=>s__greaterThan(s__MeasureFn(V__NUMBER1,V__UNIT)
    ,s__MeasureFn(V__NUMBER2,V__UNIT)))))
)

( ∀ [V__NUMBER1,V__NUMBER2]
   ((s__instance(s__lessThan__m,s__RelationExtendedToQuantities)s__and__ms__instance(s__lessThan__m,s__BinaryPredicate)s__and__ms__instance(V__NUMBER1,s__RealNumber)s__and__ms__instance(V__NUMBER2,s__RealNumber)s__and__ms__lessThan(V__NUMBER1,V__NUMBER2))
  s__=>(s__forall__m[V__UNIT]
     (s__instance(V__UNIT,s__UnitOfMeasure)s__=>s__lessThan(s__MeasureFn(V__NUMBER1,V__UNIT)
    ,s__MeasureFn(V__NUMBER2,V__UNIT)))))
)

( ∀ [V__NUMBER1,V__NUMBER2]
   ((s__instance(s__lessThanOrEqualTo__m,s__RelationExtendedToQuantities)s__and__ms__instance(s__lessThanOrEqualTo__m,s__BinaryPredicate)s__and__ms__instance(V__NUMBER1,s__RealNumber)s__and__ms__instance(V__NUMBER2,s__RealNumber)s__and__ms__lessThanOrEqualTo(V__NUMBER1,V__NUMBER2))
  s__=>(s__forall__m[V__UNIT]
     (s__instance(V__UNIT,s__UnitOfMeasure)s__=>s__lessThanOrEqualTo(s__MeasureFn(V__NUMBER1,V__UNIT)
    ,s__MeasureFn(V__NUMBER2,V__UNIT)))))
)

Merge.kif 6585-6595


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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