TreeView Knowledge Base Browser - GameArtifact

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - GameArtifact

GameArtifact(game artifact)

more pictures...

Churchill_Downs, billiard_table, box, corner_pocket, game, paddle, ping-pong_table, pingpong_paddle, pingpong_table, pool_table, side_pocket, snooker_table, sumo_ring, table-tennis_bat, table-tennis_racquet, table-tennis_table, tennis_racket, tennis_racquet, volleyball_net, wrestling_mat

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16976-16976	Game artifact is disjointly decomposed into game board and game piece
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16977-16978
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8498-8498
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9252-9252
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9248-9248
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9249-9249
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9250-9250
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9251-9251
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16975-16975	Game artifact is a subclass of artifact

appearance as argument number 2

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.	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 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 16999-16999	Game piece 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 17123-17123	Playing card is a subclass of game artifact
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25430-25430
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25429-25429
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25428-25428

antecedent

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

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners