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

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 11297-11299
s__subclass(s__FinancialTransaction,s__Transaction)

s__instance(s__Transaction,s__SetOrClass)

s__instance(s__FinancialTransaction,s__SetOrClass)

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

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


s__rangeSubclass(s__OccupationFn__m,s__FinancialTransaction)

 Mid-level-ontology.kif 19143-19143 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 11345-11345 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 11351-11351 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 11333-11333 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 6752-6752 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 19151-19151 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 7166-7166 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 11311-11311 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 11301-11306

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 7284-7290 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 10172-10184
( ! [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 28183-28194
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1911-1921
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21215-21221
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21300-21314
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6649-6655


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