TreeView Knowledge Base Browser - 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

If a real number is a potential of hydrogen of a solution,
then the real number is greater than or equal to 0.0 and the real number is less than or equal to 14.0

consequent

No TPTP formula. May not be expressible in strict first order.

Geography.kif 2548-2551