more pictures...
| Decoding
more pictures... | |
| appearance as argument number 1 |
|
|
| (disjoint Decoding Encoding) | Merge.kif 12756-12756 | |
| (documentation Decoding ChineseLanguage "这是把一个之前被转成编码 (见 Encoding)的文件或信息， 转换成相对来说大部分人都能理解的 Language。") | chinese_format.kif 3207-3208 | |
| (documentation Decoding EnglishLanguage "Converting a document or message that has previously been encoded (see Encoding) into a Language that can be understood by a relatively large number of speakers.") | Merge.kif 12757-12759 | |
| (externalImage Decoding "http://upload.wikimedia.org/wikipedia/commons/1/ 13/ Barcode-scanner.jpg") | pictureList.kif 10810-10810 | |
| (externalImage Decoding "http://upload.wikimedia.org/wikipedia/commons/6/ 6a/ Noia_64_mimetypes_real.png") | pictureList.kif 10804-10804 | |
| (externalImage Decoding "http://upload.wikimedia.org/wikipedia/commons/a/ ae/ Enigma.jpg") | pictureList.kif 10806-10806 | |
| (externalImage Decoding "http://upload.wikimedia.org/wikipedia/commons/b/ b3/ Codering_EAN-13.gif") | pictureList.kif 10812-10812 | |
| (externalImage Decoding "http://upload.wikimedia.org/wikipedia/commons/d/ d9/ Semapedia.jpg") | pictureList.kif 10813-10813 | |
| (externalImage Decoding "http://upload.wikimedia.org/wikipedia/commons/e/ ea/ CirrusLogicCS4282-AB.jpg") | pictureList.kif 10807-10807 | |
| (externalImage Decoding "http://upload.wikimedia.org/wikipedia/commons/f/ f8/ Neck_barcode_tattoo.jpg") | pictureList.kif 10815-10815 | |
| (externalImage Decoding "http://upload.wikimedia.org/wikipedia/en/a/a9/Parser_Flow.gif") | pictureList.kif 10808-10808 | |
| (externalImage Decoding "http://upload.wikimedia.org/wikipedia/en/b/bd/Geometry2.GIF") | pictureList.kif 10809-10809 | |
| (externalImage Decoding "http://upload.wikimedia.org/wikipedia/en/e/ee/BCH_63_36_Code_Graph2.png") | pictureList.kif 10805-10805 | |
| (subclass Decoding Writing) | Merge.kif 12755-12755 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Decoding "解码") | chinese_format.kif 1181-1181 | |
| (termFormat EnglishLanguage Decoding "decoding") | english_format.kif 1579-1579 | |
| (termFormat FrenchLanguage Decoding "decoder") | french_format.kif 859-859 | |
| (termFormat Hindi Decoding "kuta vyaakhyaayana") | terms-hindi.txt 391-391 | |
| (termFormat ItalianLanguage Decoding "Decodificare") | terms-it.txt 394-394 | |
| (termFormat JapaneseLanguage Decoding "復号化") | japanese_format.kif 2543-2543 | |
| (termFormat PortugueseLanguage Decoding "Decodificar") | portuguese_format.kif 811-811 | |
| (termFormat cz Decoding "decoding") | terms-cz.txt 430-430 | |
| (termFormat ro Decoding "decodificare") | relations-ro.kif 880-880 | |
| (termFormat tg Decoding "") | terms-tg.txt 395-395 |
| antecedent |
|
|
| (=> (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 12761-12774 | |
| (=> (and (instance ?P Decoding) (agent ?P ?A)) (exists (?CODE) (or (knows ?A ?CODE) (exists (?OBJ) (and (instrument ?P ?OBJ) (containsInformation ?OBJ ?CODE)))))) |
QoSontology.kif 2287-2297 | |
| (=> (and (instance ?X BluRayDisc) (instance ?READ Decoding) (patient ?READ ?X)) (exists (?LASER) (and (instance ?LASER RadiatingLight) (instrument ?READ ?LASER) (wavelength ?LASER (MeasureFn 405 Nanometer))))) |
Media.kif 1192-1202 | |
| (=> (and (instance ?X CompactDisc) (instance ?READ Decoding) (patient ?READ ?X)) (exists (?LASER) (and (instance ?LASER RadiatingLight) (instrument ?READ ?LASER) (wavelength ?LASER (MeasureFn 780 Nanometer))))) |
Media.kif 1156-1166 | |
| (=> (and (instance ?X DVD) (instance ?READ Decoding) (patient ?READ ?X)) (exists (?LASER) (and (instance ?LASER RadiatingLight) (instrument ?READ ?LASER) (wavelength ?LASER (MeasureFn 650 Nanometer))))) |
Media.kif 1257-1267 |
| consequent |
|
|
| (=> (and (instance ?Check VerifyingCardCode) (patient ?Check ?Code) (cardCode ?Code ?Card)) (exists (?Decode) (and (instance ?Decode Decoding) (subProcess ?Decode ?Check) (patient ?Decode ?Code)))) |
FinancialOntology.kif 3572-3581 |
|
|
|