Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   TradingCard
|
|
|
| appearance as argument number 1 |
|
|
| (subclass TradingCard Icon) | Mid-level-ontology.kif 32132-32132 | Trading card is a subclass of icon |
| (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 32133-32135 | Trading card is a subclass of icon |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage TradingCard "trading card") | domainEnglishFormat.kif 65622-65622 |
| antecedent |
|
|
| (=> (instance ?TC TradingCard) (attribute ?TC Collectible)) |
Mid-level-ontology.kif 32137-32139 | If X is an instance of trading card, then Collectible is an attribute of X |
|