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, 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 3536-3548
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 661-670
No TPTP formula. May not be expressible in strict first order. Merge.kif 3534-3534 Relation extended to quantities is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3533-3533 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 1846-1846 greater than is an instance of relation extended to quantities
No TPTP formula. May not be expressible in strict first order. Merge.kif 1875-1875 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 1834-1834 less than is an instance of relation extended to quantities
No TPTP formula. May not be expressible in strict first order. Merge.kif 1858-1858 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 642-642 Binary relation extended to quantities 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
No TPTP formula. May not be expressible in strict first order. french_format.kif 607-607
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 138-138
No TPTP formula. May not be expressible in strict first order. terms-it.txt 141-141
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2292-2292
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 559-559
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 175-175
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 628-628
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 142-142

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 3689-3701


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 3.0 is open source software produced by Articulate Software and its partners