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
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2160-2170
No TPTP formula. May not be expressible in strict first order. Media.kif 1196-1206
No TPTP formula. May not be expressible in strict first order. Media.kif 1160-1170
No TPTP formula. May not be expressible in strict first order. Media.kif 1261-1271

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. 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