|
|
   Game
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3297-3297 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13396-13397 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13394-13394 | Jeu est une sous-classe de affrontement |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13395-13395 | Jeu est une sous-classe de r�cr�ation ou exercice |
| appearance as argument number 2 |
|
|
| 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. | 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. | Merge.kif 13399-13399 | Sport est une sous-classe de jeu |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25858-25858 | VideoGame est une sous-classe de jeu |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1212-1212 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1641-1641 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 890-890 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 423-423 | |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 426-426 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2574-2574 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 842-842 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 428-428 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 462-462 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 911-911 | |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 427-427 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1659-1659 | Le nombre 1 argument de achievement est une instance de jeu |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1692-1692 | Le nombre 1 argument de plays est une instance de jeu |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1681-1681 | Le nombre 1 argument de referee est une instance de jeu |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17050-17062 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19498-19508 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19514-19524 |
|
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 524-533 |
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 11478-11487 | |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 541-551 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16980-16985 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16991-16997 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16280-16285 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17032-17037 | |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1440-1448 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26772-26778 |
|
|
|