TradingCard(trading card) | ![]() | baseball_card, trading_card |
appearance as argument number 1 |
![]() |
(documentation TradingCard EnglishLanguage "A Collectible that depicts some Human (such as a professional sports star) or imaginary AutonomousAgent (in the case of fantasy trading cards like Pokemon).") | Mid-level-ontology.kif 30637-30639 | |
(subclass TradingCard Icon) | Mid-level-ontology.kif 30636-30636 | Trading card is a subclass of icon |
appearance as argument number 2 |
![]() |
(termFormat EnglishLanguage TradingCard "trading card") | domainEnglishFormat.kif 65642-65642 |
antecedent |
![]() |
(=> (instance ?TC TradingCard) (attribute ?TC Collectible)) |
Mid-level-ontology.kif 30641-30643 |
|
![]() |
![]() |