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 | 測量 Solution and 測量 RealNumber and 酸鹼度 RealNumber 是 Solution 的氫 potential |