Decoding - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Decoding

Decoding(decoding)

more pictures...

anglicise, anglicize, decipher, deciphered, decipherment, decode, decoding, decrypt, decryption, demodulate, metricise, metricize, receive, trace, transcribe, transliterate, undeciphered, unscramble, 復号化, 解码

VerbNet: transcribe-25.4|transcribe, transcribe-25.4|transcribe,

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17004-17004	Decoding is disjoint from encoding
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17008-17009
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17005-17007
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10832-10832	"http://upload.wikimedia.org/wikipedia/commons/1/13/ Barcode-scanner.jpg" is a URL depicting decoding
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10826-10826	"http://upload.wikimedia.org/wikipedia/commons/6/6a/ Noia_64_mimetypes_real.png" is a URL depicting decoding
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10828-10828	"http://upload.wikimedia.org/wikipedia/commons/a/ae/ Enigma.jpg" is a URL depicting decoding
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10834-10834	"http://upload.wikimedia.org/wikipedia/commons/b/b3/ Codering_EAN-13.gif" is a URL depicting decoding
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10835-10835	"http://upload.wikimedia.org/wikipedia/commons/d/d9/ Semapedia.jpg" is a URL depicting decoding
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10829-10829	"http://upload.wikimedia.org/wikipedia/commons/e/ea/ CirrusLogicCS4282-AB.jpg" is a URL depicting decoding
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10837-10837	"http://upload.wikimedia.org/wikipedia/commons/f/f8/ Neck_barcode_tattoo.jpg" is a URL depicting decoding
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10830-10830	"http://upload.wikimedia.org/wikipedia/en/a/a9/Parser_Flow.gif" is a URL depicting decoding
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10831-10831	"http://upload.wikimedia.org/wikipedia/en/b/bd/Geometry2.GIF" is a URL depicting decoding
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10827-10827	"http://upload.wikimedia.org/wikipedia/en/e/ee/BCH_63_36_Code_Graph2.png" is a URL depicting decoding
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17003-17003	Decoding is a subclass of writing

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1181-1181	"解码" is the printable form of decoding in ChineseLanguage
No TPTP formula. May not be expressible in strict first order.	english_format.kif 2252-2252	"decoding" is the printable form of decoding in english language
No TPTP formula. May not be expressible in strict first order.	english_format.kif 2253-2253	"復号化" is the printable form of decoding in japanese language

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17011-17023	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 and a time position such that the other content bearing physical contains information a 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
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2160-2170	If a process is an instance of decoding and an agent is an agent of the process, then there exists a formula such that the process 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
No TPTP formula. May not be expressible in strict first order.	Media.kif 1196-1206	If an entity is an instance of BluRayDisc 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)
No TPTP formula. May not be expressible in strict first order.	Media.kif 1160-1170	If an entity is an instance of CompactDisc 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)
No TPTP formula. May not be expressible in strict first order.	Media.kif 1261-1271	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

No TPTP formula. May not be expressible in strict first order.

FinancialOntology.kif 3463-3472

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