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 is a subclass of contest |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13373-13373 | Game is a subclass of recreation or exercise |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 465-465 | Chess is a subclass of game |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 467-467 | Darts is a subclass of game |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 469-469 | Go game is a subclass of game |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 471-471 | Poker is a subclass of game |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 473-473 | Snooker is a subclass of game |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 475-475 | Blackjack is a subclass of game |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25870-25870 | Videogame is a subclass of game |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13377-13377 | Sport is a subclass of game |