| 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 17344-17345 | |
| (subclass PlayingCard ContentBearingObject) | Mid-level-ontology.kif 17343-17343 | |
| (subclass PlayingCard GameArtifact) | Mid-level-ontology.kif 17342-17342 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage PlayingCard "纸牌") | domainEnglishFormat.kif 46299-46299 | |
| (termFormat ChineseTraditionalLanguage PlayingCard "紙牌") | domainEnglishFormat.kif 46298-46298 | |
| (termFormat EnglishLanguage PlayingCard "playing card") | domainEnglishFormat.kif 46297-46297 |
| antecedent |
|
|
| (=> (instance ?C PlayingCard) (material Paper ?C)) |
Mid-level-ontology.kif 17347-17349 |
|
|
|