| GameDie(game die) | | dice, die |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18412-18413 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18411-18411 | Game die is a subclass of game piece |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25482-25482 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25481-25481 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25480-25480 |
|
|
|