Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16980-16985	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 13394-13394	Game is a subclass of contest
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13395-13395	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 25858-25858	Videogame is a subclass of game
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13399-13399	Sport is a subclass of game