TreeView Knowledge Base Browser - FinancialTransaction

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3095-3096
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11986-11988
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1866-1867
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11984-11984	子類 FinancialTransaction and Transaction

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22106-22106	範圍子類職業 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1816-1816	子類資產分配 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 509-509	子類自動交易 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12034-12034	子類 Betting and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12040-12040	子類 Buying and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1440-1440	子類呼叫 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2850-2850	子類取消訂單 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 892-892	子類收費 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 390-390	子類關閉帳戶 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12022-12022	子類商業服務 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 355-355	子類控制一個帳戶 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 428-428	子類存款 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2766-2766	子類執行一個選項 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2636-2636	子類出口 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4143-4143	子類外部轉移 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2846-2846	子類填寫訂單 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2163-2163	子類財務違約 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3994-3994	子類財務要求 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3998-3998	子類財務回應 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2803-2803	子類 Importing and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4156-4156	子類內部轉移 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 485-485	子類投資 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2086-2086	子類清算 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 284-284	子類穆哈爾薩達克 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 304-304	子類穆卡達姆薩達克 and FinancialTransaction

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1685-1685	域 broker, 1 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3897-3897	域確認號碼, 1 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1705-1705	域 eCommerceSite, 1 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8365-8365	域失, 1 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1982-1982	域訂購給, 1 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8769-8769	域利潤, 1 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 897-897	域服務費, 2 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12000-12000	域交易金額, 1 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4009-4009	域子類每日限額, 2 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 682-682	域子類最低餘額, 2 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22114-22114	域子類佔用, 2 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1983-1983	域子類訂購給, 2 and FinancialTransaction

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1145-1158	例金融賬戶 and 支票賬戶例 Process and FinancialTransaction 起源 Process and 金融賬戶的 currency Object 例 Object and 校驗儀器 Process and Object Object 例 Object and 金融卡儀器 Process and Object
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1255-1263	例金融賬戶 and 信用卡帳戶例 Process and FinancialTransaction 起源 Process and 金融賬戶的 currency Object 例 Object and 信用卡儀器 Process and Object
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1035-1043	例金融賬戶 and 儲蓄賬戶例 Process and FinancialTransaction 起源 Process and 金融賬戶的 currency Process 例 Process and 交易授權子過程 Process and Process
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3534-3541	例 Process and 交易授權例 Process and FinancialTransaction 例 Object and 銀行卡儀器 Process and Object 原因 Process and Process 例 Object and 有效卡
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2887-2903	例 Collection and Collection Physical 會員 Physical and Collection 例 Physical and FinancialTransaction SymbolicString entity equal 基數卡帕 SymbolicString and 例 SymbolicString and Physical 例 entity and Buying 會員 entity and Collection 患者 entity and SymbolicString and 在 Collection 裡購買的樣品數量
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3561-3572	例銀行卡 and 金融卡擁有 AutonomousAgent and 銀行卡例 Process and FinancialTransaction 儀器 Process and 銀行卡 SymbolicString Process 銀行卡是 SymbolicString 的 pin 例 Process and 輸入PIN碼患者 Process and SymbolicString agent Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1727-1746	例 Object and FinancialTransaction attribute Object and BusinessToBusiness 用戶帳號用戶帳號, AutonomousAgent, AutonomousAgent and WebSite 例用戶帳號 and 用戶帳號例用戶帳號 and 用戶帳號例 AutonomousAgent and AutonomousAgent 例 AutonomousAgent and AutonomousAgent 例 WebSite and WebSite agent Object and AutonomousAgent 目的地 Object and AutonomousAgent 儀器 Object and WebSite AutonomousAgent 有 account 用戶帳號 AutonomousAgent 有 account 用戶帳號用戶帳號是在 WebSite 的 account 用戶帳號是在 WebSite 的 account attribute 用戶帳號 and BusinessAccount attribute 用戶帳號 and BusinessAccount
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1759-1778	例 Object and FinancialTransaction attribute Object and BusinessToConsumer 用戶帳號用戶帳號, AutonomousAgent, AutonomousAgent and WebSite 例用戶帳號 and 用戶帳號例用戶帳號 and 用戶帳號例 AutonomousAgent and AutonomousAgent 例 AutonomousAgent and AutonomousAgent 例 WebSite and WebSite agent Object and AutonomousAgent 目的地 Object and AutonomousAgent 儀器 Object and WebSite AutonomousAgent 有 account 用戶帳號 AutonomousAgent 有 account 用戶帳號用戶帳號是在 WebSite 的 account 用戶帳號是在 WebSite 的 account attribute 用戶帳號 and BusinessAccount attribute 用戶帳號 and ConsumerAccount
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1791-1810	例 Object and FinancialTransaction attribute Object and ConsumerToConsumer 用戶帳號用戶帳號, AutonomousAgent, AutonomousAgent and WebSite 例用戶帳號 and 用戶帳號例用戶帳號 and 用戶帳號例 AutonomousAgent and AutonomousAgent 例 AutonomousAgent and AutonomousAgent 例 WebSite and WebSite agent Object and AutonomousAgent 目的地 Object and AutonomousAgent 儀器 Object and WebSite AutonomousAgent 有 account 用戶帳號 AutonomousAgent 有 account 用戶帳號用戶帳號是在 WebSite 的 account 用戶帳號是在 WebSite 的 account attribute 用戶帳號 and ConsumerAccount attribute 用戶帳號 and ConsumerAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3977-3984	例 Process and FinancialTransaction 目的地 Process and AutonomousAgent 例 Process and 商業服務 agent Process and AutonomousAgent attribute Process and 開放服務
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3856-3870	例 FinancialTransaction and FinancialTransaction 起源 FinancialTransaction and 金融賬戶的 currency 測量 RealNumber and UnitOfMeasure 是 FinancialTransaction 的 transaction 總額例 UnitOfMeasure and UnitOfCurrency 例 Entity and 貨幣患者 FinancialTransaction and Entity 日期 FinancialTransaction and Day RealNumber 金融賬戶在 Day 的 available cash 是測量 RealNumber and UnitOfMeasure 大於或等於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3833-3845	例 FinancialTransaction and FinancialTransaction 起源 FinancialTransaction and 金融賬戶測量 RealNumber and UnitOfMeasure 是 FinancialTransaction 的 transaction 總額例 UnitOfMeasure and UnitOfCurrency 日期 FinancialTransaction and Day RealNumber 金融賬戶在 Day 的 available balance 是測量 RealNumber and UnitOfMeasure 大於或等於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3925-3932	銀行對帳單是金融賬戶的 last 聲明例 Physical and FinancialTransaction 實現銀行對帳單 and Physical 例 Physical and FinancialTransaction 實現銀行對帳單 and Physical 早期何時 Physical and 何時 Physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11990-11995	例 Process and FinancialTransaction Entity 患者 Process and Entity 例 Entity and 金融工具

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8894-8900	AutonomousAgent 是 CognitiveAgent 的 customer Process 例 Process and FinancialTransaction agent Process and AutonomousAgent 目的地 Process and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3653-3660	CognitiveAgent 對於 %3 的 customer 代表 Process 例 Process and FinancialTransaction 採用 Organization and CognitiveAgent agent Process and CognitiveAgent 目的地 Process and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1637-1641	attribute Object and Attribute 例 Attribute and AccountAttribute 例 Object and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10769-10781	例 Process and Hiring 例 CognitiveAgent and Organization agent Process and CognitiveAgent 患者 Process and Entity CognitiveAgent expects entity 例 entity and FinancialTransaction agent entity and CognitiveAgent 目的地 entity and Entity 早期何時 Process and 何時 entity 會是事實
No TPTP formula. May not be expressible in strict first order.	naics.kif 954-977	例 Collection and Organization attribute Collection and 公用事業 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent Object Process and AutonomousAgent 例 AutonomousAgent and Removing 例 Object and 污水患者 AutonomousAgent and Object 例 Object and Electron 例 Object and Water 例 Object and PureSubstance 能力 Combustion, 患者 and Object 會員 Process and Collection 例 AutonomousAgent and FinancialTransaction agent AutonomousAgent and Process 患者 AutonomousAgent and Object
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1208-1223	例金融賬戶 and 利潤分享計劃 CognitiveAgent 持有 account 金融賬戶採用 AutonomousAgent and CognitiveAgent 從 FinancialTransaction 的 profit 是測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfCurrency agent FinancialTransaction and AutonomousAgent RealNumber RealNumberAY 例 RealNumberAY and FinancialTransaction 測量 RealNumber and UnitOfMeasure 是 RealNumberAY 的 transaction 總額少於 RealNumber and RealNumber 目的地 RealNumberAY and 金融賬戶
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3608-3619	例 Process and 商業服務 agent Process and CognitiveAgent 採用 AutonomousAgent and CognitiveAgent 目的地 Process and Entity 有目的 Process and entity 例 entity and FinancialTransaction 目的地 entity and AutonomousAgent 起源 entity and Entity
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3903-3913	例銀行對帳單 and 銀行對帳單金融賬戶是銀行對帳單的 statement 帳號 Process 例 Process and FinancialTransaction 起源 Process and 金融賬戶的 currency 目的地 Process and 金融賬戶的 currency 實現銀行對帳單 and Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31393-31404	attribute Object and CoinOperated 有目的 Object and entity entity, entity and entityCT 例 entity and 貨幣硬幣例 entity and FinancialTransaction 目的地 entity and Object 患者 entity and entity 起源 entity and entity 原因 entity and entityCT 想要 entity and entityCT
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6649-6656	attribute Object and Profitable 例 FinancialTransaction and FinancialTransaction 患者 FinancialTransaction and Object 從 FinancialTransaction 的 profit 是測量 RealNumber and UnitOfMeasure 比較多 RealNumber and 0
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3387-3394	例 Entity and PayStub Process Object and Entity 例 Process and FinancialTransaction 起源 Process and Object 目的地 Process and Entity 參照 Entity and Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2437-2447	例 Physical and 售貨機有目的 Physical and entity entity and entity 例 entity and FinancialTransaction 儀器 entity and Physical 患者 entity and entity 例 entity and 貨幣患者 entity and entity 例 entity and Product
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24082-24088	例 Physical and 市場有目的 Physical and entity 例 entity and FinancialTransaction entity 是 located 在 Physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24201-24215	例 Physical and 餐廳建築有目的 Physical and entity entity, entity, entity and entityAY 採用 entity and entity 擁有 entity and Physical 例 entity and Human 例 entityAY and FinancialTransaction agent entityAY and entity 患者 entityAY and entity 賦予權利 entity, entity and entity 例 entity and Eating agent entity and entity entity 是 located 在 Physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8244-8250	例 Physical and 商店有目的 Physical and entity 例 entity and FinancialTransaction entity 是 located 在 Physical
No TPTP formula. May not be expressible in strict first order.	Dining.kif 388-407	standard retail hours 對於 AutonomousAgent 是 TimeInterval Process Entity, Entity, RealNumber and RealNumber 例 Process and FinancialTransaction agent Process and AutonomousAgent 例 Entity and TimeInterval 目的地 Process and Entity equal RealNumber and 可能性期間何時 Process and Entity AutonomousAgent 是 Entity 的 customer equal RealNumber and 可能性期間何時 Process and Entity AutonomousAgent 是 Entity 的 customer 比較多 RealNumber and RealNumber

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: