Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FinancialTransaction
FinancialTransaction(金融交易)

VerbNet: future_having-13.3|advance, force-59|bribe, force-59|bribe, get-13.5.1|cash, get-13.5.1|cash, get-13.5.1|rent, cost-54.2|net, judgment-33|recompense, force-59|bribe, hire-13.5.3|take, give-13.1|refund, force-59|bribe, get-13.5.1|rent, get-13.5.1|rent, give-13.1|lease, cost-54.2|net, judgment-33|recompense, obtain-13.5.2|recoup, give-13.1|refund, contribute-13.2|reimburse, ensure-99|reinsure, contribute-13.2|remit, equip-13.4.2|compensate, get-13.5.1|rent, judgment-33|recompense, give-13.1|refund, give-13.1|refund,


appearance as argument number 1
-------------------------


(documentation FinancialTransaction ChineseLanguage "这是一种 Transaction，它出现在当一种 FinancialInstrument 的实例成为交易的主体，而且通常是用来交换另外一样的东西。") chinese_format.kif 3095-3096
(documentation FinancialTransaction EnglishLanguage "A Transaction where an instance of FinancialInstrument is the subject of the action, and often is exchanged for something else.") Merge.kif 11044-11046
(subclass FinancialTransaction Transaction) Merge.kif 11042-11042 金融交易 是 交易 的 subclass

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


(rangeSubclass OccupationFn FinancialTransaction) Mid-level-ontology.kif 18230-18230 职业 的所得值 是 金融交易 的 subclass
(subclass AssetAllocation FinancialTransaction) FinancialOntology.kif 1735-1735 资产分配 是 金融交易 的 subclass
(subclass AutomaticTransaction FinancialTransaction) FinancialOntology.kif 483-483 自动交易 是 金融交易 的 subclass
(subclass Betting FinancialTransaction) Merge.kif 11092-11092 打赌 是 金融交易 的 subclass
(subclass Buying FinancialTransaction) Merge.kif 11098-11098 购买 是 金融交易 的 subclass
(subclass Call FinancialTransaction) FinancialOntology.kif 1365-1365 呼叫 是 金融交易 的 subclass
(subclass CancellingAnOrder FinancialTransaction) FinancialOntology.kif 2754-2754 取消订单 是 金融交易 的 subclass
(subclass ChargingAFee FinancialTransaction) FinancialOntology.kif 834-834 收费 是 金融交易 的 subclass
(subclass ClosingAnAccount FinancialTransaction) FinancialOntology.kif 388-388 关闭帐户 是 金融交易 的 subclass
(subclass CommercialService FinancialTransaction) Merge.kif 11080-11080 商业服务 是 金融交易 的 subclass
(subclass ControllingAnAccount FinancialTransaction) FinancialOntology.kif 353-353 控制一个帐户 是 金融交易 的 subclass
(subclass Deposit FinancialTransaction) FinancialOntology.kif 418-418 存款 是 金融交易 的 subclass
(subclass ExerciseAnOption FinancialTransaction) FinancialOntology.kif 2670-2670 执行一个选项 是 金融交易 的 subclass
(subclass Exporting FinancialTransaction) Economy.kif 2399-2399 出口 是 金融交易 的 subclass
(subclass ExternalTransfer FinancialTransaction) FinancialOntology.kif 3968-3968 外部转移 是 金融交易 的 subclass
(subclass FillingAnOrder FinancialTransaction) FinancialOntology.kif 2750-2750 填写订单 是 金融交易 的 subclass
(subclass FinancialDefault FinancialTransaction) FinancialOntology.kif 2077-2077 财务违约 是 金融交易 的 subclass
(subclass FinancialRequest FinancialTransaction) FinancialOntology.kif 3819-3819 财务要求 是 金融交易 的 subclass
(subclass FinancialResponse FinancialTransaction) FinancialOntology.kif 3823-3823 财务回应 是 金融交易 的 subclass
(subclass InternalTransfer FinancialTransaction) FinancialOntology.kif 3981-3981 内部转移 是 金融交易 的 subclass
(subclass Investing FinancialTransaction) FinancialOntology.kif 459-459 投资 是 金融交易 的 subclass
(subclass Liquidation FinancialTransaction) FinancialOntology.kif 2000-2000 清算 是 金融交易 的 subclass
(subclass MuakharSadaq FinancialTransaction) ArabicCulture.kif 271-271 穆哈尔萨达克 是 金融交易 的 subclass
(subclass MuqaddamSadaq FinancialTransaction) ArabicCulture.kif 291-291 穆卡达姆萨达克 是 金融交易 的 subclass
(subclass OpeningAnAccount FinancialTransaction) FinancialOntology.kif 290-290 开户 是 金融交易 的 subclass

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


(domain broker 1 FinancialTransaction) UXExperimentalTerms.kif 1888-1888 broker 的 1 数量 是 金融交易 的 instance
(domain confirmationNumber 1 FinancialTransaction) FinancialOntology.kif 3721-3721 确认号码 的 1 数量 是 金融交易 的 instance
(domain eCommerceSite 1 FinancialTransaction) UXExperimentalTerms.kif 1908-1908 eCommerceSite 的 1 数量 是 金融交易 的 instance
(domain loss 1 FinancialTransaction) Mid-level-ontology.kif 6845-6845 失 的 1 数量 是 金融交易 的 instance
(domain occupation 2 FinancialTransaction) Mid-level-ontology.kif 18238-18238 占用 的 2 数量 是 金融交易 的 instance
(domain orderFor 1 FinancialTransaction) FinancialOntology.kif 1901-1901 订购给 的 1 数量 是 金融交易 的 instance
(domain profit 1 FinancialTransaction) Mid-level-ontology.kif 7289-7289 利润 的 1 数量 是 金融交易 的 instance
(domain serviceFee 2 FinancialTransaction) FinancialOntology.kif 839-839 服务费 的 2 数量 是 金融交易 的 instance
(domain transactionAmount 1 FinancialTransaction) Merge.kif 11058-11058 交易金额 的 1 数量 是 金融交易 的 instance
(domainSubclass dailyLimit 2 FinancialTransaction) FinancialOntology.kif 3834-3834 每日限额 的 2 数量 是 金融交易 的 subclass
(domainSubclass minimumBalance 2 FinancialTransaction) FinancialOntology.kif 639-639 最低余额 的 2 数量 是 金融交易 的 subclass
(domainSubclass orderFor 2 FinancialTransaction) FinancialOntology.kif 1902-1902 订购给 的 2 数量 是 金融交易 的 subclass

antecedent
-------------------------


(=>
    (and
        (instance ?Account CheckingAccount)
        (instance ?Transaction FinancialTransaction)
        (origin ?Transaction
            (CurrencyFn ?Account)))
    (or
        (exists (?Check)
            (and
                (instance ?Check Check)
                (instrument ?Transaction ?Check)))
        (exists (?DebitCard)
            (and
                (instance ?DebitCard DebitCard)
                (instrument ?Transaction ?DebitCard)))))		 FinancialOntology.kif 1073-1086
(=>
    (and
        (instance ?Account CreditCardAccount)
        (instance ?Transaction FinancialTransaction)
        (origin ?Transaction
            (CurrencyFn ?Account)))
    (exists (?Card)
        (and
            (instance ?Card CreditCard)
            (instrument ?Transaction ?Card))))		 FinancialOntology.kif 1180-1188
(=>
    (and
        (instance ?Account SavingsAccount)
        (instance ?Transaction FinancialTransaction)
        (origin ?Transaction
            (CurrencyFn ?Account)))
    (exists (?Authorization)
        (and
            (instance ?Authorization AuthorizationOfTransaction)
            (subProcess ?Authorization ?Transaction))))		 FinancialOntology.kif 977-985
(=>
    (and
        (instance ?Authorization AuthorizationOfTransaction)
        (instance ?Transaction FinancialTransaction)
        (instance ?Card BankCard)
        (instrument ?Transaction ?Card)
        (causes ?Authorization ?Transaction))
    (instance ?Card ValidCard))		 FinancialOntology.kif 3414-3421
(=>
    (and
        (instance ?COLL Collection)
        (forall (?MEMBER)
            (=>
                (member ?MEMBER ?COLL)
                (instance ?MEMBER FinancialTransaction))))
    (equal
        (CardinalityFn
            (KappaFn ?ITEM
                (and
                    (instance ?ITEM Physical)
                    (instance ?BUYING Buying)
                    (member ?BUYING ?COLL)
                    (patient ?BUYING ?ITEM))))
        (BoughtItemsFn ?COLL)))		 UXExperimentalTerms.kif 3091-3106
(=>
    (and
        (instance ?Card DebitCard)
        (possesses ?Agent ?Card)
        (instance ?Transaction FinancialTransaction)
        (instrument ?Transaction ?Card))
    (exists (?PIN ?Enter)
        (and
            (pin ?PIN ?Card)
            (instance ?Enter EnteringAPin)
            (patient ?Enter ?PIN)
            (agent ?Enter ?Agent))))		 FinancialOntology.kif 3441-3452
(=>
    (and
        (instance ?TRANS FinancialTransaction)
        (attribute ?TRANS BusinessToBusiness))
    (exists (?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE)
        (and
            (instance ?ACCT1 UserAccount)
            (instance ?ACCT2 UserAccount)
            (instance ?USER1 Agent)
            (instance ?USER2 Agent)
            (instance ?SITE WebSite)
            (agent ?TRANS ?USER1)
            (destination ?TRANS ?USER2)
            (instrument ?TRANS ?SITE)
            (hasAccount ?USER1 ?ACCT1)
            (hasAccount ?USER2 ?ACCT2)
            (accountAtSite ?ACCT1 ?SITE)
            (accountAtSite ?ACCT2 ?SITE)
            (attribute ?ACC1 BusinessAccount)
            (attribute ?ACC2 BusinessAccount))))		 UXExperimentalTerms.kif 1930-1949
(=>
    (and
        (instance ?TRANS FinancialTransaction)
        (attribute ?TRANS BusinessToConsumer))
    (exists (?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE)
        (and
            (instance ?ACCT1 UserAccount)
            (instance ?ACCT2 UserAccount)
            (instance ?USER1 Agent)
            (instance ?USER2 Agent)
            (instance ?SITE WebSite)
            (agent ?TRANS ?USER1)
            (destination ?TRANS ?USER2)
            (instrument ?TRANS ?SITE)
            (hasAccount ?USER1 ?ACCT1)
            (hasAccount ?USER2 ?ACCT2)
            (accountAtSite ?ACCT1 ?SITE)
            (accountAtSite ?ACCT2 ?SITE)
            (attribute ?ACCOUNT1 BusinessAccount)
            (attribute ?ACCOUNT2 ConsumerAccount))))		 UXExperimentalTerms.kif 1962-1981
(=>
    (and
        (instance ?TRANS FinancialTransaction)
        (attribute ?TRANS ConsumerToConsumer))
    (exists (?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE)
        (and
            (instance ?ACCT1 UserAccount)
            (instance ?ACCT2 UserAccount)
            (instance ?USER1 Agent)
            (instance ?USER2 Agent)
            (instance ?SITE WebSite)
            (agent ?TRANS ?USER1)
            (destination ?TRANS ?USER2)
            (instrument ?TRANS ?SITE)
            (hasAccount ?USER1 ?ACCT1)
            (hasAccount ?USER2 ?ACCT2)
            (accountAtSite ?ACCT1 ?SITE)
            (accountAtSite ?ACCT2 ?SITE)
            (attribute ?ACCOUNT1 ConsumerAccount)
            (attribute ?ACCOUNT2 ConsumerAccount))))		 UXExperimentalTerms.kif 1994-2013
(=>
    (and
        (instance ?Transaction FinancialTransaction)
        (destination ?Transaction ?Agent))
    (and
        (instance ?Service CommercialService)
        (agent ?Service ?Agent)
        (attribute ?Service OpenService)))		 FinancialOntology.kif 3802-3809
(=>
    (and
        (instance ?Transaction FinancialTransaction)
        (origin ?Transaction
            (CurrencyFn ?Account))
        (transactionAmount ?Transaction ?Amount1)
        (instance ?Cash Currency)
        (patient ?Transaction ?Cash)
        (date ?Transaction ?Day))
    (exists (?Amount2)
        (and
            (availableCash ?Account ?Day ?Amount2)
            (greaterThanOrEqualTo ?Amount1 ?Amount2))))		 FinancialOntology.kif 3682-3693
(=>
    (and
        (instance ?Transaction FinancialTransaction)
        (origin ?Transaction ?Account)
        (transactionAmount ?Transaction ?Amount1)
        (date ?Transaction ?Day))
    (exists (?Amount2)
        (and
            (availableBalance ?Account ?Day ?Amount2)
            (greaterThanOrEqualTo ?Amount1 ?Amount2))))		 FinancialOntology.kif 3662-3671
(=>
    (and
        (lastStatement ?Account ?Statement)
        (instance ?Transaction1 FinancialTransaction)
        (realization ?Statement ?Transaction1)
        (instance ?Transaction2 FinancialTransaction)
        (not
            (realization ?Statement ?Transaction2)))
    (earlier
        (WhenFn ?Transaction2)
        (WhenFn ?Transaction1)))		 FinancialOntology.kif 3749-3756
(=>
    (instance ?TRANS FinancialTransaction)
    (exists (?OBJ)
        (and
            (patient ?TRANS ?OBJ)
            (instance ?OBJ FinancialInstrument))))		 Merge.kif 11048-11053

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


(<=>
    (customer ?AGENT1 ?AGENT2)
    (exists (?SERVICE)
        (and
            (instance ?SERVICE FinancialTransaction)
            (agent ?SERVICE ?AGENT2)
            (destination ?SERVICE ?AGENT1))))		 Mid-level-ontology.kif 7411-7417 有认知的主事 是 另一个 有认知的主事 的 customer 若且唯若 有存在 过程 这样 那个 过程 是 金融交易 的 instance 和 那个 有认知的主事 是 那个 过程 的 agent 和 那个 过程 在 那个 另外 有认知的主事 结束
(<=>
    (customerRepresentative ?Person1 ?Person2 ?Org)
    (exists (?Service)
        (and
            (instance ?Service FinancialTransaction)
            (employs ?Org ?Person1)
            (agent ?Service ?Person1)
            (destination ?Service ?Person2))))		 FinancialOntology.kif 3534-3541 有认知的主事 对于 %3 的 customer 代表 若且唯若 有存在 过程 这样 那个 过程 是 金融交易 的 instance 和 机构 employs 那个 有认知的主事 和 那个 有认知的主事 是 那个 过程 的 agent 和 那个 过程 在 另一个 有认知的主事 结束
(=>
    (and
        (attribute ?TRANS ?ATTR)
        (instance ?ATTR AccountAttribute))
    (instance ?TRANS FinancialTransaction))		 UXExperimentalTerms.kif 1842-1846
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG Utilities))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?THING ?MEM2 ?EV2)
                (and
                    (or
                        (instance ?EV Removing)
                        (instance ?THING Sewage))
                    (patient ?EV ?THING)
                    (or
                        (instance ?THING Electron)
                        (instance ?THING Water)
                        (and
                            (instance ?THING PureSubstance)
                            (capability Combustion patient ?THING)))
                    (member ?MEM2 ?ORG)
                    (instance ?EV2 FinancialTransaction)
                    (agent ?EV2 ?MEM2)
                    (patient ?EV2 ?THING))))))		 naics.kif 954-977
(=>
    (and
        (instance ?PSP ProfitSharingPlan)
        (accountHolder ?PSP ?H)
        (employs ?O ?H)
        (profit ?A ?P)
        (agent ?A ?O))
    (exists (?C ?PAY)
        (and
            (instance ?PAY FinancialTransaction)
            (transactionAmount ?PAY ?C)
            (lessThan ?C ?P)
            (destination ?PAY ?PSP))))		 FinancialOntology.kif 1136-1148
(=>
    (and
        (instance ?Service CommercialService)
        (agent ?Service ?Agent)
        (employs ?Org ?Agent)
        (destination ?Service ?Customer))
    (hasPurpose ?Service
        (exists (?Transaction)
            (and
                (instance ?Transaction FinancialTransaction)
                (destination ?Transaction ?Org)
                (origin ?Transaction ?Customer)))))		 FinancialOntology.kif 3488-3499
(=>
    (and
        (instance ?Statement BankStatement)
        (statementAccount ?Statement ?Account))
    (exists (?Transaction)
        (and
            (instance ?Transaction FinancialTransaction)
            (or
                (origin ?Transaction
                    (CurrencyFn ?Account))
                (destination ?Transaction
                    (CurrencyFn ?Account)))
            (realization ?Statement ?Transaction))))		 FinancialOntology.kif 3727-3737
(=>
    (attribute ?M CoinOperated)
    (hasPurpose ?M
        (exists (?C ?FT ?A ?ACT)
            (and
                (instance ?C CurrencyCoin)
                (instance ?FT FinancialTransaction)
                (destination ?FT ?M)
                (patient ?FT ?C)
                (origin ?FT ?A)
                (causes ?FT ?ACT)
                (wants ?A ?ACT)))))		 Mid-level-ontology.kif 27674-27685
(=>
    (instance ?VD VendingMachine)
    (hasPurpose ?VD
        (exists (?T ?C ?P)
            (and
                (instance ?T FinancialTransaction)
                (instrument ?T ?VD)
                (patient ?T ?C)
                (instance ?C Currency)
                (patient ?T ?P)
                (instance ?P Product)))))		 Mid-level-ontology.kif 2435-2445
(=>
    (instance ?X Marketplace)
    (hasPurpose ?X
        (exists (?EV)
            (and
                (instance ?EV FinancialTransaction)
                (eventLocated ?EV ?X)))))		 Mid-level-ontology.kif 20374-20380
(=>
    (instance ?X RestaurantBuilding)
    (hasPurpose ?X
        (exists (?OWN ?EMP ?EV ?P ?PAY)
            (and
                (employs ?OWN ?EMP)
                (possesses ?OWN ?X)
                (instance ?P Human)
                (instance ?PAY FinancialTransaction)
                (agent ?PAY ?P)
                (patient ?PAY ?EMP)
                (confersRight ?EMP ?EV ?P)
                (instance ?EV Eating)
                (agent ?EV ?P)
                (eventLocated ?EV ?X)))))		 Mid-level-ontology.kif 20466-20480
(=>
    (instance ?X Store)
    (hasPurpose ?X
        (exists (?EV)
            (and
                (instance ?EV FinancialTransaction)
                (eventLocated ?EV ?X)))))		 Mid-level-ontology.kif 6721-6727


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