  Browsing Interface : Welcome guest : log in [  Home |  Graph |  ]  KB:  SUMO Language:  ChineseLanguageChinesePinyinWritingChineseSimplifiedWritingChineseTraditionalLanguageEnglishLanguageFrenchLanguageGermanLanguageJapaneseLanguageSpanishLanguageSwedishLanguage   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, variance

 appearance as argument number 1 No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2021-2029 No TPTP formula. May not be expressible in strict first order. Merge.kif 3464-3476 No TPTP formula. May not be expressible in strict first order. Merge.kif 3462-3462 Relation extended to quantities is a subclass of inheritable relation No TPTP formula. May not be expressible in strict first order. Merge.kif 3461-3461 Relation extended to quantities is a subclass of relation

 appearance as argument number 2 No TPTP formula. May not be expressible in strict first order. Merge.kif 1786-1786 greater than is an instance of relation extended to quantities No TPTP formula. May not be expressible in strict first order. Merge.kif 1815-1815 greater than or equal to is an instance of relation extended to quantities No TPTP formula. May not be expressible in strict first order. Merge.kif 1774-1774 less than is an instance of relation extended to quantities No TPTP formula. May not be expressible in strict first order. Merge.kif 1798-1798 less than or equal to is an instance of relation extended to quantities No TPTP formula. May not be expressible in strict first order. Geography.kif 649-649 BinaryRelationExtendedToQuantities is a subclass of relation extended to quantities No TPTP formula. May not be expressible in strict first order. chinese_format.kif 931-931 No TPTP formula. May not be expressible in strict first order. english_format.kif 1069-1069

 antecedent No TPTP formula. May not be expressible in strict first order. Merge.kif 3617-3629 If a binary relation is trichotomizing on a class and the binary relation is an instance of relation extended to quantities,then for all an entity and another entity if the entity is an instance of the class and the other entity is an instance of the class,then the binary relation the entity and the other entity or the binary relation the other entity and the entity or the entity is equal to the other entity 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