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	O argumento numero 1 de potentialOfHydrogen e' uma instancia de Solucao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3301-3301	O argumento numero 2 de potentialOfHydrogen e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3299-3299	potentialOfHydrogen e' uma instancia de Predicado Binario

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