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

appearance as argument number 1
-------------------------


s__disjoint(s__Decoding,s__Encoding)

Merge.kif 12077-12077 Decoding is disjoint from encoding
s__documentation(s__Decoding,s__ChineseLanguage,'"这是把一个之前被转成编码 (见 Encoding)的文件或信息, 转换成相对来说大部分人都能理解的 Language。"')

chinese_format.kif 3207-3208
s__documentation(s__Decoding,s__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 12078-12080
s__externalImage(s__Decoding,'"http://upload.wikimedia.org/wikipedia/commons/1/ 13/ Barcode-scanner.jpg"')

pictureList.kif 10831-10831
s__externalImage(s__Decoding,'"http://upload.wikimedia.org/wikipedia/commons/6/ 6a/ Noia_64_mimetypes_real.png"')

pictureList.kif 10825-10825
s__externalImage(s__Decoding,'"http://upload.wikimedia.org/wikipedia/commons/a/ ae/ Enigma.jpg"')

pictureList.kif 10827-10827
s__externalImage(s__Decoding,'"http://upload.wikimedia.org/wikipedia/commons/b/ b3/ Codering_EAN-13.gif"')

pictureList.kif 10833-10833
s__externalImage(s__Decoding,'"http://upload.wikimedia.org/wikipedia/commons/d/ d9/ Semapedia.jpg"')

pictureList.kif 10834-10834
s__externalImage(s__Decoding,'"http://upload.wikimedia.org/wikipedia/commons/e/ ea/ CirrusLogicCS4282-AB.jpg"')

pictureList.kif 10828-10828
s__externalImage(s__Decoding,'"http://upload.wikimedia.org/wikipedia/commons/f/ f8/ Neck_barcode_tattoo.jpg"')

pictureList.kif 10836-10836
s__externalImage(s__Decoding,'"http://upload.wikimedia.org/wikipedia/en/a/a9/Parser_Flow.gif"')

pictureList.kif 10829-10829
s__externalImage(s__Decoding,'"http://upload.wikimedia.org/wikipedia/en/b/bd/Geometry2.GIF"')

pictureList.kif 10830-10830
s__externalImage(s__Decoding,'"http://upload.wikimedia.org/wikipedia/en/e/ee/BCH_63_36_Code_Graph2.png"')

pictureList.kif 10826-10826
s__subclass(s__Decoding,s__Writing)

s__instance(s__Writing,s__SetOrClass)

s__instance(s__Decoding,s__SetOrClass)

Merge.kif 12076-12076 Decoding is a subclass of writing

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


s__termFormat(s__ChineseLanguage,s__Decoding,'"解码"')

chinese_format.kif 1181-1181
s__termFormat(s__EnglishLanguage,s__Decoding,'"decoding"')

english_format.kif 1584-1584

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 12082-12094
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2187-2197
( ! [V__X,V__READ] :
   (((s__instance(V__X,s__BluRayDisc) &
         s__instance(V__READ,s__Decoding) &
         s__patient(V__READ,V__X))
     =>
     (( ? [V__LASER] :
         ((s__instance(V__LASER,s__RadiatingLight) &
             s__instrument(V__READ,V__LASER)
           &
           s__wavelength(V__LASER,s__MeasureFn(n__405,s__Nanometer)))))))
)
)

Media.kif 1196-1206
( ! [V__X,V__READ] :
   (((s__instance(V__X,s__CompactDisc) &
         s__instance(V__READ,s__Decoding) &
         s__patient(V__READ,V__X))
     =>
     (( ? [V__LASER] :
         ((s__instance(V__LASER,s__RadiatingLight) &
             s__instrument(V__READ,V__LASER)
           &
           s__wavelength(V__LASER,s__MeasureFn(n__780,s__Nanometer)))))))
)
)

Media.kif 1160-1170
( ! [V__X,V__READ] :
   (((s__instance(V__X,s__DVD) &
         s__instance(V__READ,s__Decoding) &
         s__patient(V__READ,V__X))
     =>
     (( ? [V__LASER] :
         ((s__instance(V__LASER,s__RadiatingLight) &
             s__instrument(V__READ,V__LASER)
           &
           s__wavelength(V__LASER,s__MeasureFn(n__650,s__Nanometer)))))))
)
)

Media.kif 1261-1271

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


( ! [V__Card,V__Code,V__Check] :
   (((s__instance(V__Card,s__BankCard) &
         s__instance(V__Code,s__ContentBearingObject))
       =>
       (((s__instance(V__Check,s__VerifyingCardCode) &
             s__patient(V__Check,V__Code)
           &
           s__cardCode(V__Code,V__Card))
       =>
       (( ? [V__Decode] :
           ((s__instance(V__Decode,s__Decoding) &
               s__subProcess(V__Decode,V__Check)
             &
             s__patient(V__Decode,V__Code))))))))
)
)

FinancialOntology.kif 3512-3521


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