Decoding Comparison Table

Next Writing: Encoding Up: Writing

Decoding comparison table

Subject documentation be disjoint from is a kind of have axiom

Writing A subclass of ContentDevelopment in which content is expressed in a Language NonintentionalProcess ContentDevelopment
(=>
(instance ?PROC IntentionalProcess)
(exists (?AGENT)
(and
(instance ?AGENT CognitiveAgent)
(agent ?PROC ?AGENT))))

Decoding 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 Encoding Writing
(=>
(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))))))

Subject	documentation	be disjoint from	is a kind of	have axiom
Writing	A subclass of ContentDevelopment in which content is expressed in a Language	NonintentionalProcess	ContentDevelopment	(=> (instance ?PROC IntentionalProcess) (exists (?AGENT) (and (instance ?AGENT CognitiveAgent) (agent ?PROC ?AGENT))))
Decoding	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	Encoding	Writing	(=> (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: Encoding Up: Writing