| 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 | |
| (subclass EnteringAPin ContentDevelopment) | FinancialOntology.kif 3557-3557 |
| 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 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners