(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 32873291 

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