ExpiredCard - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(termFormat EnglishLanguage ExpiredCard "expired card")	domainEnglishFormat.kif 22822-22822
(termFormat ChineseTraditionalLanguage ExpiredCard "過期的卡")	domainEnglishFormat.kif 22823-22823
(termFormat ChineseLanguage ExpiredCard "过期的卡")	domainEnglishFormat.kif 22824-22824

antecedent

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

If X is an instance of expired card holds during Y and Z is a card account of X, then active agreement is not an attribute of X holds during Y