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. | Mid-level-ontology.kif 17152-17152 | PlayingCard est une sous-classe de objet exprimant un sens |