Encoding(encoding)![]() ![]() ![]() ![]() | ![]() | cipher, code, coding, compile, cryptography, cut, cypher, data_encryption, digitalise, digitalize, digitise, digitize, encipher, encode, encoding, encrypt, encryption, hack, hack_on, heterodyne, inscribe, modulate, program, programme, recoding, save, scramble, secret_writing, steganography, write, write_in_code |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3205-3206 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12858-12861 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10948-10948 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10953-10953 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10949-10949 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10951-10951 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10943-10943 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10947-10947 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10952-10952 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10945-10945 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10950-10950 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10954-10954 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12857-12857 | Encoding is a subclass of writing |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12864-12864 | Decoding is disjoint from encoding |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1180-1180 | Decoding is disjoint from encoding |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1577-1577 | Decoding is disjoint from encoding |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 858-858 | Decoding is disjoint from encoding |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 390-390 | Decoding is disjoint from encoding |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 393-393 | Decoding is disjoint from encoding |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2542-2542 | Decoding is disjoint from encoding |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 810-810 | Decoding is disjoint from encoding |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 429-429 | Decoding is disjoint from encoding |
No TPTP formula. May not be expressible in strict first order. | terms-de.txt 688-688 | Decoding is disjoint from encoding |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 879-879 | Decoding is disjoint from encoding |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 394-394 | Decoding is disjoint from encoding |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2301-2311 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3522-3529 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12869-12882 |
|
![]() |
![]() |