SUMO   View all facts   Glossary   Help
Entity > Physical > Process > IntentionalProcess > ContentDevelopment > Writing > Encoding
Next Writing: Decoding    Up: Writing

Encoding comparison table
Subject documentation is a kind of have axiom
WritingA subclass of ContentDevelopment in which content is expressed in a LanguageContentDevelopment
(=>
    (instance ?PROC IntentionalProcess)
    (exists (?AGENT)
       (and
          (instance ?AGENT CognitiveAgent)
          (agent ?PROC ?AGENT))))
EncodingConverting a document or message into a formal language or into a code that can be understood only by a relatively small body of Agents. Generally speaking, this hinders wide dissemination of the content in the original document or messageWriting
(=>
    (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))))))

Next Writing: Decoding    Up: Writing