EnteringAPin
|
|
appearance as argument number 1 |
(documentation EnteringAPin EnglishLanguage "A subclass of AuthorizationOfTransaction where a customer enters his/ her personal identification number.") | FinancialOntology.kif 3558-3559 | |
(subclass EnteringAPin AuthorizationOfTransaction) | FinancialOntology.kif 3556-3556 | EnteringAPin est une sous-classe de AuthorizationOfTransaction |
(subclass EnteringAPin ContentDevelopment) | FinancialOntology.kif 3557-3557 | EnteringAPin est une sous-classe de d�veloppement de contenu |
appearance as argument number 2 |
(termFormat ChineseLanguage EnteringAPin "输入PIN码") | domainEnglishFormat.kif 22192-22192 | |
(termFormat ChineseTraditionalLanguage EnteringAPin "輸入PIN碼") | domainEnglishFormat.kif 22191-22191 | |
(termFormat EnglishLanguage EnteringAPin "entering a PIN") | domainEnglishFormat.kif 22190-22190 |
antecedent |
(=> (instance ?Enter EnteringAPin) (exists (?Pin ?Card) (and (pin ?Pin ?Card) (patient ?Enter ?Pin)))) |
FinancialOntology.kif 3561-3566 |
|
consequent |
(=> (and (instance ?Card DebitCard) (possesses ?Agent ?Card) (instance ?Transaction FinancialTransaction) (instrument ?Transaction ?Card)) (exists (?PIN ?Enter) (and (pin ?PIN ?Card) (instance ?Enter EnteringAPin) (patient ?Enter ?PIN) (agent ?Enter ?Agent)))) |
FinancialOntology.kif 3543-3554 |
|