FinancialTransaction - Sigma Knowledge base Browser

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 11836-11838
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 11834-11834	子類 FinancialTransaction and Transaction

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20489-20489	範圍子類職業 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1799-1799	子類資產分配 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 507-507	子類自動交易 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11884-11884	子類 Betting and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11890-11890	子類 Buying and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1424-1424	子類呼叫 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2833-2833	子類取消訂單 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 890-890	子類收費 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 388-388	子類關閉帳戶 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11872-11872	子類商業服務 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 353-353	子類控制一個帳戶 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 426-426	子類存款 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2749-2749	子類執行一個選項 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2396-2396	子類出口 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4125-4125	子類外部轉移 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2829-2829	子類填寫訂單 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2146-2146	子類財務違約 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3976-3976	子類財務要求 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3980-3980	子類財務回應 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4138-4138	子類內部轉移 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 483-483	子類投資 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2069-2069	子類清算 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
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 290-290	子類開戶 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 3879-3879	域確認號碼, 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 7204-7204	域失, 1 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1965-1965	域訂購給, 1 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7602-7602	域利潤, 1 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 895-895	域服務費, 2 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11850-11850	域交易金額, 1 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3991-3991	域子類每日限額, 2 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 680-680	域子類最低餘額, 2 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20497-20497	域子類佔用, 2 and FinancialTransaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1966-1966	域子類訂購給, 2 and FinancialTransaction

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1129-1142	例金融賬戶 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 1239-1247	例金融賬戶 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 1033-1041	例金融賬戶 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 3516-3523	例 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 等於基數卡帕 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 3543-3554	例銀行卡 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 3959-3966	例 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 3838-3852	例 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 3815-3827	例 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 3907-3914	銀行對帳單是金融賬戶的 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 11840-11845	例 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 7727-7733	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 3635-3642	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 10631-10643	例 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 1192-1207	例金融賬戶 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 3590-3601	例 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 3885-3895	例銀行對帳單 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 29474-29485	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.	Medicine.kif 3386-3393	例 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 1974-1984	例 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 22441-22447	例 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 22560-22574	例 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 7083-7089	例 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 等於 RealNumber and 可能性期間何時 Process and Entity AutonomousAgent 是 Entity 的 customer 等於 RealNumber and 可能性期間何時 Process and Entity AutonomousAgent 是 Entity 的 customer 比較多 RealNumber and RealNumber

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

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: