ExpiredCard - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(termFormat ChineseLanguage ExpiredCard "过期的卡")	domainEnglishFormat.kif 22842-22842
(termFormat ChineseTraditionalLanguage ExpiredCard "過期的卡")	domainEnglishFormat.kif 22841-22841
(termFormat EnglishLanguage ExpiredCard "expired card")	domainEnglishFormat.kif 22840-22840

antecedent

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

FinancialOntology.kif 3543-3548