TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 404-406
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 403-403	子類付款 and FinancialTransaction

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Dining.kif 429-429	子類 BankCardPayment and 付款
No TPTP formula. May not be expressible in strict first order.	Dining.kif 451-451	子類 CashPayment and 付款
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2074-2074	子類股利 and 付款
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 830-830	子類預付款 and 付款
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1864-1864	子類 Repayment and 付款
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44874-44874
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44873-44873
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44872-44872

appearance as argument number 3

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

Catalog.kif 249-249

域子類 validPaymentType, 2 and 付款

antecedent

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

FinancialOntology.kif 408-424

例 FinancialTransaction and 付款起源 FinancialTransaction and 金融賬戶的 currency 例金融賬戶 and 金融賬戶測量 RealNumber and UnitOfMeasure 是 FinancialTransaction 的 transaction 總額金融賬戶對於 %3 的 current 帳戶存款等於 RealNumber and 減法 RealNumber and RealNumber
金融賬戶對於 %3 的 current 帳戶存款

consequent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 487-499	agent Process and AutonomousAgent 起源 Process and Object 患者 Process and Physical 貨幣價值 Physical and CurrencyMeasure FinancialTransaction 子過程 FinancialTransaction and Process 例 FinancialTransaction and 付款 CurrencyMeasure 是 FinancialTransaction 的 transaction 總額起源 FinancialTransaction and AutonomousAgent 目的地 FinancialTransaction and Object
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 655-667	金融賬戶對於 TimePosition 到期的 amount CurrencyMeasure CognitiveAgent 持有 account 金融賬戶持有義務卡帕 SymbolicString and 例 SymbolicString and 付款 CurrencyMeasure 是 SymbolicString 的 transaction 總額目的地 SymbolicString and 金融賬戶的 currency 起源 SymbolicString and 金融賬戶的 currency 日期 SymbolicString and entity 之前或相等結束 entity and 開始 TimePosition and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2333-2355	例金融資產 and 零息債券 Day 是金融資產的帳號的 maturity 日期擁有金融資產Holder and 金融資產測量 RealNumber and UnitOfMeasure 是金融資產的帳號的 principal 總額 TimeInterval 是金融資產的帳號的 agreement 週期金融資產的帳號是對於 %3 的賺取 interest 等於 RealNumber and 加成 RealNumber and RealNumber FinancialTransaction 例 FinancialTransaction and 付款目的地 FinancialTransaction and 金融資產Holder 起源 FinancialTransaction and 金融資產的帳號測量 RealNumber and UnitOfMeasure 是 FinancialTransaction 的 transaction 總額
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7159-7172	例 CognitiveAgent and HealthInsuranceCompany AutonomousAgent 是 CognitiveAgent 的 customer 有代理人的目的 CognitiveAgent, entity entity 例 entity and DiagnosticProcess 例 entity and TherapeuticProcess 體驗者 entity and AutonomousAgent 例 entity and 付款 agent entity and CognitiveAgent 參照 entity and entity and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1883-1900	例 Process and Repayment 例 Process_DESTINATION and Object 目的地 Process and Process_DESTINATION 例 Process_ORIGIN and Object 起源 Process and Process_ORIGIN Process Process_ORIGIN and Process_DESTINATION 例 Process and 付款例 Process_ORIGIN and Object 例 Process_DESTINATION and Object 等於 Process and Process 目的地 Process and Process_DESTINATION 起源 Process and Process_ORIGIN 等於 Process_ORIGIN and Process_DESTINATION 等於 Process_DESTINATION and Process_ORIGIN
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 467-492	Physical 由 CognitiveAgent 定的 price 根據 PricingScheme 是 FunctionQuantity 等於 FunctionQuantity and 測量 RealNumber and UnitOfMeasure 是 CurrencyMeasure 的 per 例 UnitOfMeasure and UnitOfDuration 立即實例 Entity and Physical 例 Process and 租患者 Process and Entity agent Process and AutonomousAgent 時間 Process and RealNumberINT TimeInterval RealNumber 期間 RealNumberINT and TimeInterval 例 TimeInterval and TimeInterval 持續時間 TimeInterval and 測量 RealNumber and UnitOfMeasure 小於或等於 RealNumber and RealNumber FinancialTransaction 例 FinancialTransaction and 付款目的地 FinancialTransaction and CognitiveAgent agent FinancialTransaction and AutonomousAgent CurrencyMeasure 是 FinancialTransaction 的 transaction 總額
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 742-750	金融賬戶是對於 TimeDuration 的 periodic 費用 CurrencyMeasure FinancialTransaction Process 例 FinancialTransaction and 付款起源 FinancialTransaction and 金融賬戶的 currency CurrencyMeasure 是 FinancialTransaction 的 transaction 總額例 FinancialTransaction and Process 頻率 Process and TimeDuration

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

KB Term:			Term intersection

English Word: