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 12478-12478 解码 和 % 2 是 disjoint
(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 12479-12481
(externalImage Decoding "http://upload.wikimedia.org/wikipedia/commons/1/ 13/ Barcode-scanner.jpg") pictureList.kif 10821-10821
(externalImage Decoding "http://upload.wikimedia.org/wikipedia/commons/6/ 6a/ Noia_64_mimetypes_real.png") pictureList.kif 10815-10815
(externalImage Decoding "http://upload.wikimedia.org/wikipedia/commons/a/ ae/ Enigma.jpg") pictureList.kif 10817-10817
(externalImage Decoding "http://upload.wikimedia.org/wikipedia/commons/b/ b3/ Codering_EAN-13.gif") pictureList.kif 10823-10823
(externalImage Decoding "http://upload.wikimedia.org/wikipedia/commons/d/ d9/ Semapedia.jpg") pictureList.kif 10824-10824
(externalImage Decoding "http://upload.wikimedia.org/wikipedia/commons/e/ ea/ CirrusLogicCS4282-AB.jpg") pictureList.kif 10818-10818
(externalImage Decoding "http://upload.wikimedia.org/wikipedia/commons/f/ f8/ Neck_barcode_tattoo.jpg") pictureList.kif 10826-10826
(externalImage Decoding "http://upload.wikimedia.org/wikipedia/en/a/a9/Parser_Flow.gif") pictureList.kif 10819-10819
(externalImage Decoding "http://upload.wikimedia.org/wikipedia/en/b/bd/Geometry2.GIF") pictureList.kif 10820-10820
(externalImage Decoding "http://upload.wikimedia.org/wikipedia/en/e/ee/BCH_63_36_Code_Graph2.png") pictureList.kif 10816-10816
(subclass Decoding Writing) Merge.kif 12477-12477 解码写作subclass

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


(termFormat ChineseLanguage Decoding "解码") chinese_format.kif 1181-1181
(termFormat EnglishLanguage Decoding "decoding") english_format.kif 1579-1579

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 12483-12496
(=>
    (and
        (instance ?P Decoding)
        (agent ?P ?A))
    (exists (?CODE)
        (or
            (knows ?A ?CODE)
            (exists (?OBJ)
                (and
                    (instrument ?P ?OBJ)
                    (containsInformation ?OBJ ?CODE))))))
QoSontology.kif 2186-2196
(=>
    (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 3576-3585


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