InformationMeasure(information measure) | EB, Eb, Ebit, EiB, Eibit, Gibit, Mibit, Pibit, Tibit, Yibit, ZB, Zb, Zbit, ZiB, Zibit, capacity, entropy, exabit, exabyte, exbibit, exbibyte, formatted_capacity, gibibit, information, kibibit, kibit, mebibit, pebibit, selective_information, tebibit, unformatted_capacity, yobibit, zebibit, zebibyte, zettabit, zettabyte |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2624-2625 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7413-7415 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1339-1340 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7411-7411 | Information measure is a subclass of constant quantity |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1312-1312 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1841-1841 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 990-990 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 525-525 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 529-529 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2674-2674 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 942-942 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 565-565 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 1011-1011 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 530-530 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6406-6410 |
|