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	氢的潜力的 1 数量是溶液的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3301-3301	氢的潜力的 2 数量是实数的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3299-3299	氢的潜力是二元谓语的 instance

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