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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Quantity

Sigma KEE - Quantity
Quantity(quantity)BMI, Kendall's_tau, Kendall_rank_correlation, absolute_majority, argument, average, balance, binomial, biquadratic, biquadratic_polynomial, biserial_correlation, biserial_correlation_coefficient, body_mass_index, boundedness, boundless, boundlessly, boundlessness, catch, centesimal, chance-half_correlation, chance_variable, characteristic_root_of_a_square_matrix, coefficient_of_concordance, correction, correlate, correlative, cutoff, decrease, decrement, deficit, degree, degree_of_a_polynomial, degree_of_freedom, demographic, dependent_variable, dip, distribution_free_statistic, domain, domain_of_a_function, double, drop, eigenvalue, eigenvalue_of_a_matrix, eigenvalue_of_a_square_matrix, endless, experimental_variable, factor, fall, fare_increase, finitely...

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1752-1753
No TPTP formula. May not be expressible in strict first order. Merge.kif 1749-1751
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3357-3357 Quantity is exhaustively partitioned into finite quantity and infinite quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 1748-1748 Quantity is a subclass of abstract

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1722-1722 Abstract is disjointly decomposed into quantity, attribute, set or class, relation, and proposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 4860-4860 The range of addition is an instance of quantity
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3050-3050 The range of conversion rate is an instance of quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 4896-4896 The range of division is an instance of quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 5136-5136 The range of max is an instance of quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 5163-5163 The range of min is an instance of quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 4846-4846 The range of multiplication is an instance of quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 6092-6092 The range of path weight is an instance of quantity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7796-7796 The range of PerCapitaFn is an instance of quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 5290-5290 The range of round is an instance of quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 4876-4876 The range of subtraction is an instance of quantity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3359-3359 Finite quantity is a subclass of quantity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3363-3363 Infinite quantity is a subclass of quantity
No TPTP formula. May not be expressible in strict first order. engineering.kif 292-292 Multipole quantity is a subclass of quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 1887-1887 Number is a subclass of quantity
No TPTP formula. May not be expressible in strict first order. engineering.kif 73-73 Physical dimension is a subclass of quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 2099-2099 Physical quantity is a subclass of quantity
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 854-854 "数量" is the printable form of quantity in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 541-541 "quantity" is the printable form of quantity in english language

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 4858-4858 The number 1 argument of addition is an instance of quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 4859-4859 The number 2 argument of addition is an instance of quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 4894-4894 The number 1 argument of division is an instance of quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 4895-4895 The number 2 argument of division is an instance of quantity
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4742-4742 The number 1 argument of lift is an instance of quantity
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4744-4744 The number 2 argument of lift is an instance of quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 5134-5134 The number 1 argument of max is an instance of quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 5135-5135 The number 2 argument of max is an instance of quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 5161-5161 The number 1 argument of min is an instance of quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 5162-5162 The number 2 argument of min is an instance of quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 4844-4844 The number 1 argument of multiplication is an instance of quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 4845-4845 The number 2 argument of multiplication is an instance of quantity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7794-7794 The number 1 argument of PerCapitaFn is an instance of quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 5289-5289 The number 1 argument of round is an instance of quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 4874-4874 The number 1 argument of subtraction is an instance of quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 4875-4875 The number 2 argument of subtraction is an instance of quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 6083-6083 The number 2 argument of arc weight is an instance of quantity
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1035-1035 The number 3 argument of benchmark performance is an instance of quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 18833-18833 The number 3 argument of defaultMaxValue is an instance of quantity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11128-11128 The number 2 argument of default maximum measure is an instance of quantity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11156-11156 The number 2 argument of default measure is an instance of quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 18818-18818 The number 3 argument of defaultMinValue is an instance of quantity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11099-11099 The number 2 argument of default minimum measure is an instance of quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 18848-18848 The number 3 argument of defaultValue is an instance of quantity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22014-22014 The number 3 argument of equipment count is an instance of quantity

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4754-4762

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28190-28219
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4730-4734


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