|
|
   ExpiredCard
|
|
|
| appearance as argument number 1 |
|
|
| (disjoint ExpiredCard ValidCard) | FinancialOntology.kif 3526-3526 | |
| (documentation ExpiredCard EnglishLanguage "A class of expired BankCards.") | FinancialOntology.kif 3527-3527 | |
| (subclass ExpiredCard BankCard) | FinancialOntology.kif 3525-3525 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ExpiredCard "过期的卡") | domainEnglishFormat.kif 22828-22828 | |
| (termFormat ChineseTraditionalLanguage ExpiredCard "過期的卡") | domainEnglishFormat.kif 22827-22827 | |
| (termFormat EnglishLanguage ExpiredCard "expired card") | domainEnglishFormat.kif 22826-22826 |
| antecedent |
|
|
| (=> (and (holdsDuring ?Time (instance ?Card ExpiredCard)) (cardAccount ?Card ?Account)) (holdsDuring ?Time (not (attribute ?Card ActiveAgreement)))) |
FinancialOntology.kif 3529-3534 |
|
|
|