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 12575-12575
(documentation Decoding ChineseLanguage "这是把一个之前被转成编码 (见 Encoding)的文件或信息, 转换成相对来说大部分人都能理解的 Language。") Merge.kif 12579-12580
(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 12576-12578
(externalImage Decoding "http://upload.wikimedia.org/wikipedia/commons/1/ 13/ Barcode-scanner.jpg") pictureList.kif 10832-10832
(externalImage Decoding "http://upload.wikimedia.org/wikipedia/commons/6/ 6a/ Noia_64_mimetypes_real.png") pictureList.kif 10826-10826
(externalImage Decoding "http://upload.wikimedia.org/wikipedia/commons/a/ ae/ Enigma.jpg") pictureList.kif 10828-10828
(externalImage Decoding "http://upload.wikimedia.org/wikipedia/commons/b/ b3/ Codering_EAN-13.gif") pictureList.kif 10834-10834
(externalImage Decoding "http://upload.wikimedia.org/wikipedia/commons/d/ d9/ Semapedia.jpg") pictureList.kif 10835-10835
(externalImage Decoding "http://upload.wikimedia.org/wikipedia/commons/e/ ea/ CirrusLogicCS4282-AB.jpg") pictureList.kif 10829-10829
(externalImage Decoding "http://upload.wikimedia.org/wikipedia/commons/f/ f8/ Neck_barcode_tattoo.jpg") pictureList.kif 10837-10837
(externalImage Decoding "http://upload.wikimedia.org/wikipedia/en/a/a9/Parser_Flow.gif") pictureList.kif 10830-10830
(externalImage Decoding "http://upload.wikimedia.org/wikipedia/en/b/bd/Geometry2.GIF") pictureList.kif 10831-10831
(externalImage Decoding "http://upload.wikimedia.org/wikipedia/en/e/ee/BCH_63_36_Code_Graph2.png") pictureList.kif 10827-10827
(subclass Decoding Writing) Merge.kif 12574-12574

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage Decoding "解码") chinese_format.kif 1181-1181
(termFormat EnglishLanguage Decoding "decoding") english_format.kif 868-868
(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 392-392
(termFormat PortugueseLanguage Decoding "Decodificar") portuguese_format.kif 811-811
(termFormat cz Decoding "decoding") terms-cz.txt 430-430
(termFormat tg Decoding "") terms-tg.txt 395-395

antecedent
-------------------------


(=>
    (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 12582-12594
(=>
    (and
        (instance ?P Decoding)
        (agent ?P ?A))
    (exists (?CODE)
        (or
            (knows ?P ?CODE)
            (exists (?OBJ)
                (and
                    (instrument ?P ?OBJ)
                    (containsInformation ?OBJ ?CODE))))))
QoSontology.kif 2144-2154
(=>
    (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 1196-1206
(=>
    (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 1160-1170
(=>
    (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 1261-1271

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 3463-3472


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners