ValidCard - Sigma Knowledge base Browser

appearance as argument number 1

(documentation ValidCard EnglishLanguage "A class of valid BankCards")	FinancialOntology.kif 3528-3528
(subclass ValidCard BankCard)	FinancialOntology.kif 3527-3527	Valid card is a subclass of bank card

appearance as argument number 2

(disjoint ExpiredCard ValidCard)	FinancialOntology.kif 3540-3540	Expired card is disjoint from valid card
(termFormat ChineseLanguage ValidCard "有效卡")	domainEnglishFormat.kif 61207-61207	Expired card is disjoint from valid card
(termFormat ChineseTraditionalLanguage ValidCard "有效卡")	domainEnglishFormat.kif 61206-61206	Expired card is disjoint from valid card
(termFormat EnglishLanguage ValidCard "valid card")	domainEnglishFormat.kif 61205-61205	Expired card is disjoint from valid card

consequent

(=>
    (and
        (instance ?Authorization AuthorizationOfTransaction)
        (instance ?Transaction FinancialTransaction)
        (instance ?Card BankCard)
        (instrument ?Transaction ?Card)
        (causes ?Authorization ?Transaction))
    (instance ?Card ValidCard))

FinancialOntology.kif 3530-3537