Decoding - Sigma Knowledge base Browser

appearance as argument number 1

(disjoint Decoding Encoding)	Merge.kif 12756-12756	Decoding is disjoint from encoding
(documentation Decoding ChineseLanguage "这是把一个之前被转成编码 (见 Encoding)的文件或信息，转换成相对来说大部分人都能理解的 Language。")	chinese_format.kif 3207-3208	Decoding is disjoint from encoding
(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	Decoding is disjoint from encoding
(externalImage Decoding "http://upload.wikimedia.org/wikipedia/commons/1/ 13/ Barcode-scanner.jpg")	pictureList.kif 10811-10811	Decoding is disjoint from encoding
(externalImage Decoding "http://upload.wikimedia.org/wikipedia/commons/6/ 6a/ Noia_64_mimetypes_real.png")	pictureList.kif 10805-10805	Decoding is disjoint from encoding
(externalImage Decoding "http://upload.wikimedia.org/wikipedia/commons/a/ ae/ Enigma.jpg")	pictureList.kif 10807-10807	Decoding is disjoint from encoding
(externalImage Decoding "http://upload.wikimedia.org/wikipedia/commons/b/ b3/ Codering_EAN-13.gif")	pictureList.kif 10813-10813	Decoding is disjoint from encoding
(externalImage Decoding "http://upload.wikimedia.org/wikipedia/commons/d/ d9/ Semapedia.jpg")	pictureList.kif 10814-10814	Decoding is disjoint from encoding
(externalImage Decoding "http://upload.wikimedia.org/wikipedia/commons/e/ ea/ CirrusLogicCS4282-AB.jpg")	pictureList.kif 10808-10808	Decoding is disjoint from encoding
(externalImage Decoding "http://upload.wikimedia.org/wikipedia/commons/f/ f8/ Neck_barcode_tattoo.jpg")	pictureList.kif 10816-10816	Decoding is disjoint from encoding
(externalImage Decoding "http://upload.wikimedia.org/wikipedia/en/a/a9/Parser_Flow.gif")	pictureList.kif 10809-10809	Decoding is disjoint from encoding
(externalImage Decoding "http://upload.wikimedia.org/wikipedia/en/b/bd/Geometry2.GIF")	pictureList.kif 10810-10810	Decoding is disjoint from encoding
(externalImage Decoding "http://upload.wikimedia.org/wikipedia/en/e/ee/BCH_63_36_Code_Graph2.png")	pictureList.kif 10806-10806	Decoding is disjoint from encoding
(subclass Decoding Writing)	Merge.kif 12755-12755	Decoding is a subclass of writing

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	If a process is an instance of decoding and a content bearing physical is a patient of the process, then there exist an entity, another content bearing physical,, , a time position and a proposition such that the other content bearing physical contains information the proposition and the content bearing physical contains information the proposition and the time position is a part of before the time of existence of the process and the entity is an instance of encoding and the other content bearing physical is a patient of the entity holds during the time position
(=> (and (instance ?P Decoding) (agent ?P ?A)) (exists (?CODE) (or (knows ?A ?CODE) (exists (?OBJ) (and (instrument ?P ?OBJ) (containsInformation ?OBJ ?CODE))))))	QoSontology.kif 2181-2191	If a process is an instance of decoding and a cognitive agent is an agent of the process, then there exists a formula such that the cognitive agent knows the formula or there exists an object such that the object is an instrument for the process and the object contains information the 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 1192-1202	If an entity is an instance of blu ray disc and a process is an instance of decoding and the entity is a patient of the process, then there exists an object such that the object is an instance of radiating light and the object is an instrument for the process and the wavelength of the object is 405 nanometer(s)
(=> (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	If an entity is an instance of compact disc and a process is an instance of decoding and the entity is a patient of the process, then there exists an object such that the object is an instance of radiating light and the object is an instrument for the process and the wavelength of the object is 780 nanometer(s)
(=> (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	If an entity is an instance of DVD and a process is an instance of decoding and the entity is a patient of the process, then there exists an object such that the object is an instance of radiating light and the object is an instrument for the process and the wavelength of the object is 650 nanometer(s)

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

If a process is an instance of verifying card code and a content bearing object is a patient of the process and a bank card is a card code of the content bearing object,
then there exists another process such that the other process is an instance of decoding and the other process is a subprocess of the process and the content bearing object is a patient of the other process

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: