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 金融取引 and 取引

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


(rangeSubclass OccupationFn FinancialTransaction) Mid-level-ontology.kif 18203-18203 rangeSubclass OccupationFn and 金融取引
(subclass AssetAllocation FinancialTransaction) FinancialOntology.kif 1737-1737 subclass AssetAllocation and 金融取引
(subclass AutomaticTransaction FinancialTransaction) FinancialOntology.kif 484-484 subclass AutomaticTransaction and 金融取引
(subclass Betting FinancialTransaction) Merge.kif 11845-11845 subclass 賭け and 金融取引
(subclass Buying FinancialTransaction) Merge.kif 11853-11853 subclass 購買 and 金融取引
(subclass Call FinancialTransaction) FinancialOntology.kif 1366-1366 subclass Call and 金融取引
(subclass CancellingAnOrder FinancialTransaction) FinancialOntology.kif 2753-2753 subclass CancellingAnOrder and 金融取引
(subclass ChargingAFee FinancialTransaction) FinancialOntology.kif 835-835 subclass ChargingAFee and 金融取引
(subclass ClosingAnAccount FinancialTransaction) FinancialOntology.kif 388-388 subclass ClosingAnAccount and 金融取引
(subclass CommercialService FinancialTransaction) Merge.kif 11831-11831 subclass CommercialService and 金融取引
(subclass ControllingAnAccount FinancialTransaction) FinancialOntology.kif 353-353 subclass ControllingAnAccount and 金融取引
(subclass Deposit FinancialTransaction) FinancialOntology.kif 418-418 subclass Deposit and 金融取引
(subclass ExerciseAnOption FinancialTransaction) FinancialOntology.kif 2669-2669 subclass ExerciseAnOption and 金融取引
(subclass Exporting FinancialTransaction) Economy.kif 2399-2399 subclass Exporting and 金融取引
(subclass ExternalTransfer FinancialTransaction) FinancialOntology.kif 3962-3962 subclass ExternalTransfer and 金融取引
(subclass FillingAnOrder FinancialTransaction) FinancialOntology.kif 2749-2749 subclass FillingAnOrder and 金融取引
(subclass FinancialDefault FinancialTransaction) FinancialOntology.kif 2078-2078 subclass FinancialDefault and 金融取引
(subclass FinancialRequest FinancialTransaction) FinancialOntology.kif 3812-3812 subclass FinancialRequest and 金融取引
(subclass FinancialResponse FinancialTransaction) FinancialOntology.kif 3816-3816 subclass FinancialResponse and 金融取引
(subclass InternalTransfer FinancialTransaction) FinancialOntology.kif 3975-3975 subclass InternalTransfer and 金融取引
(subclass Investing FinancialTransaction) FinancialOntology.kif 461-461 subclass Investing and 金融取引
(subclass Liquidation FinancialTransaction) FinancialOntology.kif 2001-2001 subclass Liquidation and 金融取引
(subclass MuakharSadaq FinancialTransaction) ArabicCulture.kif 271-271 subclass MuakharSadaq and 金融取引
(subclass MuqaddamSadaq FinancialTransaction) ArabicCulture.kif 291-291 subclass MuqaddamSadaq and 金融取引
(subclass OpeningAnAccount FinancialTransaction) FinancialOntology.kif 290-290 subclass OpeningAnAccount and 金融取引

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 domain broker, 1 and 金融取引
(domain confirmationNumber 1 FinancialTransaction) FinancialOntology.kif 3714-3714 domain confirmationNumber, 1 and 金融取引
(domain eCommerceSite 1 FinancialTransaction) UXExperimentalTerms.kif 1910-1910 domain eCommerceSite, 1 and 金融取引
(domain loss 1 FinancialTransaction) Mid-level-ontology.kif 6865-6865 domain loss, 1 and 金融取引
(domain occupation 2 FinancialTransaction) Mid-level-ontology.kif 18211-18211 domain occupation, 2 and 金融取引
(domain orderFor 1 FinancialTransaction) FinancialOntology.kif 1902-1902 domain orderFor, 1 and 金融取引
(domain profit 1 FinancialTransaction) Mid-level-ontology.kif 7308-7308 domain profit, 1 and 金融取引
(domain serviceFee 2 FinancialTransaction) FinancialOntology.kif 840-840 domain serviceFee, 2 and 金融取引
(domain transactionAmount 1 FinancialTransaction) Merge.kif 11805-11805 domain transactionAmount, 1 and 金融取引
(domainSubclass dailyLimit 2 FinancialTransaction) FinancialOntology.kif 3827-3827 domainSubclass dailyLimit, 2 and 金融取引
(domainSubclass minimumBalance 2 FinancialTransaction) FinancialOntology.kif 640-640 domainSubclass minimumBalance, 2 and 金融取引
(domainSubclass orderFor 2 FinancialTransaction) FinancialOntology.kif 1903-1903 domainSubclass orderFor, 2 and 金融取引

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 工程 and 金融取引 agent 工程 and 認識エージェント destination 工程 and 認識エージェント
(<=>
    (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 工程 and 金融取引 employs 組織 and 認識エージェント agent 工程 and 認識エージェント destination 工程 and 認識エージェント
(=>
    (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