Decoding - Sigma Knowledge base Browser

appearance as argument number 1

(disjoint Decoding Encoding)	Merge.kif 11803-11803	disjoint Decoding and Encoding
(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 11804-11806
(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 11802-11802	subclass Decoding and Writing

appearance as argument number 2

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

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 11808-11820	instance Process and Decoding patient Process and ContentBearingPhysical entity ContentBearingPhysical and TimePosition containsInformation ContentBearingPhysical and Proposition containsInformation ContentBearingPhysical and Proposition temporalPart TimePosition and PastFn WhenFn Process holdsDuring TimePosition and instance entity and Encoding patient entity and ContentBearingPhysical
(=> (and (instance ?P Decoding) (agent ?P ?A)) (exists (?CODE) (or (knows ?A ?CODE) (exists (?OBJ) (and (instrument ?P ?OBJ) (containsInformation ?OBJ ?CODE))))))	QoSontology.kif 2187-2197	instance Process and Decoding agent Process and CognitiveAgent Formula knows CognitiveAgent and Formula Object instrument Process and Object containsInformation Object and Formula
(=> (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	instance Entity and BluRayDisc instance Process and Decoding patient Process and Entity Object instance Object and RadiatingLight instrument Process and Object wavelength Object and MeasureFn 405 and Nanometer
(=> (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	instance Entity and CompactDisc instance Process and Decoding patient Process and Entity Object instance Object and RadiatingLight instrument Process and Object wavelength Object and MeasureFn 780 and Nanometer
(=> (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	instance Entity and DVD instance Process and Decoding patient Process and Entity Object instance Object and RadiatingLight instrument Process and Object wavelength Object and MeasureFn 650 and Nanometer

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 3470-3479

instance Process and VerifyingCardCode patient Process and ContentBearingObject cardCode ContentBearingObject and BankCard
Process instance Process and Decoding subProcess Process and Process patient Process and ContentBearingObject

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

KB Term:			Term intersection

English Word: