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 子類 交易授權 and 控制一個帳戶
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 384-384 子類 交易授權 and 金融服務
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 383-383 子類 交易授權 and RegulatoryProcess

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3556-3556 子類 輸入PIN碼 and 交易授權
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 364-364 子類 處理檢查 and 交易授權
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3568-3568 子類 驗證卡代碼 and 交易授權
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

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1033-1041
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 375-380


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