potentialOfHydrogen |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3294-3298 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3300-3300 | The number 1 argument of potential of hydrogen is an instance of solution |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3301-3301 | The number 2 argument of potential of hydrogen is an instance of real number |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3299-3299 | potential of hydrogen is an instance of binary predicate |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2011-2011 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2010-2010 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2009-2009 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46898-46898 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46897-46897 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46896-46896 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3303-3307 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2548-2551 | The measure of a solution is a real number PH value(s) if and only if the real number is a potential of hydrogen of the solution |