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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FinancialTransaction

Sigma KEE - FinancialTransaction
FinancialTransactionC.O.D., COD, NAFTA, North_American_Free_Trade_Agreement, ScambioFinanziario, Transacao_Financeira, aarwhika_lena-dena, 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...

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


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

Merge.kif 11734-11735
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 11731-11733
s__instance(s__Transaction,s__SetOrClass)

Merge.kif 11730-11730

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


s__rangeSubclass(s__OccupationFn__m,s__FinancialTransaction)

Mid-level-ontology.kif 18145-18145
s__subclass(s__AssetAllocation,s__FinancialTransaction)

FinancialOntology.kif 1737-1737
s__instance(s__AutomaticTransaction,s__SetOrClass)

FinancialOntology.kif 484-484
s__subclass(s__Betting,s__FinancialTransaction)

Merge.kif 11787-11787
s__instance(s__FinancialTransaction,s__SetOrClass)

Merge.kif 11795-11795
s__instance(s__FinancialTransaction,s__SetOrClass)

FinancialOntology.kif 1366-1366
s__instance(s__FinancialTransaction,s__SetOrClass)

FinancialOntology.kif 2753-2753
s__instance(s__FinancialTransaction,s__SetOrClass)

FinancialOntology.kif 835-835
s__instance(s__FinancialTransaction,s__SetOrClass)

FinancialOntology.kif 388-388
s__instance(s__FinancialTransaction,s__SetOrClass)

Merge.kif 11773-11773
s__subclass(s__ControllingAnAccount,s__FinancialTransaction)

FinancialOntology.kif 353-353
s__subclass(s__Deposit,s__FinancialTransaction)

FinancialOntology.kif 418-418
s__instance(s__FinancialTransaction,s__SetOrClass)

FinancialOntology.kif 2669-2669
s__subclass(s__Exporting,s__FinancialTransaction)

Economy.kif 2399-2399
s__instance(s__ExternalTransfer,s__SetOrClass)

FinancialOntology.kif 3962-3962
s__instance(s__FinancialTransaction,s__SetOrClass)

FinancialOntology.kif 2749-2749
s__instance(s__FinancialTransaction,s__SetOrClass)

FinancialOntology.kif 2078-2078
s__subclass(s__FinancialRequest,s__FinancialTransaction)

FinancialOntology.kif 3812-3812
s__instance(s__FinancialTransaction,s__SetOrClass)

FinancialOntology.kif 3816-3816
s__instance(s__InternalTransfer,s__SetOrClass)

FinancialOntology.kif 3975-3975
s__instance(s__Investing,s__SetOrClass)

FinancialOntology.kif 461-461
s__subclass(s__Liquidation,s__FinancialTransaction)

FinancialOntology.kif 2001-2001
s__instance(s__MuakharSadaq,s__SetOrClass)

ArabicCulture.kif 271-271
s__subclass(s__MuqaddamSadaq,s__FinancialTransaction)

ArabicCulture.kif 291-291
s__instance(s__OpeningAnAccount,s__SetOrClass)

FinancialOntology.kif 290-290

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,1,s__FinancialTransaction)

UXExperimentalTerms.kif 1890-1890
s__domain(s__confirmationNumber__m,1,s__FinancialTransaction)

FinancialOntology.kif 3714-3714
s__domain(s__eCommerceSite__m,1,s__FinancialTransaction)

UXExperimentalTerms.kif 1910-1910
s__domain(s__loss__m,1,s__FinancialTransaction)

Mid-level-ontology.kif 6865-6865
s__domain(s__occupation__m,2,s__FinancialTransaction)

Mid-level-ontology.kif 18153-18153
s__domain(s__orderFor__m,1,s__FinancialTransaction)

FinancialOntology.kif 1902-1902
s__domain(s__profit__m,1,s__FinancialTransaction)

Mid-level-ontology.kif 7308-7308
s__domain(s__serviceFee__m,2,s__FinancialTransaction)

FinancialOntology.kif 840-840
s__domain(s__transactionAmount__m,1,s__FinancialTransaction)

Merge.kif 11747-11747
s__domainSubclass(s__dailyLimit__m,2,s__FinancialTransaction)

FinancialOntology.kif 3827-3827
s__domainSubclass(s__minimumBalance__m,2,s__FinancialTransaction)

FinancialOntology.kif 640-640
s__domainSubclass(s__orderFor__m,2,s__FinancialTransaction)

FinancialOntology.kif 1903-1903

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 1074-1087
( ∀ [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 1181-1189
( ∀ [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 978-986
( ∀ [V__Authorization,V__Transaction,V__Card]
   ((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 3407-3414
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3093-3108
( ∀ [V__Card,V__Agent,V__Transaction]
   ((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__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 3434-3445
( ∀ [V__TRANS,V__ACCOUNT1,V__ACCOUNT2]
   ((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__ACCOUNT1,s__BusinessAccount) ∧
s__attribute(V__ACCOUNT2,s__BusinessAccount))))
)

UXExperimentalTerms.kif 1932-1951
( ∀ [V__TRANS,V__ACCOUNT1,V__ACCOUNT2]
   ((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 1964-1983
( ∀ [V__TRANS,V__ACCOUNT1,V__ACCOUNT2]
   ((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 1996-2015
( ∀ [V__Transaction,V__Agent,V__Service]
   ((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 3795-3802
( ∀ [V__Transaction,V__Account,V__Amount,V__Cash,V__Day,V__Amount1]
   ((s__instance(V__Transaction,s__FinancialTransaction) ∧
       s__origin(V__Transaction,s__CurrencyFn(V__Account))
   ∧
   s__transactionAmount(V__Transaction,V__Amount)

s__instance(V__Cash,s__Currency) ∧
s__patient(V__Transaction,V__Cash)

s__date(V__Transaction,V__Day))

(∃ [V__Amount2]
(s__availableCash(V__Account,V__Day,V__Amount2)

s__greaterThanOrEqualTo(V__Amount1,V__Amount2))))
)

FinancialOntology.kif 3675-3686
( ∀ [V__Transaction,V__Account,V__Amount,V__Day,V__Amount1]
   ((s__instance(V__Transaction,s__FinancialTransaction) ∧
       s__origin(V__Transaction,V__Account)
     ∧
     s__transactionAmount(V__Transaction,V__Amount)
   ∧
   s__date(V__Transaction,V__Day))

(∃ [V__Amount2]
(s__availableBalance(V__Account,V__Day,V__Amount2)

s__greaterThanOrEqualTo(V__Amount1,V__Amount2))))
)

FinancialOntology.kif 3655-3664
( ∀ [V__Account,V__Statement,V__Transaction1,V__Transaction2]
   ((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 3742-3749
( ∀ [V__TRANS]
   (s__instance(V__TRANS,s__FinancialTransaction) ⇒
     (∃ [V__OBJ]
       (s__patient(V__TRANS,V__OBJ)
       ∧
       s__instance(V__OBJ,s__FinancialInstrument))))
)

Merge.kif 11737-11742

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


( ∀ [V__AGENT1,V__AGENT2]
   (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))))
)

Mid-level-ontology.kif 7430-7436
( ∀ [V__Person1,V__Person2,V__Org]
   (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))))
)

FinancialOntology.kif 3527-3534
( ∀ [V__TRANS,V__ATTR]
   ((s__attribute(V__TRANS,V__ATTR)
     ∧
     s__instance(V__ATTR,s__AccountAttribute))
   ⇒
   s__instance(V__TRANS,s__FinancialTransaction))
)

UXExperimentalTerms.kif 1844-1848
( ∀ [V__ORG]
   ((s__instance(V__ORG,s__Organization) ∧
       s__attribute(V__ORG,s__Utilities))
     ⇒
     (∃ [V__EV,V__MEM]
       (s__member(V__MEM,V__ORG)
       ∧
       s__agent(V__MEM,V__EV)
     ∧
     (∃ [V__THING,V__MEM2,V__EV2]
       ((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__PSP,V__H,V__O,V__A,V__P]
   ((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__PAY,s__FinancialTransaction) ∧
s__transactionAmount(V__PAY,V__C)

s__lessThan(V__C,V__P)

s__destination(V__PAY,V__PSP))))
)

FinancialOntology.kif 1137-1149
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3481-3492
( ∀ [V__Statement,V__Account]
   ((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 3720-3730
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27564-27575
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2434-2444
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20278-20284
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20370-20384
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6741-6747


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners