Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16980-16985	Objeto e' uma instancia de GameArtifact Processo Processo e' uma sub-classe de Jogo Objeto e' capaz de fazer Processo no role instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16975-16975	GameArtifact e' uma sub-classe de Artefato
No TPTP formula. May not be expressible in strict first order.	Sports.kif 609-609	BaseballBase e' uma sub-classe de GameArtifact
No TPTP formula. May not be expressible in strict first order.	Sports.kif 637-637	BaseballBat e' uma sub-classe de GameArtifact
No TPTP formula. May not be expressible in strict first order.	Sports.kif 658-658	PitchersMound e' uma sub-classe de GameArtifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16987-16987	GameBoard e' uma sub-classe de GameArtifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16999-16999	GamePiece e' uma sub-classe de GameArtifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17046-17046	GameGoal e' uma sub-classe de GameArtifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17123-17123	PlayingCard e' uma sub-classe de GameArtifact