Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Biography.kif 730-740	attribute AutonomousAgent and 作家例 Entity and ContentBearingObject 子類 ContentBearingObject and Text 子類 ContentBearingObject and Document 例 Process and Writing agent Process and AutonomousAgent 結果 Process and Entity 作者 AutonomousAgent and ContentBearingObject
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12719-12719	子類 Writing and ContentDevelopment
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12725-12725	子類 Encoding and Writing
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12731-12731	子類 Decoding and Writing