TreeView Knowledge Base Browser - AuthorizationOfTransaction

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

AuthorizationOfTransaction

Sigma KEE - AuthorizationOfTransaction

AuthorizationOfTransaction

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 385-386
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 382-382	AuthorizationOfTransaction e' uma sub-classe de ControllingAnAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 384-384	AuthorizationOfTransaction e' uma sub-classe de FinancialService
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 383-383	AuthorizationOfTransaction e' uma sub-classe de Processo Regulatorio

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3556-3556	EnteringAPin e' uma sub-classe de AuthorizationOfTransaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 364-364	ProcessingACheck e' uma sub-classe de AuthorizationOfTransaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3568-3568	VerifyingCardCode e' uma sub-classe de AuthorizationOfTransaction
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9156-9156
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9155-9155
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9154-9154

antecedent

No TPTP formula. May not be expressible in strict first order.

FinancialOntology.kif 3516-3523

Processo e' uma instancia de AuthorizationOfTransaction Processo e' uma instancia de Transacao Financeira Objeto e' uma instancia de BankCard Objeto e' um instrumento para Processo Processo causa Processo
Objeto e' uma instancia de ValidCard

consequent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1033-1041	FinancialAccount e' uma instancia de SavingsAccount Processo e' uma instancia de Transacao Financeira Processo tem como origem CurrencyFn FinancialAccount Processo Processo e' uma instancia de AuthorizationOfTransaction Processo e' um sub-processo de Processo
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 375-380	Processo e' uma instancia de ProcessingACheck Processo Processo e' uma instancia de AuthorizationOfTransaction Processo e' um sub-processo de Processo

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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