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 11836-11838
(documentation FinancialTransaction JapaneseLanguage "Transaction は、FinancialInstrument のインスタンスがアクションの対象であり、多くの場合、他のインスタンスと交換される。") japanese_format.kif 1866-1867
(subclass FinancialTransaction Transaction) Merge.kif 11834-11834 金融取引取引subclass では %n

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


(rangeSubclass OccupationFn FinancialTransaction) Mid-level-ontology.kif 20489-20489 OccupationFn が返す値は 金融取引subclasses では %n
(subclass AssetAllocation FinancialTransaction) FinancialOntology.kif 1799-1799 AssetAllocation金融取引subclass では %n
(subclass AutomaticTransaction FinancialTransaction) FinancialOntology.kif 507-507 AutomaticTransaction金融取引subclass では %n
(subclass Betting FinancialTransaction) Merge.kif 11884-11884 賭け金融取引subclass では %n
(subclass Buying FinancialTransaction) Merge.kif 11890-11890 購買金融取引subclass では %n
(subclass Call FinancialTransaction) FinancialOntology.kif 1424-1424 Call金融取引subclass では %n
(subclass CancellingAnOrder FinancialTransaction) FinancialOntology.kif 2833-2833 CancellingAnOrder金融取引subclass では %n
(subclass ChargingAFee FinancialTransaction) FinancialOntology.kif 890-890 ChargingAFee金融取引subclass では %n
(subclass ClosingAnAccount FinancialTransaction) FinancialOntology.kif 388-388 ClosingAnAccount金融取引subclass では %n
(subclass CommercialService FinancialTransaction) Merge.kif 11872-11872 CommercialService金融取引subclass では %n
(subclass ControllingAnAccount FinancialTransaction) FinancialOntology.kif 353-353 ControllingAnAccount金融取引subclass では %n
(subclass Deposit FinancialTransaction) FinancialOntology.kif 426-426 Deposit金融取引subclass では %n
(subclass ExerciseAnOption FinancialTransaction) FinancialOntology.kif 2749-2749 ExerciseAnOption金融取引subclass では %n
(subclass Exporting FinancialTransaction) Economy.kif 2396-2396 Exporting金融取引subclass では %n
(subclass ExternalTransfer FinancialTransaction) FinancialOntology.kif 4125-4125 ExternalTransfer金融取引subclass では %n
(subclass FillingAnOrder FinancialTransaction) FinancialOntology.kif 2829-2829 FillingAnOrder金融取引subclass では %n
(subclass FinancialDefault FinancialTransaction) FinancialOntology.kif 2146-2146 FinancialDefault金融取引subclass では %n
(subclass FinancialRequest FinancialTransaction) FinancialOntology.kif 3976-3976 FinancialRequest金融取引subclass では %n
(subclass FinancialResponse FinancialTransaction) FinancialOntology.kif 3980-3980 FinancialResponse金融取引subclass では %n
(subclass InternalTransfer FinancialTransaction) FinancialOntology.kif 4138-4138 InternalTransfer金融取引subclass では %n
(subclass Investing FinancialTransaction) FinancialOntology.kif 483-483 Investing金融取引subclass では %n
(subclass Liquidation FinancialTransaction) FinancialOntology.kif 2069-2069 Liquidation金融取引subclass では %n
(subclass MuakharSadaq FinancialTransaction) ArabicCulture.kif 284-284 MuakharSadaq金融取引subclass では %n
(subclass MuqaddamSadaq FinancialTransaction) ArabicCulture.kif 304-304 MuqaddamSadaq金融取引subclass では %n
(subclass OpeningAnAccount FinancialTransaction) FinancialOntology.kif 290-290 OpeningAnAccount金融取引subclass では %n

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 1685-1685 broker の数値 1 引数は 金融取引instance では %n
(domain confirmationNumber 1 FinancialTransaction) FinancialOntology.kif 3879-3879 confirmationNumber の数値 1 引数は 金融取引instance では %n
(domain eCommerceSite 1 FinancialTransaction) UXExperimentalTerms.kif 1705-1705 eCommerceSite の数値 1 引数は 金融取引instance では %n
(domain loss 1 FinancialTransaction) Mid-level-ontology.kif 7204-7204 loss の数値 1 引数は 金融取引instance では %n
(domain orderFor 1 FinancialTransaction) FinancialOntology.kif 1965-1965 orderFor の数値 1 引数は 金融取引instance では %n
(domain profit 1 FinancialTransaction) Mid-level-ontology.kif 7602-7602 profit の数値 1 引数は 金融取引instance では %n
(domain serviceFee 2 FinancialTransaction) FinancialOntology.kif 895-895 serviceFee の数値 2 引数は 金融取引instance では %n
(domain transactionAmount 1 FinancialTransaction) Merge.kif 11850-11850 transactionAmount の数値 1 引数は 金融取引instance では %n
(domainSubclass dailyLimit 2 FinancialTransaction) FinancialOntology.kif 3991-3991 dailyLimit の数値 2 引数は 金融取引subclass では %n
(domainSubclass minimumBalance 2 FinancialTransaction) FinancialOntology.kif 680-680 minimumBalance の数値 2 引数は 金融取引subclass では %n
(domainSubclass occupation 2 FinancialTransaction) Mid-level-ontology.kif 20497-20497 occupation の数値 2 引数は 金融取引subclass では %n
(domainSubclass orderFor 2 FinancialTransaction) FinancialOntology.kif 1966-1966 orderFor の数値 2 引数は 金融取引subclass では %n

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 1129-1142
(=>
    (and
        (instance ?Account CreditCardAccount)
        (instance ?Transaction FinancialTransaction)
        (origin ?Transaction
            (CurrencyFn ?Account)))
    (exists (?Card)
        (and
            (instance ?Card CreditCard)
            (instrument ?Transaction ?Card))))
FinancialOntology.kif 1239-1247
(=>
    (and
        (instance ?Account SavingsAccount)
        (instance ?Transaction FinancialTransaction)
        (origin ?Transaction
            (CurrencyFn ?Account)))
    (exists (?Authorization)
        (and
            (instance ?Authorization AuthorizationOfTransaction)
            (subProcess ?Authorization ?Transaction))))
FinancialOntology.kif 1033-1041
(=>
    (and
        (instance ?Authorization AuthorizationOfTransaction)
        (instance ?Transaction FinancialTransaction)
        (instance ?Card BankCard)
        (instrument ?Transaction ?Card)
        (causes ?Authorization ?Transaction))
    (instance ?Card ValidCard))
FinancialOntology.kif 3516-3523
(=>
    (and
        (instance ?COLL Collection)
        (forall (?MEMBER)
            (=>
                (member ?MEMBER ?COLL)
                (instance ?MEMBER FinancialTransaction))))
    (exists (?ITEM ?BUYING)
        (equal
            (CardinalityFn
                (KappaFn ?ITEM
                    (and
                        (instance ?ITEM Physical)
                        (instance ?BUYING Buying)
                        (member ?BUYING ?COLL)
                        (patient ?BUYING ?ITEM))))
            (BoughtItemsFn ?COLL))))
UXExperimentalTerms.kif 2887-2903
(=>
    (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 3543-3554
(=>
    (and
        (instance ?TRANS FinancialTransaction)
        (attribute ?TRANS BusinessToBusiness))
    (exists (?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE)
        (and
            (instance ?ACCT1 UserAccount)
            (instance ?ACCT2 UserAccount)
            (instance ?USER1 AutonomousAgent)
            (instance ?USER2 AutonomousAgent)
            (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 ?ACCT1 BusinessAccount)
            (attribute ?ACCT2 BusinessAccount))))
UXExperimentalTerms.kif 1727-1746
(=>
    (and
        (instance ?TRANS FinancialTransaction)
        (attribute ?TRANS BusinessToConsumer))
    (exists (?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE)
        (and
            (instance ?ACCT1 UserAccount)
            (instance ?ACCT2 UserAccount)
            (instance ?USER1 AutonomousAgent)
            (instance ?USER2 AutonomousAgent)
            (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 ?ACCT1 BusinessAccount)
            (attribute ?ACCT2 ConsumerAccount))))
UXExperimentalTerms.kif 1759-1778
(=>
    (and
        (instance ?TRANS FinancialTransaction)
        (attribute ?TRANS ConsumerToConsumer))
    (exists (?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE)
        (and
            (instance ?ACCT1 UserAccount)
            (instance ?ACCT2 UserAccount)
            (instance ?USER1 AutonomousAgent)
            (instance ?USER2 AutonomousAgent)
            (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 ?ACCT1 ConsumerAccount)
            (attribute ?ACCT2 ConsumerAccount))))
UXExperimentalTerms.kif 1791-1810
(=>
    (and
        (instance ?Transaction FinancialTransaction)
        (destination ?Transaction ?Agent))
    (and
        (instance ?Service CommercialService)
        (agent ?Service ?Agent)
        (attribute ?Service OpenService)))
FinancialOntology.kif 3959-3966
(=>
    (and
        (instance ?Transaction FinancialTransaction)
        (origin ?Transaction
            (CurrencyFn ?Account))
        (transactionAmount ?Transaction
            (MeasureFn ?Amount1 ?U))
        (instance ?U UnitOfCurrency)
        (instance ?Cash Currency)
        (patient ?Transaction ?Cash)
        (date ?Transaction ?Day))
    (exists (?Amount2)
        (and
            (availableCash ?Account ?Day
                (MeasureFn ?Amount2 ?U))
            (greaterThanOrEqualTo ?Amount1 ?Amount2))))
FinancialOntology.kif 3838-3852
(=>
    (and
        (instance ?Transaction FinancialTransaction)
        (origin ?Transaction ?Account)
        (transactionAmount ?Transaction
            (MeasureFn ?Amount1 ?U))
        (instance ?U UnitOfCurrency)
        (date ?Transaction ?Day))
    (exists (?Amount2)
        (and
            (availableBalance ?Account ?Day
                (MeasureFn ?Amount2 ?U))
            (greaterThanOrEqualTo ?Amount1 ?Amount2))))
FinancialOntology.kif 3815-3827
(=>
    (and
        (lastStatement ?Account ?Statement)
        (instance ?Transaction1 FinancialTransaction)
        (realization ?Statement ?Transaction1)
        (instance ?Transaction2 FinancialTransaction)
        (not
            (realization ?Statement ?Transaction2)))
    (earlier
        (WhenFn ?Transaction2)
        (WhenFn ?Transaction1)))
FinancialOntology.kif 3907-3914
(=>
    (instance ?TRANS FinancialTransaction)
    (exists (?OBJ)
        (and
            (patient ?TRANS ?OBJ)
            (instance ?OBJ FinancialInstrument))))
Merge.kif 11840-11845

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


(<=>
    (customer ?AGENT1 ?AGENT2)
    (exists (?SERVICE)
        (and
            (instance ?SERVICE FinancialTransaction)
            (agent ?SERVICE ?AGENT2)
            (destination ?SERVICE ?AGENT1))))
Mid-level-ontology.kif 7727-7733 customer 認識エージェント and AutonomousAgent 工程 工程金融取引instance では %n AutonomousAgent 工程agent では %n 工程 認識エージェントends %n{ない}
(<=>
    (customerRepresentative ?Person1 ?Person2 ?Org)
    (exists (?Service)
        (and
            (instance ?Service FinancialTransaction)
            (employs ?Org ?Person1)
            (agent ?Service ?Person1)
            (destination ?Service ?Person2))))
FinancialOntology.kif 3635-3642 customerRepresentative 認識エージェント, 認識エージェント and 組織 工程 工程金融取引instance では %n 組織 認識エージェントemploys %n{ない} 認識エージェント 工程agent では %n 工程 認識エージェントends %n{ない}
(=>
    (and
        (attribute ?TRANS ?ATTR)
        (instance ?ATTR AccountAttribute))
    (instance ?TRANS FinancialTransaction))
UXExperimentalTerms.kif 1637-1641
(=>
    (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 10631-10643
(=>
    (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
            (MeasureFn ?P ?U))
        (instance ?U UnitOfCurrency)
        (agent ?A ?O))
    (exists (?C ?PAY)
        (and
            (instance ?PAY FinancialTransaction)
            (transactionAmount ?PAY
                (MeasureFn ?C ?U))
            (lessThan ?C ?P)
            (destination ?PAY ?PSP))))
FinancialOntology.kif 1192-1207
(=>
    (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 3590-3601
(=>
    (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 3885-3895
(=>
    (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 29474-29485
(=>
    (instance ?PS PayStub)
    (exists (?FT ?O ?E)
        (and
            (instance ?FT FinancialTransaction)
            (origin ?FT ?O)
            (destination ?FT ?E)
            (refers ?PS ?FT))))
Medicine.kif 3386-3393
(=>
    (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 1974-1984
(=>
    (instance ?X Marketplace)
    (hasPurpose ?X
        (exists (?EV)
            (and
                (instance ?EV FinancialTransaction)
                (eventLocated ?EV ?X)))))
Mid-level-ontology.kif 22441-22447
(=>
    (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 22560-22574
(=>
    (instance ?X Store)
    (hasPurpose ?X
        (exists (?EV)
            (and
                (instance ?EV FinancialTransaction)
                (eventLocated ?EV ?X)))))
Mid-level-ontology.kif 7083-7089
(=>
    (standardRetailHours ?TIMEINT ?AGENT)
    (exists (?FT ?T ?C ?SRH ?NONSRH)
        (and
            (instance ?FT FinancialTransaction)
            (agent ?FT ?AGENT)
            (instance ?T ?TIMEINT)
            (destination ?FT ?C)
            (equal ?SRH
                (ProbabilityFn
                    (and
                        (during
                            (WhenFn ?FT) ?T)
                        (customer ?C ?AGENT))))
            (equal ?NONSRH
                (ProbabilityFn
                    (and
                        (not
                            (during
                                (WhenFn ?FT) ?T))
                        (customer ?C ?AGENT))))
            (greaterThan ?SRH ?NONSRH))))
Dining.kif 388-407


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