Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Decoding
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Decoding Writing) | Merge.kif 12999-12999 | Decoding is a subclass of writing |
| (disjoint Decoding Encoding) | Merge.kif 13000-13000 | 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 13001-13003 | Decoding is disjoint from encoding |
| (externalImage Decoding "http://upload.wikimedia.org/wikipedia/commons/6/ 6a/ Noia_64_mimetypes_real.png") | pictureList.kif 10803-10803 | Decoding is disjoint from encoding |
| (externalImage Decoding "http://upload.wikimedia.org/wikipedia/en/e/ee/BCH_63_36_Code_Graph2.png") | pictureList.kif 10804-10804 | Decoding is disjoint from encoding |
| (externalImage Decoding "http://upload.wikimedia.org/wikipedia/commons/a/ ae/ Enigma.jpg") | pictureList.kif 10805-10805 | Decoding is disjoint from encoding |
| (externalImage Decoding "http://upload.wikimedia.org/wikipedia/commons/e/ ea/ CirrusLogicCS4282-AB.jpg") | pictureList.kif 10806-10806 | Decoding is disjoint from encoding |
| (externalImage Decoding "http://upload.wikimedia.org/wikipedia/en/a/a9/Parser_Flow.gif") | pictureList.kif 10807-10807 | Decoding is disjoint from encoding |
| (externalImage Decoding "http://upload.wikimedia.org/wikipedia/en/b/bd/Geometry2.GIF") | pictureList.kif 10808-10808 | Decoding is disjoint from encoding |
| (externalImage Decoding "http://upload.wikimedia.org/wikipedia/commons/1/ 13/ Barcode_scanner.jpg") | pictureList.kif 10809-10809 | Decoding is disjoint from encoding |
| (externalImage Decoding "http://upload.wikimedia.org/wikipedia/commons/b/ b3/ Codering_EAN-13.gif") | pictureList.kif 10811-10811 | Decoding is disjoint from encoding |
| (externalImage Decoding "http://upload.wikimedia.org/wikipedia/commons/d/ d9/ Semapedia.jpg") | pictureList.kif 10812-10812 | Decoding is disjoint from encoding |
| (externalImage Decoding "http://upload.wikimedia.org/wikipedia/commons/f/ f8/ Neck_barcode_tattoo.jpg") | pictureList.kif 10814-10814 | Decoding is disjoint from encoding |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Decoding "decoding") | english_format.kif 1583-1583 |
| 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 13005-13018 | If X is an instance of decoding and Y is a patient of X, then there exist Z, W,, , V, U such that W contains information U, Y contains information U, V is a part of before the time of existence of X, Z is an instance of encoding, and W is a patient of Z holds during V |
| (=> (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 1101-1111 | If X is an instance of compact disc, Y is an instance of decoding, and X is a patient of Y, then there exists Z such that Z is an instance of radiating light and Z is an instrument for Y and the wavelength of Z is 780 nanometer(s) |
| (=> (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 1139-1149 | If X is an instance of blu ray disc, Y is an instance of decoding, and X is a patient of Y, then there exists Z such that Z is an instance of radiating light and Z is an instrument for Y and the wavelength of Z is 405 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 1204-1214 | If X is an instance of DVD, Y is an instance of decoding, and X is a patient of Y, then there exists Z such that Z is an instance of radiating light and Z is an instrument for Y and the wavelength of Z is 650 nanometer(s) |
| (=> (and (instance ?P Decoding) (agent ?P ?A)) (exists (?CODE) (or (knows ?A ?CODE) (exists (?OBJ) (and (instrument ?P ?OBJ) (containsFormula ?OBJ ?CODE)))))) |
QoSontology.kif 2305-2315 | If X is an instance of decoding and Y is an agent of X, then there exists Z such that Y knows Z or there exists W such that W is an instrument for X and W contains the formula Z |
| 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 3630-3639 | If X is an instance of verifying card code, Y is a patient of X, and Z is a card code of Y, then there exists W such that W is an instance of decoding, W is a subprocess of X, and Y is a patient of W |
|
