Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16981-16986	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 13372-13372	Game is a subclass of contest
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13373-13373	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 25870-25870	Videogame is a subclass of game
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13377-13377	Sport is a subclass of game