SUMO   View all facts   Glossary   Help
Entity > Physical > Process > IntentionalProcess > ContentDevelopment > Writing > Decoding
Next WritingEncoding    UpWriting

Decoding
subjectfact 
Decodingdocumentation 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 speakers2001-11-30 13:34:01.0
has axiom
(=>
(and
(instance ?DECODE Decoding)
(patient ?DECODE ?DOC1))
(exists (?ENCODE ?DOC2)
(and
(containsInformation ?DOC2 ?PROP)
(containsInformation ?DOC1 ?PROP)
(holdsDuring ?TIME
(and
(temporalPart ?TIME (PastFn (WhenFn ?DECODE)))
(instance ?ENCODE Encoding)
(patient ?ENCODE ?DOC2))))))
2001-11-30 13:34:01.0
is disjoint from Encoding2001-11-30 13:34:01.0
is a kind of Writing2001-11-30 13:34:01.0
Processis first domain of agent2001-11-30 13:35:04.0
is first domain of capability2001-11-30 13:35:04.0
is first domain of causes2001-11-30 13:35:04.0
is first domain of destination2001-11-30 13:35:04.0
is first domain of direction2001-11-30 13:35:04.0
is first domain of effector2001-11-30 13:35:04.0
is first domain of experiencer2001-11-30 13:35:04.0
is first domain of frequency2001-11-30 13:35:04.0
is first domain of hasSkill2001-11-30 13:35:04.0
is first domain of holdsObligation2001-11-30 13:35:04.0
is first domain of holdsRight2001-11-30 13:35:04.0
is first domain of inhibits2001-11-30 13:35:04.0
is first domain of instrument2001-11-30 13:35:04.0
is first domain of manner2001-11-30 13:35:04.0
is first domain of origin2001-11-30 13:35:04.0
is first domain of patient2001-11-30 13:35:04.0
is first domain of precondition2001-11-30 13:35:04.0
is first domain of prevents2001-11-30 13:35:04.0
is first domain of realization2001-11-30 13:35:04.0
is first domain of resource2001-11-30 13:35:04.0
is first domain of result2001-11-30 13:35:04.0
is first domain of subProcess2001-11-30 13:35:04.0
is second domain of causes2001-11-30 13:35:04.0
is second domain of inhibits2001-11-30 13:35:04.0
is second domain of precondition2001-11-30 13:35:04.0
is second domain of prevents2001-11-30 13:35:04.0
is second domain of subProcess2001-11-30 13:35:04.0

Next WritingEncoding    UpWriting