Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Biography.kif 730-740	If writer is an attribute of an agent and an entity is an instance of a kind of content bearing object and a kind of content bearing object is a subclass of text or the kind of content bearing object is a subclass of document and a process is an instance of writing and the agent is an agent of the process and the entity is a result of the process, then the agent is the author of the kind of content bearing object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12719-12719	Writing is a subclass of content development
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12725-12725	Encoding is a subclass of writing
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12731-12731	Decoding is a subclass of writing