Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Decoding
Decoding(復号化)
more pictures...

appearance as argument number 1
-------------------------


(disjoint Decoding Encoding) Merge.kif 12864-12864 復号化 と 符号化 は disjoint では
(documentation Decoding ChineseLanguage "这是把一个之前被转成编码 (见 Encoding)的文件或信息， 转换成相对来说大部分人都能理解的 Language。") chinese_format.kif 3207-3208 復号化 と 符号化 は disjoint では
(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 12865-12867 復号化 と 符号化 は disjoint では
(externalImage Decoding "http://upload.wikimedia.org/wikipedia/commons/1/ 13/ Barcode_scanner.jpg") pictureList.kif 10809-10809 復号化 と 符号化 は disjoint では
(externalImage Decoding "http://upload.wikimedia.org/wikipedia/commons/6/ 6a/ Noia_64_mimetypes_real.png") pictureList.kif 10803-10803 復号化 と 符号化 は disjoint では
(externalImage Decoding "http://upload.wikimedia.org/wikipedia/commons/a/ ae/ Enigma.jpg") pictureList.kif 10805-10805 復号化 と 符号化 は disjoint では
(externalImage Decoding "http://upload.wikimedia.org/wikipedia/commons/b/ b3/ Codering_EAN-13.gif") pictureList.kif 10811-10811 復号化 と 符号化 は disjoint では
(externalImage Decoding "http://upload.wikimedia.org/wikipedia/commons/d/ d9/ Semapedia.jpg") pictureList.kif 10812-10812 復号化 と 符号化 は disjoint では
(externalImage Decoding "http://upload.wikimedia.org/wikipedia/commons/e/ ea/ CirrusLogicCS4282-AB.jpg") pictureList.kif 10806-10806 復号化 と 符号化 は disjoint では
(externalImage Decoding "http://upload.wikimedia.org/wikipedia/commons/f/ f8/ Neck_barcode_tattoo.jpg") pictureList.kif 10814-10814 復号化 と 符号化 は disjoint では
(externalImage Decoding "http://upload.wikimedia.org/wikipedia/en/a/a9/Parser_Flow.gif") pictureList.kif 10807-10807 復号化 と 符号化 は disjoint では
(externalImage Decoding "http://upload.wikimedia.org/wikipedia/en/b/bd/Geometry2.GIF") pictureList.kif 10808-10808 復号化 と 符号化 は disjoint では
(externalImage Decoding "http://upload.wikimedia.org/wikipedia/en/e/ee/BCH_63_36_Code_Graph2.png") pictureList.kif 10804-10804 復号化 と 符号化 は disjoint では
(subclass Decoding Writing) Merge.kif 12863-12863 復号化 は 執筆 の subclass では

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 de Decoding "Decodieren") terms-de.txt 689-689
(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 12869-12882
(=>
    (and
        (instance ?P Decoding)
        (agent ?P ?A))
    (exists (?CODE)
        (or
            (knows ?A ?CODE)
            (exists (?OBJ)
                (and
                    (instrument ?P ?OBJ)
                    (containsInformation ?OBJ ?CODE))))))		 QoSontology.kif 2313-2323
(=>
    (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 1194-1204
(=>
    (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 1259-1269

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 3590-3599


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners