ExpiredCard - Sigma Knowledge base Browser

appearance as argument number 1

(disjoint ExpiredCard ValidCard)	FinancialOntology.kif 3526-3526	Expired card is disjoint from valid card
(documentation ExpiredCard EnglishLanguage "A class of expired BankCards.")	FinancialOntology.kif 3527-3527	Expired card is disjoint from valid card
(subclass ExpiredCard BankCard)	FinancialOntology.kif 3525-3525	Expired card is a subclass of bank card

appearance as argument number 2

(termFormat ChineseLanguage ExpiredCard "过期的卡")	domainEnglishFormat.kif 22848-22848
(termFormat ChineseTraditionalLanguage ExpiredCard "過期的卡")	domainEnglishFormat.kif 22847-22847
(termFormat EnglishLanguage ExpiredCard "expired card")	domainEnglishFormat.kif 22846-22846

antecedent

(=>
    (and
        (holdsDuring ?Time
            (instance ?Card ExpiredCard))
        (cardAccount ?Card ?Account))
    (holdsDuring ?Time
        (not
            (attribute ?Card ActiveAgreement))))

FinancialOntology.kif 3529-3534