Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8243-8257	例 Process and RecreationOrExercise 儀器 Process and ProcessM 例 ProcessM and RowingMachine 體驗者 Process and AutonomousAgent 例 ProcessOW and 划船子過程 ProcessMOT and Process 子類 Class and BodyMotion 例 ProcessMOT and Class ProcessOWMOT 例 ProcessOWMOT and Class 子過程 ProcessOWMOT and Process agent ProcessOWMOT and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10523-10523	子類 RecreationOrExercise and IntentionalProcess
No TPTP formula. May not be expressible in strict first order.	Sports.kif 559-559	子類 FitnessExercise and RecreationOrExercise
No TPTP formula. May not be expressible in strict first order.	Sports.kif 560-560	子類 Yoga and RecreationOrExercise
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15984-15984	子類社交聚會 and RecreationOrExercise
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16067-16067	子類抽煙 and RecreationOrExercise
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20447-20447	子類度假 and RecreationOrExercise
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13373-13373	子類 Game and RecreationOrExercise