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 10923-10925
(subclass FinancialTransaction Transaction) Merge.kif 10921-10921 金融交易交易subclass

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


(rangeSubclass OccupationFn FinancialTransaction) Mid-level-ontology.kif 18204-18204 职业 的所得值 是 金融交易subclass
(subclass AssetAllocation FinancialTransaction) FinancialOntology.kif 1735-1735 资产分配金融交易subclass
(subclass AutomaticTransaction FinancialTransaction) FinancialOntology.kif 483-483 自动交易金融交易subclass
(subclass Betting FinancialTransaction) Merge.kif 10971-10971 打赌金融交易subclass
(subclass Buying FinancialTransaction) Merge.kif 10977-10977 购买金融交易subclass
(subclass Call FinancialTransaction) FinancialOntology.kif 1365-1365 呼叫金融交易subclass
(subclass CancellingAnOrder FinancialTransaction) FinancialOntology.kif 2753-2753 取消订单金融交易subclass
(subclass ChargingAFee FinancialTransaction) FinancialOntology.kif 834-834 收费金融交易subclass
(subclass ClosingAnAccount FinancialTransaction) FinancialOntology.kif 388-388 关闭帐户金融交易subclass
(subclass CommercialService FinancialTransaction) Merge.kif 10959-10959 商业服务金融交易subclass
(subclass ControllingAnAccount FinancialTransaction) FinancialOntology.kif 353-353 控制一个帐户金融交易subclass
(subclass Deposit FinancialTransaction) FinancialOntology.kif 418-418 存款金融交易subclass
(subclass ExerciseAnOption FinancialTransaction) FinancialOntology.kif 2669-2669 执行一个选项金融交易subclass
(subclass Exporting FinancialTransaction) Economy.kif 2399-2399 出口金融交易subclass
(subclass ExternalTransfer FinancialTransaction) FinancialOntology.kif 3967-3967 外部转移金融交易subclass
(subclass FillingAnOrder FinancialTransaction) FinancialOntology.kif 2749-2749 填写订单金融交易subclass
(subclass FinancialDefault FinancialTransaction) FinancialOntology.kif 2076-2076 财务违约金融交易subclass
(subclass FinancialRequest FinancialTransaction) FinancialOntology.kif 3818-3818 财务要求金融交易subclass
(subclass FinancialResponse FinancialTransaction) FinancialOntology.kif 3822-3822 财务回应金融交易subclass
(subclass InternalTransfer FinancialTransaction) FinancialOntology.kif 3980-3980 内部转移金融交易subclass
(subclass Investing FinancialTransaction) FinancialOntology.kif 459-459 投资金融交易subclass
(subclass Liquidation FinancialTransaction) FinancialOntology.kif 1999-1999 清算金融交易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 3720-3720 确认号码 的 1 数量 是 金融交易instance
(domain eCommerceSite 1 FinancialTransaction) UXExperimentalTerms.kif 1908-1908 eCommerceSite 的 1 数量 是 金融交易instance
(domain loss 1 FinancialTransaction) Mid-level-ontology.kif 6866-6866 的 1 数量 是 金融交易instance
(domain occupation 2 FinancialTransaction) Mid-level-ontology.kif 18212-18212 占用 的 2 数量 是 金融交易instance
(domain orderFor 1 FinancialTransaction) FinancialOntology.kif 1900-1900 订购给 的 1 数量 是 金融交易instance
(domain profit 1 FinancialTransaction) Mid-level-ontology.kif 7309-7309 利润 的 1 数量 是 金融交易instance
(domain serviceFee 2 FinancialTransaction) FinancialOntology.kif 839-839 服务费 的 2 数量 是 金融交易instance
(domain transactionAmount 1 FinancialTransaction) Merge.kif 10937-10937 交易金额 的 1 数量 是 金融交易instance
(domainSubclass dailyLimit 2 FinancialTransaction) FinancialOntology.kif 3833-3833 每日限额 的 2 数量 是 金融交易subclass
(domainSubclass minimumBalance 2 FinancialTransaction) FinancialOntology.kif 639-639 最低余额 的 2 数量 是 金融交易subclass
(domainSubclass orderFor 2 FinancialTransaction) FinancialOntology.kif 1901-1901 订购给 的 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 3413-3420
(=>
    (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 3440-3451
(=>
    (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 3801-3808
(=>
    (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 3681-3692
(=>
    (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 3661-3670
(=>
    (and
        (lastStatement ?Account ?Statement)
        (instance ?Transaction1 FinancialTransaction)
        (realization ?Statement ?Transaction1)
        (instance ?Transaction2 FinancialTransaction)
        (not
            (realization ?Statement ?Transaction2)))
    (earlier
        (WhenFn ?Transaction2)
        (WhenFn ?Transaction1)))
FinancialOntology.kif 3748-3755
(=>
    (instance ?TRANS FinancialTransaction)
    (exists (?OBJ)
        (and
            (patient ?TRANS ?OBJ)
            (instance ?OBJ FinancialInstrument))))
Merge.kif 10927-10932

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


(<=>
    (customer ?AGENT1 ?AGENT2)
    (exists (?SERVICE)
        (and
            (instance ?SERVICE FinancialTransaction)
            (agent ?SERVICE ?AGENT2)
            (destination ?SERVICE ?AGENT1))))
Mid-level-ontology.kif 7431-7437 有认知的主事另一个 有认知的主事customer 若且唯若 有存在 过程 这样 那个 过程金融交易instance那个 有认知的主事那个 过程agent那个 过程那个 另外 有认知的主事 结束
(<=>
    (customerRepresentative ?Person1 ?Person2 ?Org)
    (exists (?Service)
        (and
            (instance ?Service FinancialTransaction)
            (employs ?Org ?Person1)
            (agent ?Service ?Person1)
            (destination ?Service ?Person2))))
FinancialOntology.kif 3533-3540 有认知的主事 对于 %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 3487-3498
(=>
    (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 3726-3736
(=>
    (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 27637-27648
(=>
    (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 2429-2439
(=>
    (instance ?X Marketplace)
    (hasPurpose ?X
        (exists (?EV)
            (and
                (instance ?EV FinancialTransaction)
                (eventLocated ?EV ?X)))))
Mid-level-ontology.kif 20337-20343
(=>
    (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 20429-20443
(=>
    (instance ?X Store)
    (hasPurpose ?X
        (exists (?EV)
            (and
                (instance ?EV FinancialTransaction)
                (eventLocated ?EV ?X)))))
Mid-level-ontology.kif 6742-6748


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners