(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.") 
Midlevelontology.kif 32553259 

(domain potentialOfHydrogen 1 Solution) 
Midlevelontology.kif 32613261 
The number 1 argument of potential of hydrogen is an instance of solution 
(domain potentialOfHydrogen 2 RealNumber) 
Midlevelontology.kif 32623262 
The number 2 argument of potential of hydrogen is an instance of real number 
(instance potentialOfHydrogen BinaryPredicate) 
Midlevelontology.kif 32603260 
potential of hydrogen is an instance of binary predicate 