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

Formal Language: 



KB Term:  Term intersection
English Word: 

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...

VerbNet: future_having-13.3|advance, force-59|bribe, force-59|bribe, get-13.5.1|cash, get-13.5.1|cash, get-13.5.1|rent, cost-54.2|net, judgment-33|recompense, force-59|bribe, hire-13.5.3|take, give-13.1|refund, force-59|bribe, get-13.5.1|rent, get-13.5.1|rent, give-13.1|lease, cost-54.2|net, judgment-33|recompense, obtain-13.5.2|recoup, give-13.1|refund, contribute-13.2|reimburse, ensure-99|reinsure, contribute-13.2|remit, equip-13.4.2|compensate, get-13.5.1|rent, judgment-33|recompense, give-13.1|refund, give-13.1|refund,


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 11014-11016
s__subclass(s__FinancialTransaction,s__Transaction)

s__instance(s__Transaction,s__SetOrClass)

s__instance(s__FinancialTransaction,s__SetOrClass)

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

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


s__rangeSubclass(s__OccupationFn__m,s__FinancialTransaction)

Mid-level-ontology.kif 18205-18205 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 1735-1735 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 11062-11062 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 11068-11068 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 1365-1365 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 2754-2754 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 834-834 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 11050-11050 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 2670-2670 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 3968-3968 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 2750-2750 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 2077-2077 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 3819-3819 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 3823-3823 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 3981-3981 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 2000-2000 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 271-271 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 291-291 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 1888-1888 The number 1 argument of broker is an instance of financial transaction
s__domain(s__confirmationNumber__m,n__1,s__FinancialTransaction)

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

UXExperimentalTerms.kif 1908-1908 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 6866-6866 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 18213-18213 The number 2 argument of occupation is an instance of financial transaction
s__domain(s__orderFor__m,n__1,s__FinancialTransaction)

FinancialOntology.kif 1901-1901 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 7310-7310 The number 1 argument of profit is an instance of financial transaction
s__domain(s__serviceFee__m,n__2,s__FinancialTransaction)

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

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

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

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

FinancialOntology.kif 1902-1902 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 1073-1086
( ! [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 1180-1188
( ! [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 977-985
( ! [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 3414-3421
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3091-3106
( ! [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 3441-3452
( ! [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 1930-1949
( ! [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 1962-1981
( ! [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 1994-2013
( ! [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 3802-3809
( ! [V__Day,V__Cash,V__Account,V__Amount1,V__Transaction] :
   ((s__instance(V__Day,s__Day) &
       s__instance(V__Account,s__FinancialAccount) &
       s__instance(V__Amount1,s__CurrencyMeasure))
     =>
     (s__instance(V__Transaction,s__FinancialTransaction) &
       s__origin(V__Transaction,s__CurrencyFn(V__Account))
   &
   s__transactionAmount(V__Transaction,V__Amount1)
&
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__CurrencyMeasure) &
(s__availableCash(V__Account,V__Day,V__Amount2)
&
s__greaterThanOrEqualTo(V__Amount1,V__Amount2)))))
)
)

FinancialOntology.kif 3682-3693
( ! [V__Day,V__Account,V__Amount1,V__Transaction] :
   ((s__instance(V__Day,s__Day) &
       s__instance(V__Account,s__FinancialAccount) &
       s__instance(V__Amount1,s__CurrencyMeasure))
     =>
     (s__instance(V__Transaction,s__FinancialTransaction) &
       s__origin(V__Transaction,V__Account)
     &
     s__transactionAmount(V__Transaction,V__Amount1)
   &
   s__date(V__Transaction,V__Day))
=>
( ? [V__Amount2] :
((s__instance(V__Amount2,s__CurrencyMeasure) &
     (s__availableBalance(V__Account,V__Day,V__Amount2)
     &
     s__greaterThanOrEqualTo(V__Amount1,V__Amount2)))))
)
)

FinancialOntology.kif 3662-3671
( ! [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 3749-3756
( ! [V__TRANS] :
   (s__instance(V__TRANS,s__FinancialTransaction) =>
     ( ? [V__OBJ] :
       ((s__patient(V__TRANS,V__OBJ)
         &
         s__instance(V__OBJ,s__FinancialInstrument))))
   )
)

Merge.kif 11018-11023

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 7432-7438 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 3534-3541 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 1842-1846
( ! [V__ORG] :
   ((s__instance(V__ORG,s__Organization) &
       s__attribute(V__ORG,s__Utilities))
     =>
     ( ? [V__EV, V__MEM] :
       ((s__instance(V__MEM,s__Object) &
           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__H] :
   ((s__instance(V__O,s__Agent) &
       s__instance(V__P,s__CurrencyMeasure) &
       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,V__P)
&
s__agent(V__A,V__O))
=>
( ? [V__C, V__PAY] :
((s__instance(V__C,s__CurrencyMeasure) &
   (s__instance(V__PAY,s__FinancialTransaction) &
     s__transactionAmount(V__PAY,V__C)
   &
   s__lessThan(V__C,V__P)
&
s__destination(V__PAY,V__PSP)))))
)
)

FinancialOntology.kif 1136-1148
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3488-3499
( ! [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 3727-3737
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27649-27660
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2429-2439
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20349-20355
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20441-20455
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6742-6748


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