TreeView Knowledge Base Browser - ProcessingACheck

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

ProcessingACheck

Sigma KEE - ProcessingACheck

ProcessingACheck(處理檢查)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 365-366
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9567-9567
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8665-8665
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 363-363	子類處理檢查 and 控制一個帳戶

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47516-47516
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47515-47515
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47514-47514

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 137-146	例 Entity and 校驗例 Process and 處理檢查患者 Process and Entity Process 例 Process and 存款支票患者 Process and Entity 時間 Process and 不久的過去何時 Process
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 155-166	例 Process and 畫一張支票患者 Process and Entity 例 Process and 處理檢查患者 Process and Entity 等於何時 Process and ProcessTime 等於何時 Process and ProcessTime 短暫相遇 ProcessTime and TimeInterval 短暫相遇 TimeInterval and ProcessTime 持續時間 TimeInterval and 測量 RealNumber and 月持續時間少於 RealNumber and 6
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 104-118	貨幣價值校驗 and CurrencyMeasure 金融賬戶是校驗的 check 帳戶例 Process and 處理檢查患者 Process and 校驗等於何時 Process and ProcessTime FinancialTransaction FinancialTransactionTime 例 FinancialTransaction and 退出儀器 FinancialTransaction and 校驗等於何時 FinancialTransaction and FinancialTransactionTime 短暫相遇 ProcessTime and FinancialTransactionTime CurrencyMeasure 是 FinancialTransaction 的 transaction 總額起源 FinancialTransaction and 金融賬戶
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 120-135	貨幣價值 Object and CurrencyMeasure 例 Process and 處理檢查患者 Process and Object 目的地 Process and 金融賬戶的 currency 例金融賬戶 and 金融賬戶等於何時 Process and ProcessTime FinancialTransaction FinancialTransactionTime 例 FinancialTransaction and 存款儀器 FinancialTransaction and Object 等於何時 FinancialTransaction and FinancialTransactionTime 短暫相遇 ProcessTime and FinancialTransactionTime CurrencyMeasure 是 FinancialTransaction 的 transaction 總額目的地 FinancialTransaction and 金融賬戶的 currency
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 375-380	例 Process and 處理檢查 Process 例 Process and 交易授權子過程 Process and Process
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 368-373	例 Process and 處理檢查 Entity 例 Entity and 校驗患者 Process and Entity

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