No TPTP formula. May not be expressible in strict first order. |
Sports.kif 609-609 |
BaseballBase est une sous-classe de GameArtifact |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 637-637 |
BaseballBat est une sous-classe de GameArtifact |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17015-17015 |
GameBoard est une sous-classe de GameArtifact |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17074-17074 |
GameGoal est une sous-classe de GameArtifact |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17027-17027 |
GamePiece est une sous-classe de GameArtifact |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 658-658 |
PitchersMound est une sous-classe de GameArtifact |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17151-17151 |
PlayingCard est une sous-classe de GameArtifact |
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 |
|