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.	Mid-level-ontology.kif 16975-16975	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 16987-16987	Game board is a subclass of game artifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16999-16999	Game piece is a subclass of game artifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17046-17046	Game goal is a subclass of game artifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17123-17123	Playing card is a subclass of game artifact