EnteringAPin - Sigma Knowledge base Browser

appearance as argument number 1

(documentation EnteringAPin EnglishLanguage "A subclass of AuthorizationOfTransaction where a customer enters his/ her personal identification number.")	FinancialOntology.kif 3572-3573
(subclass EnteringAPin AuthorizationOfTransaction)	FinancialOntology.kif 3570-3570	Entering a PIN is a subclass of authorization of transaction
(subclass EnteringAPin ContentDevelopment)	FinancialOntology.kif 3571-3571	Entering a PIN is a subclass of content development

appearance as argument number 2

(termFormat ChineseLanguage EnteringAPin "输入PIN码")	domainEnglishFormat.kif 22204-22204
(termFormat ChineseTraditionalLanguage EnteringAPin "輸入PIN碼")	domainEnglishFormat.kif 22203-22203
(termFormat EnglishLanguage EnteringAPin "entering a PIN")	domainEnglishFormat.kif 22202-22202

antecedent

(=>
    (instance ?Enter EnteringAPin)
    (exists (?Pin ?Card)
        (and
            (pin ?Pin ?Card)
            (patient ?Enter ?Pin))))

FinancialOntology.kif 3575-3580

If a process is an instance of entering a PIN,
then there exist a symbolic string and a bank card such that the bank card is a pin of the symbolic string and the symbolic string is a patient of the process

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 3557-3568

If a bank card is an instance of debit card and an agent possesses the bank card and a process is an instance of financial transaction and the bank card is an instrument for the process,
then there exist a symbolic string and another process such that the bank card is a pin of the symbolic string and the other process is an instance of entering a PIN and the symbolic string is a patient of the other process and the agent is an agent of the other process

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

KB Term:			Term intersection

English Word: