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 and Solution
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3301-3301	域氫的潛力, 2 and RealNumber
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3299-3299	例氫的潛力 and BinaryPredicate

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