Browsing Interface		 [ Home |  Graph |   ]

KB:  Language: 


KB Term: 
English Word: 

Sigma KEE - FinancialTransaction
FinancialTransaction(financial transaction)C.O.D., COD, NAFTA, North_American_Free_Trade_Agreement, abruptly, advance, advisory_service, all_of_a_sudden, amortise, amortize, arbitrage, arms_deal, at_a_loss, attestation_report, attestation_service, bank, banking, barratry, bear, bear_hug, bear_market, best, black_market, blackmail, bond, bond-trading_activity, bond_trading, bountied, break, break_even, bribe, bribery, broker, buckshee, bull_market, business, business_activity, business_deal, buy, buy_off, buyer's_market, buyers'_market, capital_account, carriage_trade, carry, cash, cash_in, cash_on_delivery, cashed, charter...

appearance as argument number 1
-------------------------


(documentation FinancialTransaction EnglishLanguage "A transaction where an instance of financial instrument is the subject of the action, and often is exchanged for something else.") Merge.kif 9390-9391
(subclass FinancialTransaction Transaction) Merge.kif 9389-9389 Financial transaction is a subclass of transaction

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


(instance ExerciseAnOption FinancialTransaction) FinancialOntology.kif 2570-2570 Exercise an option is an instance of financial transaction
(rangeSubclass OccupationFn FinancialTransaction) Mid-level-ontology.kif 13739-13739 The values returned by occupation are subclasses of financial transaction
(subclass AssetAllocation FinancialTransaction) FinancialOntology.kif 1657-1657 Asset allocation is a subclass of financial transaction
(subclass AutomaticTransaction FinancialTransaction) FinancialOntology.kif 463-463 Automatic transaction is a subclass of financial transaction
(subclass Betting FinancialTransaction) Merge.kif 9435-9435 Betting is a subclass of financial transaction
(subclass Buying FinancialTransaction) Merge.kif 9441-9441 Buying is a subclass of financial transaction
(subclass Call FinancialTransaction) FinancialOntology.kif 1285-1285 Call is a subclass of financial transaction
(subclass CancellingAnOrder FinancialTransaction) FinancialOntology.kif 2645-2645 Cancelling an order is a subclass of financial transaction
(subclass ChargingAFee FinancialTransaction) FinancialOntology.kif 833-833 ChargingA fee is a subclass of financial transaction
(subclass ClosingAnAccount FinancialTransaction) FinancialOntology.kif 373-373 Closing an account is a subclass of financial transaction
(subclass CommercialService FinancialTransaction) Merge.kif 9423-9423 Commercial service is a subclass of financial transaction
(subclass ControllingAnAccount FinancialTransaction) FinancialOntology.kif 338-338 Controlling an account is a subclass of financial transaction
(subclass Deposit FinancialTransaction) FinancialOntology.kif 403-403 Deposit is a subclass of financial transaction
(subclass Exporting FinancialTransaction) Economy.kif 2397-2397 Exporting is a subclass of financial transaction
(subclass ExternalTransfer FinancialTransaction) FinancialOntology.kif 3826-3826 External transfer is a subclass of financial transaction
(subclass FillingAnOrder FinancialTransaction) FinancialOntology.kif 2641-2641 Filling an order is a subclass of financial transaction
(subclass FinancialDefault FinancialTransaction) FinancialOntology.kif 1990-1990 Financial default is a subclass of financial transaction
(subclass FinancialRequest FinancialTransaction) FinancialOntology.kif 3678-3678 Financial request is a subclass of financial transaction
(subclass FinancialResponse FinancialTransaction) FinancialOntology.kif 3682-3682 Financial response is a subclass of financial transaction
(subclass InternalTransfer FinancialTransaction) FinancialOntology.kif 3839-3839 Internal transfer is a subclass of financial transaction
(subclass Investing FinancialTransaction) FinancialOntology.kif 446-446 Investing is a subclass of financial transaction
(subclass Liquidation FinancialTransaction) FinancialOntology.kif 1919-1919 Liquidation is a subclass of financial transaction
(subclass MuakharSadaq FinancialTransaction) ArabicCulture.kif 260-260 Muakhar sadaq is a subclass of financial transaction
(subclass MuqaddamSadaq FinancialTransaction) ArabicCulture.kif 279-279 Muqaddam sadaq is a subclass of financial transaction
(subclass OpeningAnAccount FinancialTransaction) FinancialOntology.kif 275-275 Opening an account is a subclass of financial transaction

Display limited to 25 items. Show next 25

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


(domain confirmationNumber 1 FinancialTransaction) FinancialOntology.kif 3583-3583 The number 1 argument of confirmation number is an instance of financial transaction
(domain loss 1 FinancialTransaction) Mid-level-ontology.kif 4603-4603 The number 1 argument of loss is an instance of financial transaction
(domain occupation 2 FinancialTransaction) Mid-level-ontology.kif 13747-13747 The number 2 argument of occupation is an instance of financial transaction
(domain orderFor 1 FinancialTransaction) FinancialOntology.kif 1820-1820 The number 1 argument of order for is an instance of financial transaction
(domain profit 1 FinancialTransaction) FinancialOntology.kif 1646-1646 The number 1 argument of profit is an instance of financial transaction
(domain serviceFee 2 FinancialTransaction) FinancialOntology.kif 838-838 The number 2 argument of service fee is an instance of financial transaction
(domain transactionAmount 1 FinancialTransaction) Merge.kif 9403-9403 The number 1 argument of transaction amount is an instance of financial transaction
(domainSubclass dailyLimit 2 FinancialTransaction) FinancialOntology.kif 3693-3693 The number 2 argument of daily limit is a subclass of financial transaction
(domainSubclass minimumBalance 2 FinancialTransaction) FinancialOntology.kif 637-637 The number 2 argument of minimum balance is a subclass of financial transaction
(domainSubclass orderFor 2 FinancialTransaction) FinancialOntology.kif 1821-1821 The number 2 argument of order for is a subclass of financial transaction

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 1036-1049
(=>
    (and
        (instance ?Account CreditCardAccount)
        (instance ?Transaction FinancialTransaction)
        (origin ?Transaction
            (CurrencyFn ?Account)))
    (exists (?Card)
        (and
            (instance ?Card CreditCard)
            (instrument ?Transaction ?Card))))		 FinancialOntology.kif 1108-1116
(=>
    (and
        (instance ?Account SavingsAccount)
        (instance ?Transaction FinancialTransaction)
        (origin ?Transaction
            (CurrencyFn ?Account)))
    (exists (?Authorization)
        (and
            (instance ?Authorization AuthorizationOfTransaction)
            (subProcess ?Authorization ?Transaction))))		 FinancialOntology.kif 940-948
(=>
    (and
        (instance ?Authorization AuthorizationOfTransaction)
        (instance ?Transaction FinancialTransaction)
        (instance ?Card BankCard)
        (instrument ?Transaction ?Card)
        (causes ?Authorization ?Transaction))
    (instance ?Card ValidCard))		 FinancialOntology.kif 3303-3310
(=>
    (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 3329-3340
(=>
    (and
        (lastStatement ?Account ?Statement)
        (instance ?Transaction1 FinancialTransaction)
        (realization ?Statement ?Transaction1)
        (instance ?Transaction2 FinancialTransaction)
        (not
            (realization ?Statement ?Transaction2)))
    (earlier
        (WhenFn ?Transaction2)
        (WhenFn ?Transaction1)))		 FinancialOntology.kif 3607-3614
(=>
    (exists (?Transaction)
        (and
            (instance ?Transaction FinancialTransaction)
            (destination ?Transaction ?Agent)))
    (and
        (instance ?Service CommercialService)
        (agent ?Service ?Agent)
        (attribute ?Service OpenService)))		 FinancialOntology.kif 3660-3668
(=>
    (exists (?Transaction)
        (and
            (instance ?Transaction FinancialTransaction)
            (origin ?Transaction
                (CurrencyFn ?Account))
            (transactionAmount ?Transaction ?Amount)
            (date ?Transaction ?Day)))
    (exists (?Amount2)
        (and
            (availableBalance ?Account ?Day ?Amount2)
            (greaterThanOrEqualTo ?Amount1 ?Amount2))))		 FinancialOntology.kif 3523-3533
(=>
    (exists (?Transaction)
        (and
            (instance ?Transaction FinancialTransaction)
            (origin ?Transaction
                (CurrencyFn ?Account))
            (transactionAmount ?Transaction ?Amount)
            (instance ?Cash Cash)
            (instrument ?Transaction ?Cash)
            (date ?Transaction ?Day)))
    (exists (?Amount2)
        (and
            (availableCash ?Account ?Day ?Amount2)
            (greaterThanOrEqualTo ?Amount1 ?Amount2))))		 FinancialOntology.kif 3543-3555
(=>
    (instance ?TRANS FinancialTransaction)
    (exists (?OBJ)
        (and
            (patient ?TRANS ?OBJ)
            (instance ?OBJ FinancialInstrument))))		 Merge.kif 9393-9398

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


(<=>
    (customer ?Agent1 ?Agent2)
    (exists (?Service)
        (and
            (instance ?Service FinancialTransaction)
            (agent ?Service ?Agent2)
            (destination ?Service ?Agent1))))		 FinancialOntology.kif 3399-3405 A cognitive agent is a customer of cognitive agent if and only if there exists a process so that process is an instance of financial transaction and cognitive agent is an agent of process and process ends at cognitive agent
(<=>
    (customerRepresentative ?Person1 ?Person2 ?Org)
    (exists (?Service)
        (and
            (instance ?Service FinancialTransaction)
            (employs ?Org ?Person1)
            (agent ?Service ?Person1)
            (destination ?Service ?Person2))))		 FinancialOntology.kif 3421-3428 A cognitive agent customer representative cognitive agent for an organization if and only if there exists a process so that process is an instance of financial transaction and organization employs cognitive agent and cognitive agent is an agent of process and process ends at cognitive agent
(=>
    (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 953-976
(=>
    (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))))		 Mid-level-ontology.kif 14157-14169
(=>
    (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 3376-3387
(=>
    (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 3589-3599
(=>
    (instance ?VD VendingDevice)
    (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 1496-1506
(=>
    (instance ?X Hotel)
    (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)
                (agent ?EV ?P)
                (located ?EV ?X)))))		 Mid-level-ontology.kif 15360-15373
(=>
    (instance ?X Marketplace)
    (hasPurpose ?X
        (exists (?EV)
            (and
                (instance ?EV FinancialTransaction)
                (located ?EV ?X)))))		 Mid-level-ontology.kif 15395-15401
(=>
    (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)
                (located ?EV ?X)))))		 Mid-level-ontology.kif 15494-15508
(=>
    (instance ?X Store)
    (hasPurpose ?X
        (exists (?EV)
            (and
                (instance ?EV FinancialTransaction)
                (located ?EV ?X)))))		 Mid-level-ontology.kif 4501-4507


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      SUMO web home
Sigma version 2.8b (2010/03/15) is open source software produced by Articulate Software and its partners