| 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 14763-14764 | |
| (subclass PlayingCard ContentBearingObject) | Mid-level-ontology.kif 14762-14762 | |
| (subclass PlayingCard GameArtifact) | Mid-level-ontology.kif 14761-14761 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage PlayingCard "纸牌") | domainEnglishFormat.kif 46165-46165 | |
| (termFormat ChineseTraditionalLanguage PlayingCard "紙牌") | domainEnglishFormat.kif 46164-46164 | |
| (termFormat EnglishLanguage PlayingCard "playing card") | domainEnglishFormat.kif 46163-46163 |
| antecedent |
|
|
| (=> (instance ?C PlayingCard) (material Paper ?C)) |
Mid-level-ontology.kif 14766-14768 |
|
|
|