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 | 溶液 的 measure 是 实数 酸碱度 若且唯若 那个 实数 是 那个 溶液 的氢 potential |