TreeView Knowledge Base Browser - potentialOfHydrogen

appearance as argument number 1

(documentation potentialOfHydrogen EnglishLanguage "(potentialOfHydrogen ?SOLUTION ?NUMBER) means that the Solution ?SOLUTION has a pH value of ?NUMBER. The ph varies between 0 and 14, and it is a measure of the acidity or alkalinity of ?SOLUTION. More precisely, and it is the logarithm of the reciprocal of the quantity of AtomGrams of Hydrogen ions.")	Mid-level-ontology.kif 3906-3910
(instance potentialOfHydrogen BinaryPredicate)	Mid-level-ontology.kif 3911-3911	potential of hydrogen is an instance of binary predicate
(domain potentialOfHydrogen 1 Solution)	Mid-level-ontology.kif 3912-3912	The number 1 argument of potential of hydrogen is an instance of solution
(domain potentialOfHydrogen 2 RealNumber)	Mid-level-ontology.kif 3913-3913	The number 2 argument of potential of hydrogen is an instance of real number

appearance as argument number 2

(format EnglishLanguage potentialOfHydrogen "%2 is %n a potential of hydrogen of %1")	domainEnglishFormat.kif 2013-2013
(format ChineseTraditionalLanguage potentialOfHydrogen "%2 %n 是 %1 的氫 potential ")	domainEnglishFormat.kif 2014-2014
(format ChineseLanguage potentialOfHydrogen "%2 %n 是 %1 的氢 potential ")	domainEnglishFormat.kif 2015-2015
(termFormat EnglishLanguage potentialOfHydrogen "potential of hydrogen")	domainEnglishFormat.kif 46891-46891
(termFormat ChineseTraditionalLanguage potentialOfHydrogen "氫的潛力")	domainEnglishFormat.kif 46892-46892
(termFormat ChineseLanguage potentialOfHydrogen "氢的潜力")	domainEnglishFormat.kif 46893-46893

antecedent

(=>
    (potentialOfHydrogen ?S ?N)
    (and
        (greaterThanOrEqualTo ?N 0.0)
        (lessThanOrEqualTo ?N 14.0)))

If X is a potential of hydrogen of Y, then X is greater than or equal to 0.0 and X is less than or equal to 14.0

consequent

(<=>
    (measure ?SOLUTION
        (MeasureFn ?PH PHValue))
    (potentialOfHydrogen ?SOLUTION ?PH))

The measure of X is Y PH value(s) if and only if Y is a potential of hydrogen of X