Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  FinancialTransaction

Sigma KEE - FinancialTransaction
FinancialTransaction(financial transaction)C.O.D., COD, NAFTA, North_American_Free_Trade_Agreement, advance, advisory_service, amortise, amortize, arbitrage, arms_deal, at_a_loss, attestation_report, attestation_service, bank, banking, barratry, bear, bear_hug, bear_market, best, black_market, 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, chartered, check_out, clean_up...

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


s__documentation(s__FinancialTransaction,s__ChineseLanguage,'"这是一种 Transaction,它出现在当一种 FinancialInstrument 的实例成为交易的主体,而且通常是用来交换另外一样的东西。"')

chinese_format.kif 3095-3096
s__documentation(s__FinancialTransaction,s__EnglishLanguage,'"A Transaction where an instance of FinancialInstrument is the subject of the action, and often is exchanged for something else."')

Merge.kif 11330-11332
s__subclass(s__FinancialTransaction,s__Transaction)

s__instance(s__Transaction,s__SetOrClass)

s__instance(s__FinancialTransaction,s__SetOrClass)

Merge.kif 11328-11328 Financial transaction is a subclass of transaction

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


s__rangeSubclass(s__OccupationFn__m,s__FinancialTransaction)

Mid-level-ontology.kif 19492-19492 The values returned by occupation are subclasses of financial transaction
s__subclass(s__AssetAllocation,s__FinancialTransaction)

s__instance(s__FinancialTransaction,s__SetOrClass)

s__instance(s__AssetAllocation,s__SetOrClass)

FinancialOntology.kif 1769-1769 Asset allocation is a subclass of financial transaction
s__subclass(s__AutomaticTransaction,s__FinancialTransaction)

s__instance(s__FinancialTransaction,s__SetOrClass)

s__instance(s__AutomaticTransaction,s__SetOrClass)

FinancialOntology.kif 483-483 Automatic transaction is a subclass of financial transaction
s__instance(s__FinancialTransaction,s__SetOrClass)

s__subclass(s__Betting,s__FinancialTransaction)

s__instance(s__Betting,s__SetOrClass)

Merge.kif 11378-11378 Betting is a subclass of financial transaction
s__subclass(s__Buying,s__FinancialTransaction)

s__instance(s__FinancialTransaction,s__SetOrClass)

s__instance(s__Buying,s__SetOrClass)

Merge.kif 11384-11384 Buying is a subclass of financial transaction
s__instance(s__Call,s__SetOrClass)

s__subclass(s__Call,s__FinancialTransaction)

s__instance(s__FinancialTransaction,s__SetOrClass)

FinancialOntology.kif 1378-1378 Call is a subclass of financial transaction
s__instance(s__CancellingAnOrder,s__SetOrClass)

s__instance(s__FinancialTransaction,s__SetOrClass)

s__subclass(s__CancellingAnOrder,s__FinancialTransaction)

FinancialOntology.kif 2794-2794 Cancelling an order is a subclass of financial transaction
s__subclass(s__ChargingAFee,s__FinancialTransaction)

s__instance(s__FinancialTransaction,s__SetOrClass)

s__instance(s__ChargingAFee,s__SetOrClass)

FinancialOntology.kif 844-844 ChargingA fee is a subclass of financial transaction
s__subclass(s__ClosingAnAccount,s__FinancialTransaction)

s__instance(s__ClosingAnAccount,s__SetOrClass)

s__instance(s__FinancialTransaction,s__SetOrClass)

FinancialOntology.kif 388-388 Closing an account is a subclass of financial transaction
s__instance(s__CommercialService,s__SetOrClass)

s__instance(s__FinancialTransaction,s__SetOrClass)

s__subclass(s__CommercialService,s__FinancialTransaction)

Merge.kif 11366-11366 Commercial service is a subclass of financial transaction
s__instance(s__ControllingAnAccount,s__SetOrClass)

s__subclass(s__ControllingAnAccount,s__FinancialTransaction)

s__instance(s__FinancialTransaction,s__SetOrClass)

FinancialOntology.kif 353-353 Controlling an account is a subclass of financial transaction
s__instance(s__Deposit,s__SetOrClass)

s__instance(s__FinancialTransaction,s__SetOrClass)

s__subclass(s__Deposit,s__FinancialTransaction)

FinancialOntology.kif 418-418 Deposit is a subclass of financial transaction
s__instance(s__ExerciseAnOption,s__SetOrClass)

s__instance(s__FinancialTransaction,s__SetOrClass)

s__subclass(s__ExerciseAnOption,s__FinancialTransaction)

FinancialOntology.kif 2710-2710 Exercise an option is a subclass of financial transaction
s__instance(s__Exporting,s__SetOrClass)

s__subclass(s__Exporting,s__FinancialTransaction)

s__instance(s__FinancialTransaction,s__SetOrClass)

Economy.kif 2399-2399 Exporting is a subclass of financial transaction
s__instance(s__ExternalTransfer,s__SetOrClass)

s__subclass(s__ExternalTransfer,s__FinancialTransaction)

s__instance(s__FinancialTransaction,s__SetOrClass)

FinancialOntology.kif 4037-4037 External transfer is a subclass of financial transaction
s__instance(s__FillingAnOrder,s__SetOrClass)

s__subclass(s__FillingAnOrder,s__FinancialTransaction)

s__instance(s__FinancialTransaction,s__SetOrClass)

FinancialOntology.kif 2790-2790 Filling an order is a subclass of financial transaction
s__instance(s__FinancialDefault,s__SetOrClass)

s__subclass(s__FinancialDefault,s__FinancialTransaction)

s__instance(s__FinancialTransaction,s__SetOrClass)

FinancialOntology.kif 2117-2117 Financial default is a subclass of financial transaction
s__instance(s__FinancialRequest,s__SetOrClass)

s__instance(s__FinancialTransaction,s__SetOrClass)

s__subclass(s__FinancialRequest,s__FinancialTransaction)

FinancialOntology.kif 3888-3888 Financial request is a subclass of financial transaction
s__instance(s__FinancialResponse,s__SetOrClass)

s__subclass(s__FinancialResponse,s__FinancialTransaction)

s__instance(s__FinancialTransaction,s__SetOrClass)

FinancialOntology.kif 3892-3892 Financial response is a subclass of financial transaction
s__subclass(s__InternalTransfer,s__FinancialTransaction)

s__instance(s__InternalTransfer,s__SetOrClass)

s__instance(s__FinancialTransaction,s__SetOrClass)

FinancialOntology.kif 4050-4050 Internal transfer is a subclass of financial transaction
s__subclass(s__Investing,s__FinancialTransaction)

s__instance(s__Investing,s__SetOrClass)

s__instance(s__FinancialTransaction,s__SetOrClass)

FinancialOntology.kif 459-459 Investing is a subclass of financial transaction
s__instance(s__Liquidation,s__SetOrClass)

s__instance(s__FinancialTransaction,s__SetOrClass)

s__subclass(s__Liquidation,s__FinancialTransaction)

FinancialOntology.kif 2040-2040 Liquidation is a subclass of financial transaction
s__instance(s__MuakharSadaq,s__SetOrClass)

s__subclass(s__MuakharSadaq,s__FinancialTransaction)

s__instance(s__FinancialTransaction,s__SetOrClass)

ArabicCulture.kif 273-273 Muakhar sadaq is a subclass of financial transaction
s__instance(s__MuqaddamSadaq,s__SetOrClass)

s__subclass(s__MuqaddamSadaq,s__FinancialTransaction)

s__instance(s__FinancialTransaction,s__SetOrClass)

ArabicCulture.kif 293-293 Muqaddam sadaq is a subclass of financial transaction
s__instance(s__FinancialTransaction,s__SetOrClass)

s__subclass(s__OpeningAnAccount,s__FinancialTransaction)

s__instance(s__OpeningAnAccount,s__SetOrClass)

FinancialOntology.kif 290-290 Opening an account is a subclass of financial transaction

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


s__domain(s__broker__m,n__1,s__FinancialTransaction)

UXExperimentalTerms.kif 1893-1893 The number 1 argument of broker is an instance of financial transaction
s__domain(s__confirmationNumber__m,n__1,s__FinancialTransaction)

FinancialOntology.kif 3790-3790 The number 1 argument of confirmation number is an instance of financial transaction
s__domain(s__eCommerceSite__m,n__1,s__FinancialTransaction)

UXExperimentalTerms.kif 1913-1913 The number 1 argument of eCommerceSite is an instance of financial transaction
s__domain(s__loss__m,n__1,s__FinancialTransaction)

Mid-level-ontology.kif 6840-6840 The number 1 argument of loss is an instance of financial transaction
s__domain(s__occupation__m,n__2,s__FinancialTransaction)

Mid-level-ontology.kif 19500-19500 The number 2 argument of occupation is an instance of financial transaction
s__domain(s__orderFor__m,n__1,s__FinancialTransaction)

FinancialOntology.kif 1935-1935 The number 1 argument of order for is an instance of financial transaction
s__domain(s__profit__m,n__1,s__FinancialTransaction)

Mid-level-ontology.kif 7254-7254 The number 1 argument of profit is an instance of financial transaction
s__domain(s__serviceFee__m,n__2,s__FinancialTransaction)

FinancialOntology.kif 849-849 The number 2 argument of service fee is an instance of financial transaction
s__domain(s__transactionAmount__m,n__1,s__FinancialTransaction)

Merge.kif 11344-11344 The number 1 argument of transaction amount is an instance of financial transaction
s__domainSubclass(s__dailyLimit__m,n__2,s__FinancialTransaction)

FinancialOntology.kif 3903-3903 The number 2 argument of daily limit is a subclass of financial transaction
s__domainSubclass(s__minimumBalance__m,n__2,s__FinancialTransaction)

FinancialOntology.kif 640-640 The number 2 argument of minimum balance is a subclass of financial transaction
s__domainSubclass(s__orderFor__m,n__2,s__FinancialTransaction)

FinancialOntology.kif 1936-1936 The number 2 argument of order for is a subclass of financial transaction

antecedent
-------------------------


( ! [V__Account,V__Transaction] :
   (((s__instance(V__Account,s__CheckingAccount) &
         s__instance(V__Transaction,s__FinancialTransaction) &
         s__origin(V__Transaction,s__CurrencyFn(V__Account)))
   =>
   ((( ? [V__Check] :
         ((s__instance(V__Check,s__Check) &
             s__instrument(V__Transaction,V__Check))))
     |
     ( ? [V__DebitCard] :
       ((s__instance(V__DebitCard,s__DebitCard) &
           s__instrument(V__Transaction,V__DebitCard)))))))
)
)

FinancialOntology.kif 1083-1096
( ! [V__Account,V__Transaction] :
   (((s__instance(V__Account,s__CreditCardAccount) &
         s__instance(V__Transaction,s__FinancialTransaction) &
         s__origin(V__Transaction,s__CurrencyFn(V__Account)))
   =>
   (( ? [V__Card] :
       ((s__instance(V__Card,s__CreditCard) &
           s__instrument(V__Transaction,V__Card))))))
)
)

FinancialOntology.kif 1193-1201
( ! [V__Account,V__Transaction] :
   (((s__instance(V__Account,s__SavingsAccount) &
         s__instance(V__Transaction,s__FinancialTransaction) &
         s__origin(V__Transaction,s__CurrencyFn(V__Account)))
   =>
   (( ? [V__Authorization] :
       ((s__instance(V__Authorization,s__AuthorizationOfTransaction) &
           s__subProcess(V__Authorization,V__Transaction))))))
)
)

FinancialOntology.kif 987-995
( ! [V__Authorization,V__Card,V__Transaction] :
   (((s__instance(V__Authorization,s__AuthorizationOfTransaction) &
         s__instance(V__Transaction,s__FinancialTransaction) &
         s__instance(V__Card,s__BankCard) &
         s__instrument(V__Transaction,V__Card)
       &
       s__causes(V__Authorization,V__Transaction))
   =>
   (s__instance(V__Card,s__ValidCard)))
)
)

FinancialOntology.kif 3477-3484
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3096-3111
( ! [V__Agent,V__Card,V__Transaction] :
   ((s__instance(V__Agent,s__Agent) =>
       (((s__instance(V__Card,s__DebitCard) &
             s__possesses(V__Agent,V__Card)
           &
           s__instance(V__Transaction,s__FinancialTransaction) &
           s__instrument(V__Transaction,V__Card))
       =>
       (( ? [V__PIN, V__Enter] :
           ((s__instance(V__PIN,s__SymbolicString) &
               (s__pin(V__PIN,V__Card)
               &
               s__instance(V__Enter,s__EnteringAPin) &
               s__patient(V__Enter,V__PIN)
             &
             s__agent(V__Enter,V__Agent)))))))))
)
)

FinancialOntology.kif 3504-3515
( ! [V__ACC2,V__ACC1,V__TRANS] :
   (((s__instance(V__ACC2,s__Object) &
         s__instance(V__ACC1,s__Object))
       =>
       (((s__instance(V__TRANS,s__FinancialTransaction) &
             s__attribute(V__TRANS,s__BusinessToBusiness))
           =>
           (( ? [V__ACCT1, V__ACCT2, V__USER1, V__USER2, V__SITE] :
               ((s__instance(V__ACCT1,s__UserAccount) &
                   s__instance(V__ACCT2,s__UserAccount) &
                   s__instance(V__USER1,s__Agent) &
                   s__instance(V__USER2,s__Agent) &
                   s__instance(V__SITE,s__WebSite) &
                   s__agent(V__TRANS,V__USER1)
                 &
                 s__destination(V__TRANS,V__USER2)
               &
               s__instrument(V__TRANS,V__SITE)
             &
             s__hasAccount(V__USER1,V__ACCT1)
           &
           s__hasAccount(V__USER2,V__ACCT2)
         &
         s__accountAtSite(V__ACCT1,V__SITE)
       &
       s__accountAtSite(V__ACCT2,V__SITE)
     &
     s__attribute(V__ACC1,s__BusinessAccount) &
     s__attribute(V__ACC2,s__BusinessAccount))))))))
)
)

UXExperimentalTerms.kif 1935-1954
( ! [V__ACCOUNT1,V__ACCOUNT2,V__TRANS] :
   (((s__instance(V__ACCOUNT1,s__Object) &
         s__instance(V__ACCOUNT2,s__Object))
       =>
       (((s__instance(V__TRANS,s__FinancialTransaction) &
             s__attribute(V__TRANS,s__BusinessToConsumer))
           =>
           (( ? [V__ACCT1, V__ACCT2, V__USER1, V__USER2, V__SITE] :
               ((s__instance(V__ACCT1,s__UserAccount) &
                   s__instance(V__ACCT2,s__UserAccount) &
                   s__instance(V__USER1,s__Agent) &
                   s__instance(V__USER2,s__Agent) &
                   s__instance(V__SITE,s__WebSite) &
                   s__agent(V__TRANS,V__USER1)
                 &
                 s__destination(V__TRANS,V__USER2)
               &
               s__instrument(V__TRANS,V__SITE)
             &
             s__hasAccount(V__USER1,V__ACCT1)
           &
           s__hasAccount(V__USER2,V__ACCT2)
         &
         s__accountAtSite(V__ACCT1,V__SITE)
       &
       s__accountAtSite(V__ACCT2,V__SITE)
     &
     s__attribute(V__ACCOUNT1,s__BusinessAccount) &
     s__attribute(V__ACCOUNT2,s__ConsumerAccount))))))))
)
)

UXExperimentalTerms.kif 1967-1986
( ! [V__ACCOUNT1,V__ACCOUNT2,V__TRANS] :
   (((s__instance(V__ACCOUNT1,s__Object) &
         s__instance(V__ACCOUNT2,s__Object))
       =>
       (((s__instance(V__TRANS,s__FinancialTransaction) &
             s__attribute(V__TRANS,s__ConsumerToConsumer))
           =>
           (( ? [V__ACCT1, V__ACCT2, V__USER1, V__USER2, V__SITE] :
               ((s__instance(V__ACCT1,s__UserAccount) &
                   s__instance(V__ACCT2,s__UserAccount) &
                   s__instance(V__USER1,s__Agent) &
                   s__instance(V__USER2,s__Agent) &
                   s__instance(V__SITE,s__WebSite) &
                   s__agent(V__TRANS,V__USER1)
                 &
                 s__destination(V__TRANS,V__USER2)
               &
               s__instrument(V__TRANS,V__SITE)
             &
             s__hasAccount(V__USER1,V__ACCT1)
           &
           s__hasAccount(V__USER2,V__ACCT2)
         &
         s__accountAtSite(V__ACCT1,V__SITE)
       &
       s__accountAtSite(V__ACCT2,V__SITE)
     &
     s__attribute(V__ACCOUNT1,s__ConsumerAccount) &
     s__attribute(V__ACCOUNT2,s__ConsumerAccount))))))))
)
)

UXExperimentalTerms.kif 1999-2018
( ! [V__Service,V__Agent,V__Transaction] :
   (((s__instance(V__Service,s__Process) &
         s__instance(V__Service,s__Object) &
         s__instance(V__Agent,s__Agent))
       =>
       (((s__instance(V__Transaction,s__FinancialTransaction) &
             s__destination(V__Transaction,V__Agent))
         =>
         ((s__instance(V__Service,s__CommercialService) &
             s__agent(V__Service,V__Agent)
           &
           s__attribute(V__Service,s__OpenService))))))
)
)

FinancialOntology.kif 3871-3878
( ! [V__Day,V__Cash,V__U,V__Account,V__Amount1,V__Transaction] :
   (((s__instance(V__Day,s__Day) &
         s__instance(V__Account,s__FinancialAccount) &
         s__instance(V__Amount1,s__RealNumber))
       =>
       (((s__instance(V__Transaction,s__FinancialTransaction) &
             s__origin(V__Transaction,s__CurrencyFn(V__Account))
         &
         s__transactionAmount(V__Transaction,s__MeasureFn(V__Amount1,V__U))
     &
     s__instance(V__U,s__UnitOfCurrency) &
     s__instance(V__Cash,s__Currency) &
     s__patient(V__Transaction,V__Cash)
   &
   s__date(V__Transaction,V__Day))
=>
(( ? [V__Amount2] :
   ((s__instance(V__Amount2,s__RealNumber) &
       (s__availableCash(V__Account,V__Day,s__MeasureFn(V__Amount2,V__U))
     &
     s__greaterThanOrEqualTo(V__Amount1,V__Amount2)))))))))
)
)

FinancialOntology.kif 3748-3762
( ! [V__Day,V__U,V__Account,V__Amount1,V__Transaction] :
   (((s__instance(V__Day,s__Day) &
         s__instance(V__Account,s__FinancialAccount) &
         s__instance(V__Amount1,s__RealNumber))
       =>
       (((s__instance(V__Transaction,s__FinancialTransaction) &
             s__origin(V__Transaction,V__Account)
           &
           s__transactionAmount(V__Transaction,s__MeasureFn(V__Amount1,V__U))
       &
       s__instance(V__U,s__UnitOfCurrency) &
       s__date(V__Transaction,V__Day))
   =>
   (( ? [V__Amount2] :
       ((s__instance(V__Amount2,s__RealNumber) &
           (s__availableBalance(V__Account,V__Day,s__MeasureFn(V__Amount2,V__U))
         &
         s__greaterThanOrEqualTo(V__Amount1,V__Amount2)))))))))
)
)

FinancialOntology.kif 3725-3737
( ! [V__Transaction2,V__Transaction1,V__Account,V__Statement] :
   (((s__instance(V__Account,s__FinancialAccount) &
         s__instance(V__Statement,s__BankStatement) &
         s__instance(V__Statement,s__Process))
       =>
       (((s__lastStatement(V__Account,V__Statement)
           &
           s__instance(V__Transaction1,s__FinancialTransaction) &
           s__realization(V__Statement,V__Transaction1)
         &
         s__instance(V__Transaction2,s__FinancialTransaction) &
         ~(s__realization(V__Statement,V__Transaction2)))
     =>
     (s__earlier(s__WhenFn(V__Transaction2)
    ,s__WhenFn(V__Transaction1))))))
)
)

FinancialOntology.kif 3818-3825
( ! [V__TRANS] :
   ((s__instance(V__TRANS,s__FinancialTransaction) =>
       (( ? [V__OBJ] :
           ((s__patient(V__TRANS,V__OBJ)
             &
             s__instance(V__OBJ,s__FinancialInstrument))))))
   )
)

Merge.kif 11334-11339

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


( ! [V__AGENT2,V__AGENT1] :
   (((s__instance(V__AGENT2,s__CognitiveAgent) &
         s__instance(V__AGENT1,s__CognitiveAgent))
       =>
       (((s__customer(V__AGENT1,V__AGENT2)
           =>
           ( ? [V__SERVICE] :
             ((s__instance(V__SERVICE,s__FinancialTransaction) &
                 s__agent(V__SERVICE,V__AGENT2)
               &
               s__destination(V__SERVICE,V__AGENT1)))))
     &
     (( ? [V__SERVICE] :
         ((s__instance(V__SERVICE,s__FinancialTransaction) &
             s__agent(V__SERVICE,V__AGENT2)
           &
           s__destination(V__SERVICE,V__AGENT1))))
   =>
   s__customer(V__AGENT1,V__AGENT2)))))
)
)

Mid-level-ontology.kif 7372-7378 A cognitive agent is a customer of another cognitive agent if and only if there exists a process such that the process is an instance of financial transaction and the cognitive agent is an agent of the process and the process ends up at the other cognitive agent
( ! [V__Org,V__Person2,V__Person1] :
   (((s__instance(V__Org,s__Organization) &
         s__instance(V__Person2,s__CognitiveAgent) &
         s__instance(V__Person1,s__CognitiveAgent))
       =>
       (((s__customerRepresentative(V__Person1,V__Person2,V__Org)
           =>
           ( ? [V__Service] :
             ((s__instance(V__Service,s__FinancialTransaction) &
                 s__employs(V__Org,V__Person1)
               &
               s__agent(V__Service,V__Person1)
             &
             s__destination(V__Service,V__Person2)))))
   &
   (( ? [V__Service] :
       ((s__instance(V__Service,s__FinancialTransaction) &
           s__employs(V__Org,V__Person1)
         &
         s__agent(V__Service,V__Person1)
       &
       s__destination(V__Service,V__Person2))))
=>
s__customerRepresentative(V__Person1,V__Person2,V__Org)))))
)
)

FinancialOntology.kif 3597-3604 A cognitive agent customer representative another cognitive agent for an organization if and only if there exists a process such that the process is an instance of financial transaction and the organization employs the cognitive agent and the cognitive agent is an agent of the process and the process ends up at the other cognitive agent
( ! [V__ATTR,V__TRANS] :
   ((s__instance(V__TRANS,s__Object) =>
       (((s__attribute(V__TRANS,V__ATTR)
           &
           s__instance(V__ATTR,s__AccountAttribute))
         =>
         (s__instance(V__TRANS,s__FinancialTransaction)))))
   )
)

UXExperimentalTerms.kif 1845-1849
No TPTP formula. May not be expressible in strict first order. Merge.kif 10205-10217
( ! [V__ORG] :
   (((s__instance(V__ORG,s__Organization) &
         s__attribute(V__ORG,s__Utilities))
       =>
       (( ? [V__EV, V__MEM] :
           ((s__instance(V__MEM,s__Process) &
               (s__member(V__MEM,V__ORG)
               &
               s__agent(V__MEM,V__EV)
             &
             ( ? [V__THING, V__MEM2, V__EV2] :
               ((s__instance(V__MEM2,s__Agent) &
                   ((s__instance(V__EV,s__Removing) |
                       s__instance(V__THING,s__Sewage))
                     &
                     s__patient(V__EV,V__THING)
                   &
                   (s__instance(V__THING,s__Electron) |
                     s__instance(V__THING,s__Water) |
                     (s__instance(V__THING,s__PureSubstance) &
                       s__capability(s__Combustion,s__patient__m,V__THING)))
                 &
                 s__member(V__MEM2,V__ORG)
               &
               s__instance(V__EV2,s__FinancialTransaction) &
               s__agent(V__EV2,V__MEM2)
             &
             s__patient(V__EV2,V__THING)))))))))))
)
)

naics.kif 954-977
( ! [V__O,V__P,V__A,V__PSP,V__U,V__H] :
   (((s__instance(V__O,s__Agent) &
         s__instance(V__P,s__RealNumber) &
         s__instance(V__A,s__FinancialTransaction) &
         s__instance(V__H,s__CognitiveAgent))
       =>
       (((s__instance(V__PSP,s__ProfitSharingPlan) &
             s__accountHolder(V__PSP,V__H)
           &
           s__employs(V__O,V__H)
         &
         s__profit(V__A,s__MeasureFn(V__P,V__U))
     &
     s__instance(V__U,s__UnitOfCurrency) &
     s__agent(V__A,V__O))
=>
(( ? [V__C, V__PAY] :
     ((s__instance(V__C,s__RealNumber) &
         (s__instance(V__PAY,s__FinancialTransaction) &
           s__transactionAmount(V__PAY,s__MeasureFn(V__C,V__U))
       &
       s__lessThan(V__C,V__P)
     &
     s__destination(V__PAY,V__PSP)))))))))
)
)

FinancialOntology.kif 1146-1161
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3551-3562
( ! [V__Account,V__Statement] :
   ((s__instance(V__Account,s__FinancialAccount) =>
       (((s__instance(V__Statement,s__BankStatement) &
             s__statementAccount(V__Statement,V__Account))
         =>
         (( ? [V__Transaction] :
             ((s__instance(V__Transaction,s__FinancialTransaction) &
                 (s__origin(V__Transaction,s__CurrencyFn(V__Account))
               |
               s__destination(V__Transaction,s__CurrencyFn(V__Account)))
         &
         s__realization(V__Statement,V__Transaction))))))))
)
)

FinancialOntology.kif 3796-3806
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28532-28543
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1912-1922
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21564-21570
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21649-21663
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6719-6725


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

Show without tree


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