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	Le nombre 1 argument de potentialOfHydrogen est une instance de solution
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3301-3301	Le nombre 2 argument de potentialOfHydrogen est une instance de nombre r�el
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3299-3299	potentialOfHydrogen est une instance de pr�dicat binaire

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