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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FinancialTransaction
FinancialTransaction(金融交易)

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 11669-11671
(subclass FinancialTransaction Transaction) Merge.kif 11667-11667 金融交易交易subclass

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


(rangeSubclass OccupationFn FinancialTransaction) Mid-level-ontology.kif 19811-19811 职业 的所得值 是 金融交易subclass
(subclass AutomaticTransaction FinancialTransaction) FinancialOntology.kif 507-507 自动交易金融交易subclass
(subclass Betting FinancialTransaction) Merge.kif 11717-11717 打赌金融交易subclass
(subclass Buying FinancialTransaction) Merge.kif 11723-11723 购买金融交易subclass
(subclass ClosingAnAccount FinancialTransaction) FinancialOntology.kif 388-388 关闭帐户金融交易subclass
(subclass CommercialService FinancialTransaction) Merge.kif 11705-11705 商业服务金融交易subclass
(subclass ControllingAnAccount FinancialTransaction) FinancialOntology.kif 353-353 控制一个帐户金融交易subclass
(subclass Deposit FinancialTransaction) FinancialOntology.kif 426-426 存款金融交易subclass
(subclass Exporting FinancialTransaction) Economy.kif 2406-2406 出口金融交易subclass
(subclass Investing FinancialTransaction) FinancialOntology.kif 483-483 投资金融交易subclass
(subclass MuakharSadaq FinancialTransaction) ArabicCulture.kif 273-273 穆哈尔萨达克金融交易subclass
(subclass MuqaddamSadaq FinancialTransaction) ArabicCulture.kif 293-293 穆卡达姆萨达克金融交易subclass
(subclass OpeningAnAccount FinancialTransaction) FinancialOntology.kif 290-290 开户金融交易subclass
(subclass Payment FinancialTransaction) FinancialOntology.kif 403-403 付款金融交易subclass
(subclass Renting FinancialTransaction) Mid-level-ontology.kif 21877-21877 金融交易subclass
(subclass Selling FinancialTransaction) Merge.kif 11734-11734 出售金融交易subclass
(subclass TransactionCollection FinancialTransaction) UXExperimentalTerms.kif 2118-2118 TransactionCollection金融交易subclass
(subclass UsingAnAccount FinancialTransaction) FinancialOntology.kif 308-308 使用帐户金融交易subclass
(subclass Vending FinancialTransaction) Mid-level-ontology.kif 1898-1898 Vending金融交易subclass
(subclass Withdrawal FinancialTransaction) FinancialOntology.kif 455-455 退出金融交易subclass
(subclass Working FinancialTransaction) Mid-level-ontology.kif 19821-19821 工作的金融交易subclass
(termFormat ChineseLanguage FinancialTransaction "金融交易") chinese_format.kif 1140-1140
(termFormat EnglishLanguage FinancialTransaction "financial transaction") english_format.kif 1497-1497

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


(domain broker 1 FinancialTransaction) UXExperimentalTerms.kif 1893-1893 broker 的 1 数量 是 金融交易instance
(domain eCommerceSite 1 FinancialTransaction) UXExperimentalTerms.kif 1913-1913 eCommerceSite 的 1 数量 是 金融交易instance
(domain loss 1 FinancialTransaction) Mid-level-ontology.kif 6864-6864 的 1 数量 是 金融交易instance
(domain profit 1 FinancialTransaction) Mid-level-ontology.kif 7278-7278 利润 的 1 数量 是 金融交易instance
(domain transactionAmount 1 FinancialTransaction) Merge.kif 11683-11683 交易金额 的 1 数量 是 金融交易instance
(domainSubclass occupation 2 FinancialTransaction) Mid-level-ontology.kif 19819-19819 占用 的 2 数量 是 金融交易subclass

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


(=>
    (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 3096-3111
(=>
    (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 1935-1954
(=>
    (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 1967-1986
(=>
    (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 1999-2018
(=>
    (instance ?TRANS FinancialTransaction)
    (exists (?OBJ)
        (and
            (patient ?TRANS ?OBJ)
            (instance ?OBJ FinancialInstrument))))
Merge.kif 11673-11678

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


(<=>
    (customer ?AGENT1 ?AGENT2)
    (exists (?SERVICE)
        (and
            (instance ?SERVICE FinancialTransaction)
            (agent ?SERVICE ?AGENT2)
            (destination ?SERVICE ?AGENT1))))
Mid-level-ontology.kif 7396-7402 有认知的主事另一个 有认知的主事customer 若且唯若 有存在 过程 这样 那个 过程金融交易instance那个 有认知的主事那个 过程agent那个 过程那个 另外 有认知的主事 结束
(=>
    (and
        (attribute ?TRANS ?ATTR)
        (instance ?ATTR AccountAttribute))
    (instance ?TRANS FinancialTransaction))
UXExperimentalTerms.kif 1845-1849
(=>
    (and
        (instance ?JOIN Hiring)
        (instance ?ORG Organization)
        (agent ?JOIN ?ORG)
        (patient ?JOIN ?PERSON))
    (expects ?ORG
        (exists (?FT)
            (and
                (instance ?FT FinancialTransaction)
                (agent ?FT ?ORG)
                (destination ?FT ?PERSON)
                (earlier
                    (WhenFn ?JOIN)
                    (WhenFn ?FT))))))
Merge.kif 10519-10531
(=>
    (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
(=>
    (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 28862-28873
(=>
    (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 1929-1939
(=>
    (instance ?X Marketplace)
    (hasPurpose ?X
        (exists (?EV)
            (and
                (instance ?EV FinancialTransaction)
                (eventLocated ?EV ?X)))))
Mid-level-ontology.kif 21897-21903
(=>
    (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 21982-21996
(=>
    (instance ?X Store)
    (hasPurpose ?X
        (exists (?EV)
            (and
                (instance ?EV FinancialTransaction)
                (eventLocated ?EV ?X)))))
Mid-level-ontology.kif 6743-6749


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