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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FinancialTransaction
FinancialTransaction(Transacao Financeira)

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


(documentation FinancialTransaction ChineseLanguage "这是一种 Transaction，它出现在当一种 FinancialInstrument 的实例成为交易的主体，而且通常是用来交换另外一样的东西。") chinese_format.kif 3095-3096
(documentation FinancialTransaction EnglishLanguage "A Transaction where an instance of FinancialInstrument is the subject of the action, and often is exchanged for something else.") Merge.kif 11836-11838
(documentation FinancialTransaction JapaneseLanguage "Transaction は、FinancialInstrument のインスタンスがアクションの対象であり、多くの場合、他のインスタンスと交換される。") japanese_format.kif 1866-1867
(subclass FinancialTransaction Transaction) Merge.kif 11834-11834 Transacao Financeira e' uma sub-classe de Transacao

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


(rangeSubclass OccupationFn FinancialTransaction) Mid-level-ontology.kif 20489-20489 Os valores retornados por OccupationFn sao as sub-classes de Transacao Financeira
(subclass AssetAllocation FinancialTransaction) FinancialOntology.kif 1799-1799 AssetAllocation e' uma sub-classe de Transacao Financeira
(subclass AutomaticTransaction FinancialTransaction) FinancialOntology.kif 507-507 AutomaticTransaction e' uma sub-classe de Transacao Financeira
(subclass Betting FinancialTransaction) Merge.kif 11884-11884 Aposta e' uma sub-classe de Transacao Financeira
(subclass Buying FinancialTransaction) Merge.kif 11890-11890 Comprar e' uma sub-classe de Transacao Financeira
(subclass Call FinancialTransaction) FinancialOntology.kif 1424-1424 Call e' uma sub-classe de Transacao Financeira
(subclass CancellingAnOrder FinancialTransaction) FinancialOntology.kif 2833-2833 CancellingAnOrder e' uma sub-classe de Transacao Financeira
(subclass ChargingAFee FinancialTransaction) FinancialOntology.kif 890-890 ChargingAFee e' uma sub-classe de Transacao Financeira
(subclass ClosingAnAccount FinancialTransaction) FinancialOntology.kif 388-388 ClosingAnAccount e' uma sub-classe de Transacao Financeira
(subclass CommercialService FinancialTransaction) Merge.kif 11872-11872 CommercialService e' uma sub-classe de Transacao Financeira
(subclass ControllingAnAccount FinancialTransaction) FinancialOntology.kif 353-353 ControllingAnAccount e' uma sub-classe de Transacao Financeira
(subclass Deposit FinancialTransaction) FinancialOntology.kif 426-426 Deposit e' uma sub-classe de Transacao Financeira
(subclass ExerciseAnOption FinancialTransaction) FinancialOntology.kif 2749-2749 ExerciseAnOption e' uma sub-classe de Transacao Financeira
(subclass Exporting FinancialTransaction) Economy.kif 2396-2396 Exporting e' uma sub-classe de Transacao Financeira
(subclass ExternalTransfer FinancialTransaction) FinancialOntology.kif 4125-4125 ExternalTransfer e' uma sub-classe de Transacao Financeira
(subclass FillingAnOrder FinancialTransaction) FinancialOntology.kif 2829-2829 FillingAnOrder e' uma sub-classe de Transacao Financeira
(subclass FinancialDefault FinancialTransaction) FinancialOntology.kif 2146-2146 FinancialDefault e' uma sub-classe de Transacao Financeira
(subclass FinancialRequest FinancialTransaction) FinancialOntology.kif 3976-3976 FinancialRequest e' uma sub-classe de Transacao Financeira
(subclass FinancialResponse FinancialTransaction) FinancialOntology.kif 3980-3980 FinancialResponse e' uma sub-classe de Transacao Financeira
(subclass InternalTransfer FinancialTransaction) FinancialOntology.kif 4138-4138 InternalTransfer e' uma sub-classe de Transacao Financeira
(subclass Investing FinancialTransaction) FinancialOntology.kif 483-483 Investing e' uma sub-classe de Transacao Financeira
(subclass Liquidation FinancialTransaction) FinancialOntology.kif 2069-2069 Liquidation e' uma sub-classe de Transacao Financeira
(subclass MuakharSadaq FinancialTransaction) ArabicCulture.kif 284-284 MuakharSadaq e' uma sub-classe de Transacao Financeira
(subclass MuqaddamSadaq FinancialTransaction) ArabicCulture.kif 304-304 MuqaddamSadaq e' uma sub-classe de Transacao Financeira
(subclass OpeningAnAccount FinancialTransaction) FinancialOntology.kif 290-290 OpeningAnAccount e' uma sub-classe de Transacao Financeira

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(domain broker 1 FinancialTransaction) UXExperimentalTerms.kif 1685-1685 O argumento numero 1 de broker e' uma instancia de Transacao Financeira
(domain confirmationNumber 1 FinancialTransaction) FinancialOntology.kif 3879-3879 O argumento numero 1 de confirmationNumber e' uma instancia de Transacao Financeira
(domain eCommerceSite 1 FinancialTransaction) UXExperimentalTerms.kif 1705-1705 O argumento numero 1 de eCommerceSite e' uma instancia de Transacao Financeira
(domain loss 1 FinancialTransaction) Mid-level-ontology.kif 7204-7204 O argumento numero 1 de loss e' uma instancia de Transacao Financeira
(domain orderFor 1 FinancialTransaction) FinancialOntology.kif 1965-1965 O argumento numero 1 de orderFor e' uma instancia de Transacao Financeira
(domain profit 1 FinancialTransaction) Mid-level-ontology.kif 7602-7602 O argumento numero 1 de profit e' uma instancia de Transacao Financeira
(domain serviceFee 2 FinancialTransaction) FinancialOntology.kif 895-895 O argumento numero 2 de serviceFee e' uma instancia de Transacao Financeira
(domain transactionAmount 1 FinancialTransaction) Merge.kif 11850-11850 O argumento numero 1 de transactionAmount e' uma instancia de Transacao Financeira
(domainSubclass dailyLimit 2 FinancialTransaction) FinancialOntology.kif 3991-3991 O argumento numero 2 de dailyLimit e' uma sub-classe de Transacao Financeira
(domainSubclass minimumBalance 2 FinancialTransaction) FinancialOntology.kif 680-680 O argumento numero 2 de minimumBalance e' uma sub-classe de Transacao Financeira
(domainSubclass occupation 2 FinancialTransaction) Mid-level-ontology.kif 20497-20497 O argumento numero 2 de occupation e' uma sub-classe de Transacao Financeira
(domainSubclass orderFor 2 FinancialTransaction) FinancialOntology.kif 1966-1966 O argumento numero 2 de orderFor e' uma sub-classe de Transacao Financeira

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 1129-1142
(=>
    (and
        (instance ?Account CreditCardAccount)
        (instance ?Transaction FinancialTransaction)
        (origin ?Transaction
            (CurrencyFn ?Account)))
    (exists (?Card)
        (and
            (instance ?Card CreditCard)
            (instrument ?Transaction ?Card))))		 FinancialOntology.kif 1239-1247
(=>
    (and
        (instance ?Account SavingsAccount)
        (instance ?Transaction FinancialTransaction)
        (origin ?Transaction
            (CurrencyFn ?Account)))
    (exists (?Authorization)
        (and
            (instance ?Authorization AuthorizationOfTransaction)
            (subProcess ?Authorization ?Transaction))))		 FinancialOntology.kif 1033-1041
(=>
    (and
        (instance ?Authorization AuthorizationOfTransaction)
        (instance ?Transaction FinancialTransaction)
        (instance ?Card BankCard)
        (instrument ?Transaction ?Card)
        (causes ?Authorization ?Transaction))
    (instance ?Card ValidCard))		 FinancialOntology.kif 3516-3523
(=>
    (and
        (instance ?COLL Collection)
        (forall (?MEMBER)
            (=>
                (member ?MEMBER ?COLL)
                (instance ?MEMBER FinancialTransaction))))
    (exists (?ITEM ?BUYING)
        (equal
            (CardinalityFn
                (KappaFn ?ITEM
                    (and
                        (instance ?ITEM Physical)
                        (instance ?BUYING Buying)
                        (member ?BUYING ?COLL)
                        (patient ?BUYING ?ITEM))))
            (BoughtItemsFn ?COLL))))		 UXExperimentalTerms.kif 2887-2903
(=>
    (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 3543-3554
(=>
    (and
        (instance ?TRANS FinancialTransaction)
        (attribute ?TRANS BusinessToBusiness))
    (exists (?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE)
        (and
            (instance ?ACCT1 UserAccount)
            (instance ?ACCT2 UserAccount)
            (instance ?USER1 AutonomousAgent)
            (instance ?USER2 AutonomousAgent)
            (instance ?SITE WebSite)
            (agent ?TRANS ?USER1)
            (destination ?TRANS ?USER2)
            (instrument ?TRANS ?SITE)
            (hasAccount ?USER1 ?ACCT1)
            (hasAccount ?USER2 ?ACCT2)
            (accountAtSite ?ACCT1 ?SITE)
            (accountAtSite ?ACCT2 ?SITE)
            (attribute ?ACCT1 BusinessAccount)
            (attribute ?ACCT2 BusinessAccount))))		 UXExperimentalTerms.kif 1727-1746
(=>
    (and
        (instance ?TRANS FinancialTransaction)
        (attribute ?TRANS BusinessToConsumer))
    (exists (?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE)
        (and
            (instance ?ACCT1 UserAccount)
            (instance ?ACCT2 UserAccount)
            (instance ?USER1 AutonomousAgent)
            (instance ?USER2 AutonomousAgent)
            (instance ?SITE WebSite)
            (agent ?TRANS ?USER1)
            (destination ?TRANS ?USER2)
            (instrument ?TRANS ?SITE)
            (hasAccount ?USER1 ?ACCT1)
            (hasAccount ?USER2 ?ACCT2)
            (accountAtSite ?ACCT1 ?SITE)
            (accountAtSite ?ACCT2 ?SITE)
            (attribute ?ACCT1 BusinessAccount)
            (attribute ?ACCT2 ConsumerAccount))))		 UXExperimentalTerms.kif 1759-1778
(=>
    (and
        (instance ?TRANS FinancialTransaction)
        (attribute ?TRANS ConsumerToConsumer))
    (exists (?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE)
        (and
            (instance ?ACCT1 UserAccount)
            (instance ?ACCT2 UserAccount)
            (instance ?USER1 AutonomousAgent)
            (instance ?USER2 AutonomousAgent)
            (instance ?SITE WebSite)
            (agent ?TRANS ?USER1)
            (destination ?TRANS ?USER2)
            (instrument ?TRANS ?SITE)
            (hasAccount ?USER1 ?ACCT1)
            (hasAccount ?USER2 ?ACCT2)
            (accountAtSite ?ACCT1 ?SITE)
            (accountAtSite ?ACCT2 ?SITE)
            (attribute ?ACCT1 ConsumerAccount)
            (attribute ?ACCT2 ConsumerAccount))))		 UXExperimentalTerms.kif 1791-1810
(=>
    (and
        (instance ?Transaction FinancialTransaction)
        (destination ?Transaction ?Agent))
    (and
        (instance ?Service CommercialService)
        (agent ?Service ?Agent)
        (attribute ?Service OpenService)))		 FinancialOntology.kif 3959-3966
(=>
    (and
        (instance ?Transaction FinancialTransaction)
        (origin ?Transaction
            (CurrencyFn ?Account))
        (transactionAmount ?Transaction
            (MeasureFn ?Amount1 ?U))
        (instance ?U UnitOfCurrency)
        (instance ?Cash Currency)
        (patient ?Transaction ?Cash)
        (date ?Transaction ?Day))
    (exists (?Amount2)
        (and
            (availableCash ?Account ?Day
                (MeasureFn ?Amount2 ?U))
            (greaterThanOrEqualTo ?Amount1 ?Amount2))))		 FinancialOntology.kif 3838-3852
(=>
    (and
        (instance ?Transaction FinancialTransaction)
        (origin ?Transaction ?Account)
        (transactionAmount ?Transaction
            (MeasureFn ?Amount1 ?U))
        (instance ?U UnitOfCurrency)
        (date ?Transaction ?Day))
    (exists (?Amount2)
        (and
            (availableBalance ?Account ?Day
                (MeasureFn ?Amount2 ?U))
            (greaterThanOrEqualTo ?Amount1 ?Amount2))))		 FinancialOntology.kif 3815-3827
(=>
    (and
        (lastStatement ?Account ?Statement)
        (instance ?Transaction1 FinancialTransaction)
        (realization ?Statement ?Transaction1)
        (instance ?Transaction2 FinancialTransaction)
        (not
            (realization ?Statement ?Transaction2)))
    (earlier
        (WhenFn ?Transaction2)
        (WhenFn ?Transaction1)))		 FinancialOntology.kif 3907-3914
(=>
    (instance ?TRANS FinancialTransaction)
    (exists (?OBJ)
        (and
            (patient ?TRANS ?OBJ)
            (instance ?OBJ FinancialInstrument))))		 Merge.kif 11840-11845

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


(<=>
    (customer ?AGENT1 ?AGENT2)
    (exists (?SERVICE)
        (and
            (instance ?SERVICE FinancialTransaction)
            (agent ?SERVICE ?AGENT2)
            (destination ?SERVICE ?AGENT1))))		 Mid-level-ontology.kif 7727-7733 customer Agente Cognitivo and AutonomousAgent Processo Processo e' uma instancia de Transacao Financeira Processo e' um agente de AutonomousAgent Processo termina em Agente Cognitivo
(<=>
    (customerRepresentative ?Person1 ?Person2 ?Org)
    (exists (?Service)
        (and
            (instance ?Service FinancialTransaction)
            (employs ?Org ?Person1)
            (agent ?Service ?Person1)
            (destination ?Service ?Person2))))		 FinancialOntology.kif 3635-3642 customerRepresentative Agente Cognitivo, Agente Cognitivo and Organizacao Processo Processo e' uma instancia de Transacao Financeira Organizacao emprega Agente Cognitivo Processo e' um agente de Agente Cognitivo Processo termina em Agente Cognitivo
(=>
    (and
        (attribute ?TRANS ?ATTR)
        (instance ?ATTR AccountAttribute))
    (instance ?TRANS FinancialTransaction))		 UXExperimentalTerms.kif 1637-1641
(=>
    (and
        (instance ?JOIN Hiring)
        (instance ?ORG Organization)
        (agent ?JOIN ?ORG)
        (patient ?JOIN ?PERSON))
    (expects ?ORG
        (exists (?FT)
            (and
                (instance ?FT FinancialTransaction)
                (agent ?FT ?ORG)
                (destination ?FT ?PERSON)
                (earlier
                    (WhenFn ?JOIN)
                    (WhenFn ?FT))))))		 Merge.kif 10631-10643
(=>
    (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 954-977
(=>
    (and
        (instance ?PSP ProfitSharingPlan)
        (accountHolder ?PSP ?H)
        (employs ?O ?H)
        (profit ?A
            (MeasureFn ?P ?U))
        (instance ?U UnitOfCurrency)
        (agent ?A ?O))
    (exists (?C ?PAY)
        (and
            (instance ?PAY FinancialTransaction)
            (transactionAmount ?PAY
                (MeasureFn ?C ?U))
            (lessThan ?C ?P)
            (destination ?PAY ?PSP))))		 FinancialOntology.kif 1192-1207
(=>
    (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 3590-3601
(=>
    (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 3885-3895
(=>
    (attribute ?M CoinOperated)
    (hasPurpose ?M
        (exists (?C ?FT ?A ?ACT)
            (and
                (instance ?C CurrencyCoin)
                (instance ?FT FinancialTransaction)
                (destination ?FT ?M)
                (patient ?FT ?C)
                (origin ?FT ?A)
                (causes ?FT ?ACT)
                (wants ?A ?ACT)))))		 Mid-level-ontology.kif 29474-29485
(=>
    (instance ?PS PayStub)
    (exists (?FT ?O ?E)
        (and
            (instance ?FT FinancialTransaction)
            (origin ?FT ?O)
            (destination ?FT ?E)
            (refers ?PS ?FT))))		 Medicine.kif 3386-3393
(=>
    (instance ?VD VendingMachine)
    (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 1974-1984
(=>
    (instance ?X Marketplace)
    (hasPurpose ?X
        (exists (?EV)
            (and
                (instance ?EV FinancialTransaction)
                (eventLocated ?EV ?X)))))		 Mid-level-ontology.kif 22441-22447
(=>
    (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)
                (eventLocated ?EV ?X)))))		 Mid-level-ontology.kif 22560-22574
(=>
    (instance ?X Store)
    (hasPurpose ?X
        (exists (?EV)
            (and
                (instance ?EV FinancialTransaction)
                (eventLocated ?EV ?X)))))		 Mid-level-ontology.kif 7083-7089
(=>
    (standardRetailHours ?TIMEINT ?AGENT)
    (exists (?FT ?T ?C ?SRH ?NONSRH)
        (and
            (instance ?FT FinancialTransaction)
            (agent ?FT ?AGENT)
            (instance ?T ?TIMEINT)
            (destination ?FT ?C)
            (equal ?SRH
                (ProbabilityFn
                    (and
                        (during
                            (WhenFn ?FT) ?T)
                        (customer ?C ?AGENT))))
            (equal ?NONSRH
                (ProbabilityFn
                    (and
                        (not
                            (during
                                (WhenFn ?FT) ?T))
                        (customer ?C ?AGENT))))
            (greaterThan ?SRH ?NONSRH))))		 Dining.kif 388-407


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