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