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 | A medida de Solucao e' Numero Real PHValue(s) potentialOfHydrogen Solucao and Numero Real |
![]() |
![]() |