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 | |
(domain potentialOfHydrogen 2 RealNumber) | Mid-level-ontology.kif 3301-3301 | |
(instance potentialOfHydrogen BinaryPredicate) | Mid-level-ontology.kif 3299-3299 |
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 |