more pictures...
| Encoding(符号化)
more pictures... | |
| 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 12858-12861 | |
| (externalImage Encoding "http://upload.wikimedia.org/wikipedia/commons/0/ 0e/ Huffmanpasso1.png") | pictureList.kif 10948-10948 | |
| (externalImage Encoding "http://upload.wikimedia.org/wikipedia/commons/2/ 20/ Huffmanpasso6.png") | pictureList.kif 10953-10953 | |
| (externalImage Encoding "http://upload.wikimedia.org/wikipedia/commons/3/ 30/ Huffmanpasso2.png") | pictureList.kif 10949-10949 | |
| (externalImage Encoding "http://upload.wikimedia.org/wikipedia/commons/4/ 40/ Huffmanpasso4.png") | pictureList.kif 10951-10951 | |
| (externalImage Encoding "http://upload.wikimedia.org/wikipedia/commons/6/ 6a/ Noia_64_mimetypes_real.png") | pictureList.kif 10943-10943 | |
| (externalImage Encoding "http://upload.wikimedia.org/wikipedia/commons/6/ 6c/ Sicherheitsetikett_1.jpg") | pictureList.kif 10947-10947 | |
| (externalImage Encoding "http://upload.wikimedia.org/wikipedia/commons/a/ ac/ Huffmanpasso5.png") | pictureList.kif 10952-10952 | |
| (externalImage Encoding "http://upload.wikimedia.org/wikipedia/commons/a/ ae/ Enigma.jpg") | pictureList.kif 10945-10945 | |
| (externalImage Encoding "http://upload.wikimedia.org/wikipedia/commons/b/ b2/ Huffmanpasso3.png") | pictureList.kif 10950-10950 | |
| (externalImage Encoding "http://upload.wikimedia.org/wikipedia/commons/f/ f9/ Adaptive_huffman.png") | pictureList.kif 10954-10954 | |
| (subclass Encoding Writing) | Merge.kif 12857-12857 | 符号化 は 執筆 の subclass では |
| appearance as argument number 2 |
|
|
| (disjoint Decoding Encoding) | Merge.kif 12864-12864 | 復号化 と 符号化 は disjoint では |
| (termFormat ChineseLanguage Encoding "编码") | chinese_format.kif 1180-1180 | 復号化 と 符号化 は disjoint では |
| (termFormat EnglishLanguage Encoding "encoding") | english_format.kif 1577-1577 | 復号化 と 符号化 は disjoint では |
| (termFormat FrenchLanguage Encoding "encoder") | french_format.kif 858-858 | 復号化 と 符号化 は disjoint では |
| (termFormat Hindi Encoding "kuta lekhana") | terms-hindi.txt 390-390 | 復号化 と 符号化 は disjoint では |
| (termFormat ItalianLanguage Encoding "Codificare") | terms-it.txt 393-393 | 復号化 と 符号化 は disjoint では |
| (termFormat JapaneseLanguage Encoding "符号化") | japanese_format.kif 2542-2542 | 復号化 と 符号化 は disjoint では |
| (termFormat PortugueseLanguage Encoding "Codificar") | portuguese_format.kif 810-810 | 復号化 と 符号化 は disjoint では |
| (termFormat cz Encoding "encoding") | terms-cz.txt 429-429 | 復号化 と 符号化 は disjoint では |
| (termFormat de Encoding "Kodieren") | terms-de.txt 688-688 | 復号化 と 符号化 は disjoint では |
| (termFormat ro Encoding "codificare") | relations-ro.kif 879-879 | 復号化 と 符号化 は disjoint では |
| (termFormat tg Encoding "Pagkodigo") | terms-tg.txt 394-394 | 復号化 と 符号化 は disjoint では |
| 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 2301-2311 |
| consequent |
|
|
| (=> (and (cardCode ?Code ?Card) (cardAccount ?Card ?Account)) (exists (?Encoding) (and (instance ?Encoding Encoding) (patient ?Encoding ?Account)))) |
FinancialOntology.kif 3522-3529 |
|
| (=> (and (instance ?DECODE Decoding) (patient ?DECODE ?DOC1)) (exists (?ENCODE ?DOC2 ?TIME ?PROP) (and (containsInformation ?DOC2 ?PROP) (containsInformation ?DOC1 ?PROP) (temporalPart ?TIME (PastFn (WhenFn ?DECODE))) (holdsDuring ?TIME (and (instance ?ENCODE Encoding) (patient ?ENCODE ?DOC2)))))) |
Merge.kif 12869-12882 |
|
|
|
|