more pictures...
| Encoding(encoding)
more pictures... | | 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 |
|
|
| (documentation Encoding ChineseLanguage "这是把文件或短信转成形式语言或一种只有相对少数的 Agent 能明白的代码。一般来说，这会妨碍广泛传播原文或信息内容。") | chinese_format.kif 3205-3206 | |
| (documentation Encoding EnglishLanguage "Converting a document or message into a formal language or into a code that can be understood only by a relatively small body of Agents. Generally speaking, this hinders wide dissemination of the content in the original document or message.") | Merge.kif 12674-12677 | |
| (externalImage Encoding "http://upload.wikimedia.org/wikipedia/commons/0/ 0e/ Huffmanpasso1.png") | pictureList.kif 10958-10958 | |
| (externalImage Encoding "http://upload.wikimedia.org/wikipedia/commons/2/ 20/ Huffmanpasso6.png") | pictureList.kif 10963-10963 | |
| (externalImage Encoding "http://upload.wikimedia.org/wikipedia/commons/3/ 30/ Huffmanpasso2.png") | pictureList.kif 10959-10959 | |
| (externalImage Encoding "http://upload.wikimedia.org/wikipedia/commons/4/ 40/ Huffmanpasso4.png") | pictureList.kif 10961-10961 | |
| (externalImage Encoding "http://upload.wikimedia.org/wikipedia/commons/6/ 6a/ Noia_64_mimetypes_real.png") | pictureList.kif 10953-10953 | |
| (externalImage Encoding "http://upload.wikimedia.org/wikipedia/commons/6/ 6c/ Sicherheitsetikett_1.jpg") | pictureList.kif 10957-10957 | |
| (externalImage Encoding "http://upload.wikimedia.org/wikipedia/commons/a/ ac/ Huffmanpasso5.png") | pictureList.kif 10962-10962 | |
| (externalImage Encoding "http://upload.wikimedia.org/wikipedia/commons/a/ ae/ Enigma.jpg") | pictureList.kif 10955-10955 | |
| (externalImage Encoding "http://upload.wikimedia.org/wikipedia/commons/b/ b2/ Huffmanpasso3.png") | pictureList.kif 10960-10960 | |
| (externalImage Encoding "http://upload.wikimedia.org/wikipedia/commons/f/ f9/ Adaptive_huffman.png") | pictureList.kif 10964-10964 | |
| (subclass Encoding Writing) | Merge.kif 12673-12673 | Encoding is a subclass of writing |
| appearance as argument number 2 |
|
|
| (disjoint Decoding Encoding) | Merge.kif 12680-12680 | Decoding is disjoint from encoding |
| (termFormat ChineseLanguage Encoding "编码") | chinese_format.kif 1180-1180 | |
| (termFormat EnglishLanguage Encoding "encoding") | english_format.kif 1577-1577 | |
| (termFormat FrenchLanguage Encoding "encoder") | french_format.kif 858-858 | |
| (termFormat Hindi Encoding "kuta lekhana") | terms-hindi.txt 390-390 | |
| (termFormat ItalianLanguage Encoding "Codificare") | terms-it.txt 393-393 | |
| (termFormat JapaneseLanguage Encoding "符号化") | japanese_format.kif 2542-2542 | |
| (termFormat PortugueseLanguage Encoding "Codificar") | portuguese_format.kif 810-810 | |
| (termFormat cz Encoding "encoding") | terms-cz.txt 429-429 | |
| (termFormat ro Encoding "codificare") | relations-ro.kif 879-879 | |
| (termFormat tg Encoding "Pagkodigo") | terms-tg.txt 394-394 |
| antecedent |
|
|
| (=> (and (instance ?P Encoding) (agent ?P ?A)) (exists (?CODE) (or (knows ?A ?CODE) (exists (?OBJ) (and (instrument ?P ?OBJ) (containsInformation ?OBJ ?CODE)))))) |
QoSontology.kif 2169-2179 |
|
| consequent |
|
|
|
|
|