Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17008-17013	If an object is an instance of game artifact, then there exists a kind of process such that a kind of process is a subclass of game and the object is capable of doing the kind of process as a instrument
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13418-13418	Game is a subclass of contest
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13419-13419	Game is a subclass of recreation or exercise
No TPTP formula. May not be expressible in strict first order.	Sports.kif 465-465	Chess is a subclass of game
No TPTP formula. May not be expressible in strict first order.	Sports.kif 467-467	Darts is a subclass of game
No TPTP formula. May not be expressible in strict first order.	Sports.kif 469-469	Go game is a subclass of game
No TPTP formula. May not be expressible in strict first order.	Sports.kif 471-471	Poker is a subclass of game
No TPTP formula. May not be expressible in strict first order.	Sports.kif 473-473	Snooker is a subclass of game
No TPTP formula. May not be expressible in strict first order.	Sports.kif 475-475	Blackjack is a subclass of game
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25903-25903	Videogame is a subclass of game
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13423-13423	Sport is a subclass of game