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 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 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 17000-17000 |
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 17124-17124 |
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 |
|