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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FinancialTransaction

 Sigma KEE - FinancialTransaction
FinancialTransaction(ScambioFinanziario)

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 ScambioFinanziario è una sottoclasse di Scambio

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


(rangeSubclass OccupationFn FinancialTransaction) Mid-level-ontology.kif 20489-20489 I valori resi da OccupationFn sono sottoclassi diScambioFinanziario
(subclass AssetAllocation FinancialTransaction) FinancialOntology.kif 1799-1799 AssetAllocation è una sottoclasse di ScambioFinanziario
(subclass AutomaticTransaction FinancialTransaction) FinancialOntology.kif 507-507 AutomaticTransaction è una sottoclasse di ScambioFinanziario
(subclass Betting FinancialTransaction) Merge.kif 11884-11884 Scommesse è una sottoclasse di ScambioFinanziario
(subclass Buying FinancialTransaction) Merge.kif 11890-11890 Acquistare è una sottoclasse di ScambioFinanziario
(subclass Call FinancialTransaction) FinancialOntology.kif 1424-1424 Call è una sottoclasse di ScambioFinanziario
(subclass CancellingAnOrder FinancialTransaction) FinancialOntology.kif 2833-2833 CancellingAnOrder è una sottoclasse di ScambioFinanziario
(subclass ChargingAFee FinancialTransaction) FinancialOntology.kif 890-890 ChargingAFee è una sottoclasse di ScambioFinanziario
(subclass ClosingAnAccount FinancialTransaction) FinancialOntology.kif 388-388 ClosingAnAccount è una sottoclasse di ScambioFinanziario
(subclass CommercialService FinancialTransaction) Merge.kif 11872-11872 CommercialService è una sottoclasse di ScambioFinanziario
(subclass ControllingAnAccount FinancialTransaction) FinancialOntology.kif 353-353 ControllingAnAccount è una sottoclasse di ScambioFinanziario
(subclass Deposit FinancialTransaction) FinancialOntology.kif 426-426 Deposit è una sottoclasse di ScambioFinanziario
(subclass ExerciseAnOption FinancialTransaction) FinancialOntology.kif 2749-2749 ExerciseAnOption è una sottoclasse di ScambioFinanziario
(subclass Exporting FinancialTransaction) Economy.kif 2396-2396 Exporting è una sottoclasse di ScambioFinanziario
(subclass ExternalTransfer FinancialTransaction) FinancialOntology.kif 4125-4125 ExternalTransfer è una sottoclasse di ScambioFinanziario
(subclass FillingAnOrder FinancialTransaction) FinancialOntology.kif 2829-2829 FillingAnOrder è una sottoclasse di ScambioFinanziario
(subclass FinancialDefault FinancialTransaction) FinancialOntology.kif 2146-2146 FinancialDefault è una sottoclasse di ScambioFinanziario
(subclass FinancialRequest FinancialTransaction) FinancialOntology.kif 3976-3976 FinancialRequest è una sottoclasse di ScambioFinanziario
(subclass FinancialResponse FinancialTransaction) FinancialOntology.kif 3980-3980 FinancialResponse è una sottoclasse di ScambioFinanziario
(subclass InternalTransfer FinancialTransaction) FinancialOntology.kif 4138-4138 InternalTransfer è una sottoclasse di ScambioFinanziario
(subclass Investing FinancialTransaction) FinancialOntology.kif 483-483 Investing è una sottoclasse di ScambioFinanziario
(subclass Liquidation FinancialTransaction) FinancialOntology.kif 2069-2069 Liquidation è una sottoclasse di ScambioFinanziario
(subclass MuakharSadaq FinancialTransaction) ArabicCulture.kif 284-284 MuakharSadaq è una sottoclasse di ScambioFinanziario
(subclass MuqaddamSadaq FinancialTransaction) ArabicCulture.kif 304-304 MuqaddamSadaq è una sottoclasse di ScambioFinanziario
(subclass OpeningAnAccount FinancialTransaction) FinancialOntology.kif 290-290 OpeningAnAccount è una sottoclasse di ScambioFinanziario

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 Il numero 1 argomenti di broker è un istanza di ScambioFinanziario
(domain confirmationNumber 1 FinancialTransaction) FinancialOntology.kif 3879-3879 Il numero 1 argomenti di confirmationNumber è un istanza di ScambioFinanziario
(domain eCommerceSite 1 FinancialTransaction) UXExperimentalTerms.kif 1705-1705 Il numero 1 argomenti di eCommerceSite è un istanza di ScambioFinanziario
(domain loss 1 FinancialTransaction) Mid-level-ontology.kif 7204-7204 Il numero 1 argomenti di loss è un istanza di ScambioFinanziario
(domain orderFor 1 FinancialTransaction) FinancialOntology.kif 1965-1965 Il numero 1 argomenti di orderFor è un istanza di ScambioFinanziario
(domain profit 1 FinancialTransaction) Mid-level-ontology.kif 7602-7602 Il numero 1 argomenti di profit è un istanza di ScambioFinanziario
(domain serviceFee 2 FinancialTransaction) FinancialOntology.kif 895-895 Il numero 2 argomenti di serviceFee è un istanza di ScambioFinanziario
(domain transactionAmount 1 FinancialTransaction) Merge.kif 11850-11850 Il numero 1 argomenti di transactionAmount è un istanza di ScambioFinanziario
(domainSubclass dailyLimit 2 FinancialTransaction) FinancialOntology.kif 3991-3991 Il numero 2 argomento dailyLimit è una sottoclasse diScambioFinanziario
(domainSubclass minimumBalance 2 FinancialTransaction) FinancialOntology.kif 680-680 Il numero 2 argomento minimumBalance è una sottoclasse diScambioFinanziario
(domainSubclass occupation 2 FinancialTransaction) Mid-level-ontology.kif 20497-20497 Il numero 2 argomento occupation è una sottoclasse diScambioFinanziario
(domainSubclass orderFor 2 FinancialTransaction) FinancialOntology.kif 1966-1966 Il numero 2 argomento orderFor è una sottoclasse diScambioFinanziario

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 AgenteCognitivo and AutonomousAgent Processo Processo è un' istanza di ScambioFinanziario Processo è un agente di AutonomousAgent Processo fines in AgenteCognitivo
(<=>
    (customerRepresentative ?Person1 ?Person2 ?Org)
    (exists (?Service)
        (and
            (instance ?Service FinancialTransaction)
            (employs ?Org ?Person1)
            (agent ?Service ?Person1)
            (destination ?Service ?Person2))))		 FinancialOntology.kif 3635-3642 customerRepresentative AgenteCognitivo, AgenteCognitivo and Organizzazione Processo Processo è un' istanza di ScambioFinanziario Organizzazione impiegas AgenteCognitivo Processo è un agente di AgenteCognitivo Processo fines in AgenteCognitivo
(=>
    (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 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