more pictures...
VerbNet: create-26.4|write,
| Encoding
more pictures... | | VerbNet: create-26.4|write, |
| 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 11656-11659 | |
| (externalImage Encoding "http://upload.wikimedia.org/wikipedia/commons/0/ 0e/ Huffmanpasso1.png") | pictureList.kif 10977-10977 | externalImage Encoding and "http://upload.wikimedia.org/wikipedia/commons/0/0e/ Huffmanpasso1.png" |
| (externalImage Encoding "http://upload.wikimedia.org/wikipedia/commons/2/ 20/ Huffmanpasso6.png") | pictureList.kif 10982-10982 | externalImage Encoding and "http://upload.wikimedia.org/wikipedia/commons/2/20/ Huffmanpasso6.png" |
| (externalImage Encoding "http://upload.wikimedia.org/wikipedia/commons/3/ 30/ Huffmanpasso2.png") | pictureList.kif 10978-10978 | externalImage Encoding and "http://upload.wikimedia.org/wikipedia/commons/3/30/ Huffmanpasso2.png" |
| (externalImage Encoding "http://upload.wikimedia.org/wikipedia/commons/4/ 40/ Huffmanpasso4.png") | pictureList.kif 10980-10980 | externalImage Encoding and "http://upload.wikimedia.org/wikipedia/commons/4/40/ Huffmanpasso4.png" |
| (externalImage Encoding "http://upload.wikimedia.org/wikipedia/commons/6/ 6a/ Noia_64_mimetypes_real.png") | pictureList.kif 10972-10972 | externalImage Encoding and "http://upload.wikimedia.org/wikipedia/commons/6/6a/ Noia_64_mimetypes_real.png" |
| (externalImage Encoding "http://upload.wikimedia.org/wikipedia/commons/6/ 6c/ Sicherheitsetikett_1.jpg") | pictureList.kif 10976-10976 | externalImage Encoding and "http://upload.wikimedia.org/wikipedia/commons/6/6c/ Sicherheitsetikett_1.jpg" |
| (externalImage Encoding "http://upload.wikimedia.org/wikipedia/commons/a/ ac/ Huffmanpasso5.png") | pictureList.kif 10981-10981 | externalImage Encoding and "http://upload.wikimedia.org/wikipedia/commons/a/ac/ Huffmanpasso5.png" |
| (externalImage Encoding "http://upload.wikimedia.org/wikipedia/commons/a/ ae/ Enigma.jpg") | pictureList.kif 10974-10974 | externalImage Encoding and "http://upload.wikimedia.org/wikipedia/commons/a/ae/ Enigma.jpg" |
| (externalImage Encoding "http://upload.wikimedia.org/wikipedia/commons/b/ b2/ Huffmanpasso3.png") | pictureList.kif 10979-10979 | externalImage Encoding and "http://upload.wikimedia.org/wikipedia/commons/b/b2/ Huffmanpasso3.png" |
| (externalImage Encoding "http://upload.wikimedia.org/wikipedia/commons/f/ f9/ Adaptive_huffman.png") | pictureList.kif 10983-10983 | externalImage Encoding and "http://upload.wikimedia.org/wikipedia/commons/f/f9/ Adaptive_huffman.png" |
| (subclass Encoding Writing) | Merge.kif 11655-11655 | subclass Encoding and Writing |
| appearance as argument number 2 |
|
|
| (disjoint Decoding Encoding) | Merge.kif 11662-11662 | disjoint Decoding and Encoding |
| (termFormat ChineseLanguage Encoding "编码") | chinese_format.kif 1180-1180 | termFormat ChineseLanguage, Encoding and "编码" |
| (termFormat EnglishLanguage Encoding "encoding") | english_format.kif 1582-1582 | termFormat EnglishLanguage, Encoding and "encoding" |
| 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 2175-2185 |
|
| consequent |
|
|
| (=> (and (cardCode ?Code ?Card) (cardAccount ?Card ?Account)) (exists (?Encoding) (and (instance ?Encoding Encoding) (patient ?Encoding ?Account)))) |
FinancialOntology.kif 3401-3408 | |
| (=> (and (instance ?DECODE Decoding) (patient ?DECODE ?DOC1)) (exists (?ENCODE ?DOC2 ?TIME) (and (containsInformation ?DOC2 ?PROP) (containsInformation ?DOC1 ?PROP) (temporalPart ?TIME (PastFn (WhenFn ?DECODE))) (holdsDuring ?TIME (and (instance ?ENCODE Encoding) (patient ?ENCODE ?DOC2)))))) |
Merge.kif 11667-11679 |
|
|
|
|