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 12697-12697	子類 Writing and ContentDevelopment
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12703-12703	子類 Encoding and Writing
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12709-12709	子類 Decoding and Writing