AuthorizationOfTransaction - Sigma Knowledge base Browser

appearance as argument number 1

(subclass AuthorizationOfTransaction ControllingAnAccount)	FinancialOntology.kif 384-384	Authorization of transaction is a subclass of controlling an account
(subclass AuthorizationOfTransaction RegulatoryProcess)	FinancialOntology.kif 385-385	Authorization of transaction is a subclass of regulatory process
(subclass AuthorizationOfTransaction FinancialService)	FinancialOntology.kif 386-386	Authorization of transaction is a subclass of financial service
(documentation AuthorizationOfTransaction EnglishLanguage "An activity which approves or disapproves a transaction.")	FinancialOntology.kif 387-388	Authorization of transaction is a subclass of financial service

appearance as argument number 2

(subclass ProcessingACheck AuthorizationOfTransaction)	FinancialOntology.kif 366-366	Processing a check is a subclass of authorization of transaction
(subclass EnteringAPin AuthorizationOfTransaction)	FinancialOntology.kif 3574-3574	Entering a PIN is a subclass of authorization of transaction
(subclass VerifyingCardCode AuthorizationOfTransaction)	FinancialOntology.kif 3586-3586	Verifying card code is a subclass of authorization of transaction
(termFormat EnglishLanguage AuthorizationOfTransaction "authorization of transaction")	domainEnglishFormat.kif 9154-9154	Verifying card code is a subclass of authorization of transaction
(termFormat ChineseTraditionalLanguage AuthorizationOfTransaction "交易授權")	domainEnglishFormat.kif 9155-9155	Verifying card code is a subclass of authorization of transaction
(termFormat ChineseLanguage AuthorizationOfTransaction "交易授权")	domainEnglishFormat.kif 9156-9156	Verifying card code is a subclass of authorization of transaction

antecedent

(=>
    (and
        (instance ?Authorization AuthorizationOfTransaction)
        (instance ?Transaction FinancialTransaction)
        (instance ?Card BankCard)
        (instrument ?Transaction ?Card)
        (causes ?Authorization ?Transaction))
    (instance ?Card ValidCard))

consequent

(=> (instance ?Processing ProcessingACheck) (exists (?Authorization) (and (instance ?Authorization AuthorizationOfTransaction) (subProcess ?Authorization ?Processing))))	FinancialOntology.kif 377-382	If X is an instance of processing a check, then there exists Y such that Y is an instance of authorization of transaction and Y is a subprocess of X
(=> (and (instance ?Account SavingsAccount) (instance ?Transaction FinancialTransaction) (origin ?Transaction (CurrencyFn ?Account))) (exists (?Authorization) (and (instance ?Authorization AuthorizationOfTransaction) (subProcess ?Authorization ?Transaction))))	FinancialOntology.kif 1035-1043	If X is an instance of savings account, Y is an instance of financial transaction, and Y originates at the currency of X, then there exists Z such that Z is an instance of authorization of transaction and Z is a subprocess of Y