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.	Mid-level-ontology.kif 122-130	例 Entity and OrganismRemains 例 Process and Death 體驗者 Process and AutonomousAgent 例 AutonomousAgent and AutonomousAgentTYPE 子類 AutonomousAgentTYPE and OrganicObject 結果 Process and Entity 例 Entity and 一個 dead AutonomousAgentTYPE
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18111-18119	例 Process and 收穫結果 Process and Entity EntityRG 例 Entity and 一個 dead EntityRG 子類 EntityRG and OrganicObject
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5485-5493	例 Process and 砍伐結果 Process and Entity EntityTEM 例 Entity and 一個 dead EntityTEM 子類 EntityTEM and PlantStem
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14816-14825	子類 Class and 報紙例 TimePosition and Week Process Entity 例 Process and Publication 時間部分何時 Process and TimePosition 結果 Process and Entity 例 Entity and Class