  Browsing Interface : Welcome guest : log in [  Home |  Graph |  ]  KB:  SUMO Language:  ChineseLanguageChineseTraditionalLanguageChinesehLanguageEnglishLanguageFrenchLanguageGermanLanguageJapaneseLanguageSpanishLanguageSwedishLanguage   Formal Language:  OWLSUO-KIFTPTPtraditionalLogic

 KB Term: Term intersection English Word: Any Noun Verb Adjective Adverb

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, second_moment, skew_correlation, spurious_correlation, standard_deviation, varianceVerbNet: differ-23.4|diverge,

 appearance as argument number 1 (documentation RelationExtendedToQuantities 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。注：当一个 RelationExtendedToQuantities 由 RealNumber 被延伸到 ConstantQuantity 的实例实时，该 ConstantQuantity 必须以相同的实物尺寸 来量度。") chinese_format.kif 2021-2029 (documentation RelationExtendedToQuantities 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 3412-3424 (subclass RelationExtendedToQuantities InheritableRelation) Merge.kif 3410-3410 Relation extended to quantities is a subclass of inheritable relation (subclass RelationExtendedToQuantities Relation) Merge.kif 3409-3409 Relation extended to quantities is a subclass of relation

 appearance as argument number 2 (instance equal RelationExtendedToQuantities) Merge.kif 252-252 equal is an instance of relation extended to quantities (instance greaterThan RelationExtendedToQuantities) Merge.kif 1754-1754 greater than is an instance of relation extended to quantities (instance greaterThanOrEqualTo RelationExtendedToQuantities) Merge.kif 1783-1783 greater than or equal to is an instance of relation extended to quantities (instance lessThan RelationExtendedToQuantities) Merge.kif 1742-1742 less than is an instance of relation extended to quantities (instance lessThanOrEqualTo RelationExtendedToQuantities) Merge.kif 1766-1766 less than or equal to is an instance of relation extended to quantities (subclass BinaryRelationExtendedToQuantities RelationExtendedToQuantities) Geography.kif 641-641 BinaryRelationExtendedToQuantities is a subclass of relation extended to quantities (termFormat ChineseLanguage RelationExtendedToQuantities "延伸数量关系") chinese_format.kif 931-931 (termFormat EnglishLanguage RelationExtendedToQuantities "relation extended to quantities") english_format.kif 1074-1074

 antecedent (=>     (and         (instance ?REL RelationExtendedToQuantities)         (equal ?Q1             (MeasureFn ?I1 ?U))         (equal ?Q2             (MeasureFn ?I2 ?U))         (?REL ?I1 ?I2))     (?REL ?Q1 ?Q2)) Merge.kif 6124-6130 If an entity is an instance of relation extended to quantities and a physical quantity is equal to a real number an unit of measure(s) and another physical quantity is equal to another real number the unit of measure(s) and the entity the real number and the other real number,then the entity the physical quantity and the other physical quantity (=>     (and         (instance ?REL RelationExtendedToQuantities)         (instance ?REL BinaryPredicate)         (instance ?NUMBER1 RealNumber)         (instance ?NUMBER2 RealNumber)         (?REL ?NUMBER1 ?NUMBER2))     (forall (?UNIT)         (=>             (instance ?UNIT UnitOfMeasure)             (?REL                 (MeasureFn ?NUMBER1 ?UNIT)                 (MeasureFn ?NUMBER2 ?UNIT))))) Merge.kif 6112-6122 If an entity is an instance of relation extended to quantities and the entity is an instance of binary predicate and another entity is an instance of real number and a third entity is an instance of real number and the entity the other entity and the third entity,then for all a fourth entity if the fourth entity is an instance of unit of measure,then the entity the other entity the fourth entity(s) and the third entity the fourth entity(s) 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