| PlayingCard | |
| appearance as argument number 1 |
|
|
| (documentation PlayingCard EnglishLanguage "A small piece of stiff paper with markings which is intended to be used for playing card games.") | Mid-level-ontology.kif 18513-18514 | |
| (subclass PlayingCard ContentBearingObject) | Mid-level-ontology.kif 18512-18512 | PlayingCard est une sous-classe de objet exprimant un sens |
| (subclass PlayingCard GameArtifact) | Mid-level-ontology.kif 18511-18511 | PlayingCard est une sous-classe de GameArtifact |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage PlayingCard "纸牌") | domainEnglishFormat.kif 46268-46268 | |
| (termFormat ChineseTraditionalLanguage PlayingCard "紙牌") | domainEnglishFormat.kif 46267-46267 | |
| (termFormat EnglishLanguage PlayingCard "playing card") | domainEnglishFormat.kif 46266-46266 |
| antecedent |
|
|
| (=> (instance ?C PlayingCard) (material Paper ?C)) |
Mid-level-ontology.kif 18516-18518 |
|
|
|
|