Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8242-8256	例 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 10545-10545	子類 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 15983-15983	子類社交聚會 and RecreationOrExercise
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16066-16066	子類抽煙 and RecreationOrExercise
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20446-20446	子類度假 and RecreationOrExercise
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13395-13395	子類 Game and RecreationOrExercise