Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| EnteringAPin(entering a PIN) |
| appearance as argument number 1 |
|
| (subclass EnteringAPin AuthorizationOfTransaction) | FinancialOntology.kif 3614-3614 | Entering a PIN is a subclass of authorization of transaction |
| (subclass EnteringAPin ContentDevelopment) | FinancialOntology.kif 3615-3615 | Entering a PIN is a subclass of content development |
| (documentation EnteringAPin EnglishLanguage "A subclass of AuthorizationOfTransaction where a customer enters his/ her personal identification number.") | FinancialOntology.kif 3616-3617 | Entering a PIN is a subclass of content development |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?Enter EnteringAPin) (exists (?Pin ?Card) (and (pin ?Pin ?Card) (patient ?Enter ?Pin)))) |
FinancialOntology.kif 3619-3624 | If X is an instance of entering a PIN, then there exist Y, Z such that Z is a pin of Y, and Y is a patient of X |
| 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 3601-3612 | If X is an instance of debit card, Y possesses X, Z is an instance of financial transaction, and X is an instrument for Z, then there exist W, V such that X is a pin of W, V is an instance of entering a PIN, W is a patient of V, and Y is an agent of V |
|