| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16981-16986 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13372-13372 | 子類 Game and Contest |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13373-13373 | 子類 Game and RecreationOrExercise |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 465-465 | 子類 Chess and Game |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 467-467 | 子類 Darts and Game |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 469-469 | 子類 GoGame and Game |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 471-471 | 子類 Poker and Game |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 473-473 | 子類 Snooker and Game |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 475-475 | 子類 Blackjack and Game |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25870-25870 | 子類 VideoGame and Game |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13377-13377 | 子類 Sport and Game |
|
|