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 3294-3298
(domain potentialOfHydrogen 1 Solution)	Mid-level-ontology.kif 3300-3300	potentialOfHydrogen の数値 1 引数は溶液の instance では %n
(domain potentialOfHydrogen 2 RealNumber)	Mid-level-ontology.kif 3301-3301	potentialOfHydrogen の数値 2 引数は実数の instance では %n
(instance potentialOfHydrogen BinaryPredicate)	Mid-level-ontology.kif 3299-3299	potentialOfHydrogen は 2進述語の instance では %n

appearance as argument number 2

(format ChineseLanguage potentialOfHydrogen "%2 %n 是 %1 的氢 potential ")	domainEnglishFormat.kif 2011-2011
(format ChineseTraditionalLanguage potentialOfHydrogen "%2 %n 是 %1 的氫 potential ")	domainEnglishFormat.kif 2010-2010
(format EnglishLanguage potentialOfHydrogen "%2 is %n a potential of hydrogen of %1")	domainEnglishFormat.kif 2009-2009
(termFormat ChineseLanguage potentialOfHydrogen "氢的潜力")	domainEnglishFormat.kif 46898-46898
(termFormat ChineseTraditionalLanguage potentialOfHydrogen "氫的潛力")	domainEnglishFormat.kif 46897-46897
(termFormat EnglishLanguage potentialOfHydrogen "potential of hydrogen")	domainEnglishFormat.kif 46896-46896

antecedent

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

Mid-level-ontology.kif 3303-3307

consequent

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

Geography.kif 2548-2551