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.	Mid-level-ontology.kif 16976-16976	Game artifact is a subclass of artifact
No TPTP formula. May not be expressible in strict first order.	Sports.kif 609-609	Baseball base is a subclass of game artifact
No TPTP formula. May not be expressible in strict first order.	Sports.kif 637-637	Baseball bat is a subclass of game artifact
No TPTP formula. May not be expressible in strict first order.	Sports.kif 658-658	Pitchers mound is a subclass of game artifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16988-16988	Game board is a subclass of game artifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17000-17000	Game piece is a subclass of game artifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17047-17047	Game goal is a subclass of game artifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17124-17124	Playing card is a subclass of game artifact