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


KB Term:  Term intersection
English Word: 

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, variance

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


(subclass RelationExtendedToQuantities Relation) Merge.kif 3646-3646 Relation extended to quantities is a subclass of relation
(subclass RelationExtendedToQuantities InheritableRelation) Merge.kif 3647-3647 Relation extended to quantities is a subclass of inheritable relation
(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 3649-3661 Relation extended to quantities is a subclass of inheritable relation

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


(instance lessThan RelationExtendedToQuantities) Merge.kif 1937-1937 less than is an instance of relation extended to quantities
(instance greaterThan RelationExtendedToQuantities) Merge.kif 1949-1949 greater than is an instance of relation extended to quantities
(instance lessThanOrEqualTo RelationExtendedToQuantities) Merge.kif 1961-1961 less than or equal to is an instance of relation extended to quantities
(instance greaterThanOrEqualTo RelationExtendedToQuantities) Merge.kif 1978-1978 greater than or equal to is an instance of relation extended to quantities
(subclass BinaryRelationExtendedToQuantities RelationExtendedToQuantities) Geography.kif 2114-2114 Binary relation extended to quantities is a subclass of relation extended to quantities
(termFormat EnglishLanguage RelationExtendedToQuantities "relation extended to quantities") english_format.kif 1073-1073 Binary relation extended to quantities is a subclass of relation extended to quantities

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


(=>
    (and
        (trichotomizingOn ?RELATION ?CLASS)
        (instance ?RELATION RelationExtendedToQuantities))
    (forall (?INST1 ?INST2)
        (=>
            (and
                (instance ?INST1 ?CLASS)
                (instance ?INST2 ?CLASS))
            (or
                (?RELATION ?INST1 ?INST2)
                (?RELATION ?INST2 ?INST1)
                (equal ?INST1 ?INST2)))))		 Merge.kif 3796-3808 If X is trichotomizing on Y and X is an instance of relation extended to quantities, then For all Entities Z and W: if Z is an instance of Y and W is an instance of Y, then At least one of the following holds: (1) X Z and W (2) X W and Z (3) equal Z and W


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners