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 的实例成为交易的主体，而且通常是用来交换另外一样的东西。") Merge.kif 11792-11793
(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 11789-11791
(subclass FinancialTransaction Transaction) Merge.kif 11788-11788 金融交易 是 交易 的 subclass

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


(rangeSubclass OccupationFn FinancialTransaction) Mid-level-ontology.kif 18203-18203 OccupationFn 的所得值 是 金融交易 的 subclass
(subclass AssetAllocation FinancialTransaction) FinancialOntology.kif 1737-1737 AssetAllocation 是 金融交易 的 subclass
(subclass AutomaticTransaction FinancialTransaction) FinancialOntology.kif 484-484 AutomaticTransaction 是 金融交易 的 subclass
(subclass Betting FinancialTransaction) Merge.kif 11845-11845 打赌 是 金融交易 的 subclass
(subclass Buying FinancialTransaction) Merge.kif 11853-11853 购买 是 金融交易 的 subclass
(subclass Call FinancialTransaction) FinancialOntology.kif 1366-1366 Call 是 金融交易 的 subclass
(subclass CancellingAnOrder FinancialTransaction) FinancialOntology.kif 2753-2753 CancellingAnOrder 是 金融交易 的 subclass
(subclass ChargingAFee FinancialTransaction) FinancialOntology.kif 835-835 ChargingAFee 是 金融交易 的 subclass
(subclass ClosingAnAccount FinancialTransaction) FinancialOntology.kif 388-388 ClosingAnAccount 是 金融交易 的 subclass
(subclass CommercialService FinancialTransaction) Merge.kif 11831-11831 CommercialService 是 金融交易 的 subclass
(subclass ControllingAnAccount FinancialTransaction) FinancialOntology.kif 353-353 ControllingAnAccount 是 金融交易 的 subclass
(subclass Deposit FinancialTransaction) FinancialOntology.kif 418-418 Deposit 是 金融交易 的 subclass
(subclass ExerciseAnOption FinancialTransaction) FinancialOntology.kif 2669-2669 ExerciseAnOption 是 金融交易 的 subclass
(subclass Exporting FinancialTransaction) Economy.kif 2399-2399 Exporting 是 金融交易 的 subclass
(subclass ExternalTransfer FinancialTransaction) FinancialOntology.kif 3962-3962 ExternalTransfer 是 金融交易 的 subclass
(subclass FillingAnOrder FinancialTransaction) FinancialOntology.kif 2749-2749 FillingAnOrder 是 金融交易 的 subclass
(subclass FinancialDefault FinancialTransaction) FinancialOntology.kif 2078-2078 FinancialDefault 是 金融交易 的 subclass
(subclass FinancialRequest FinancialTransaction) FinancialOntology.kif 3812-3812 FinancialRequest 是 金融交易 的 subclass
(subclass FinancialResponse FinancialTransaction) FinancialOntology.kif 3816-3816 FinancialResponse 是 金融交易 的 subclass
(subclass InternalTransfer FinancialTransaction) FinancialOntology.kif 3975-3975 InternalTransfer 是 金融交易 的 subclass
(subclass Investing FinancialTransaction) FinancialOntology.kif 461-461 Investing 是 金融交易 的 subclass
(subclass Liquidation FinancialTransaction) FinancialOntology.kif 2001-2001 Liquidation 是 金融交易 的 subclass
(subclass MuakharSadaq FinancialTransaction) ArabicCulture.kif 271-271 MuakharSadaq 是 金融交易 的 subclass
(subclass MuqaddamSadaq FinancialTransaction) ArabicCulture.kif 291-291 MuqaddamSadaq 是 金融交易 的 subclass
(subclass OpeningAnAccount FinancialTransaction) FinancialOntology.kif 290-290 OpeningAnAccount 是 金融交易 的 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 1890-1890 broker 的 1 数量 是 金融交易 的 instance
(domain confirmationNumber 1 FinancialTransaction) FinancialOntology.kif 3714-3714 confirmationNumber 的 1 数量 是 金融交易 的 instance
(domain eCommerceSite 1 FinancialTransaction) UXExperimentalTerms.kif 1910-1910 eCommerceSite 的 1 数量 是 金融交易 的 instance
(domain loss 1 FinancialTransaction) Mid-level-ontology.kif 6865-6865 loss 的 1 数量 是 金融交易 的 instance
(domain occupation 2 FinancialTransaction) Mid-level-ontology.kif 18211-18211 occupation 的 2 数量 是 金融交易 的 instance
(domain orderFor 1 FinancialTransaction) FinancialOntology.kif 1902-1902 orderFor 的 1 数量 是 金融交易 的 instance
(domain profit 1 FinancialTransaction) Mid-level-ontology.kif 7308-7308 profit 的 1 数量 是 金融交易 的 instance
(domain serviceFee 2 FinancialTransaction) FinancialOntology.kif 840-840 serviceFee 的 2 数量 是 金融交易 的 instance
(domain transactionAmount 1 FinancialTransaction) Merge.kif 11805-11805 transactionAmount 的 1 数量 是 金融交易 的 instance
(domainSubclass dailyLimit 2 FinancialTransaction) FinancialOntology.kif 3827-3827 dailyLimit 的 2 数量 是 金融交易 的 subclass
(domainSubclass minimumBalance 2 FinancialTransaction) FinancialOntology.kif 640-640 minimumBalance 的 2 数量 是 金融交易 的 subclass
(domainSubclass orderFor 2 FinancialTransaction) FinancialOntology.kif 1903-1903 orderFor 的 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 1074-1087
(=>
    (and
        (instance ?Account CreditCardAccount)
        (instance ?Transaction FinancialTransaction)
        (origin ?Transaction
            (CurrencyFn ?Account)))
    (exists (?Card)
        (and
            (instance ?Card CreditCard)
            (instrument ?Transaction ?Card))))		 FinancialOntology.kif 1181-1189
(=>
    (and
        (instance ?Account SavingsAccount)
        (instance ?Transaction FinancialTransaction)
        (origin ?Transaction
            (CurrencyFn ?Account)))
    (exists (?Authorization)
        (and
            (instance ?Authorization AuthorizationOfTransaction)
            (subProcess ?Authorization ?Transaction))))		 FinancialOntology.kif 978-986
(=>
    (and
        (instance ?Authorization AuthorizationOfTransaction)
        (instance ?Transaction FinancialTransaction)
        (instance ?Card BankCard)
        (instrument ?Transaction ?Card)
        (causes ?Authorization ?Transaction))
    (instance ?Card ValidCard))		 FinancialOntology.kif 3407-3414
(=>
    (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 3093-3108
(=>
    (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 3434-3445
(=>
    (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 ?ACCOUNT1 BusinessAccount)
            (attribute ?ACCOUNT2 BusinessAccount))))		 UXExperimentalTerms.kif 1932-1951
(=>
    (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 1964-1983
(=>
    (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 1996-2015
(=>
    (and
        (instance ?Transaction FinancialTransaction)
        (destination ?Transaction ?Agent))
    (and
        (instance ?Service CommercialService)
        (agent ?Service ?Agent)
        (attribute ?Service OpenService)))		 FinancialOntology.kif 3795-3802
(=>
    (and
        (instance ?Transaction FinancialTransaction)
        (origin ?Transaction
            (CurrencyFn ?Account))
        (transactionAmount ?Transaction ?Amount)
        (instance ?Cash Currency)
        (patient ?Transaction ?Cash)
        (date ?Transaction ?Day))
    (exists (?Amount2)
        (and
            (availableCash ?Account ?Day ?Amount2)
            (greaterThanOrEqualTo ?Amount1 ?Amount2))))		 FinancialOntology.kif 3675-3686
(=>
    (and
        (instance ?Transaction FinancialTransaction)
        (origin ?Transaction ?Account)
        (transactionAmount ?Transaction ?Amount)
        (date ?Transaction ?Day))
    (exists (?Amount2)
        (and
            (availableBalance ?Account ?Day ?Amount2)
            (greaterThanOrEqualTo ?Amount1 ?Amount2))))		 FinancialOntology.kif 3655-3664
(=>
    (and
        (lastStatement ?Account ?Statement)
        (instance ?Transaction1 FinancialTransaction)
        (realization ?Statement ?Transaction1)
        (instance ?Transaction2 FinancialTransaction)
        (not
            (realization ?Statement ?Transaction2)))
    (earlier
        (WhenFn ?Transaction2)
        (WhenFn ?Transaction1)))		 FinancialOntology.kif 3742-3749
(=>
    (instance ?TRANS FinancialTransaction)
    (exists (?OBJ)
        (and
            (patient ?TRANS ?OBJ)
            (instance ?OBJ FinancialInstrument))))		 Merge.kif 11795-11800

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


(<=>
    (customer ?AGENT1 ?AGENT2)
    (exists (?SERVICE)
        (and
            (instance ?SERVICE FinancialTransaction)
            (agent ?SERVICE ?AGENT2)
            (destination ?SERVICE ?AGENT1))))		 Mid-level-ontology.kif 7430-7436 customer 有认知的主事 and 另一个 有认知的主事 若且唯若 有存在 过程 这样 那个 过程 是 金融交易 的 instance 和 那个 另外 有认知的主事 是 那个 过程 的 agent 和 那个 过程 在 那个 有认知的主事 结束
(<=>
    (customerRepresentative ?Person1 ?Person2 ?Org)
    (exists (?Service)
        (and
            (instance ?Service FinancialTransaction)
            (employs ?Org ?Person1)
            (agent ?Service ?Person1)
            (destination ?Service ?Person2))))		 FinancialOntology.kif 3527-3534 customerRepresentative 有认知的主事, 另一个 有认知的主事 and 机构 若且唯若 有存在 过程 这样 那个 过程 是 金融交易 的 instance 和 那个 机构 employs 那个 有认知的主事 和 那个 有认知的主事 是 那个 过程 的 agent 和 那个 过程 在 那个 另外 有认知的主事 结束
(=>
    (and
        (attribute ?TRANS ?ATTR)
        (instance ?ATTR AccountAttribute))
    (instance ?TRANS FinancialTransaction))		 UXExperimentalTerms.kif 1844-1848
(=>
    (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 1137-1149
(=>
    (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 3481-3492
(=>
    (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 3720-3730
(=>
    (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 27644-27655
(=>
    (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 2434-2444
(=>
    (instance ?X Marketplace)
    (hasPurpose ?X
        (exists (?EV)
            (and
                (instance ?EV FinancialTransaction)
                (eventLocated ?EV ?X)))))		 Mid-level-ontology.kif 20336-20342
(=>
    (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 20428-20442
(=>
    (instance ?X Store)
    (hasPurpose ?X
        (exists (?EV)
            (and
                (instance ?EV FinancialTransaction)
                (eventLocated ?EV ?X)))))		 Mid-level-ontology.kif 6741-6747


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