|
|
   VerifyingCardCode
|
|
|
| appearance as argument number 1 |
|
|
| (documentation VerifyingCardCode EnglishLanguage "A subclass of AuthorizationOfTransaction where an ATM machine checks the code of the BankCard inserted to this machine.") | FinancialOntology.kif 3569-3570 | |
| (subclass VerifyingCardCode AuthorizationOfTransaction) | FinancialOntology.kif 3568-3568 | VerifyingCardCode est une sous-classe de AuthorizationOfTransaction |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage VerifyingCardCode "验证卡代码") | domainEnglishFormat.kif 61540-61540 | |
| (termFormat ChineseTraditionalLanguage VerifyingCardCode "驗證卡代碼") | domainEnglishFormat.kif 61539-61539 | |
| (termFormat EnglishLanguage VerifyingCardCode "verifying card code") | domainEnglishFormat.kif 61538-61538 |
| antecedent |
|
|
| (=> (and (instance ?Check VerifyingCardCode) (patient ?Check ?Code) (cardCode ?Code ?Card)) (exists (?Decode) (and (instance ?Decode Decoding) (subProcess ?Decode ?Check) (patient ?Decode ?Code)))) |
FinancialOntology.kif 3572-3581 |
|
|
|
|