| 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 | Jeu est une sous-classe de affrontement |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13373-13373 | Jeu est une sous-classe de r�cr�ation ou exercice |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 465-465 | Chess est une sous-classe de jeu |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 467-467 | Darts est une sous-classe de jeu |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 469-469 | GoGame est une sous-classe de jeu |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 471-471 | Poker est une sous-classe de jeu |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 473-473 | Snooker est une sous-classe de jeu |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 475-475 | Blackjack est une sous-classe de jeu |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25870-25870 | VideoGame est une sous-classe de jeu |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13377-13377 | Sport est une sous-classe de jeu |
|
|