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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FinancialTransaction

 Sigma KEE - FinancialTransaction
FinancialTransaction

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 11669-11671
(subclass FinancialTransaction Transaction) Merge.kif 11667-11667 subclass FinancialTransaction and Transaction

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


(rangeSubclass OccupationFn FinancialTransaction) Mid-level-ontology.kif 19811-19811 rangeSubclass OccupationFn and FinancialTransaction
(subclass AutomaticTransaction FinancialTransaction) FinancialOntology.kif 507-507 subclass AutomaticTransaction and FinancialTransaction
(subclass Betting FinancialTransaction) Merge.kif 11717-11717 subclass Betting and FinancialTransaction
(subclass Buying FinancialTransaction) Merge.kif 11723-11723 subclass Buying and FinancialTransaction
(subclass ClosingAnAccount FinancialTransaction) FinancialOntology.kif 388-388 subclass ClosingAnAccount and FinancialTransaction
(subclass CommercialService FinancialTransaction) Merge.kif 11705-11705 subclass CommercialService and FinancialTransaction
(subclass ControllingAnAccount FinancialTransaction) FinancialOntology.kif 353-353 subclass ControllingAnAccount and FinancialTransaction
(subclass Deposit FinancialTransaction) FinancialOntology.kif 426-426 subclass Deposit and FinancialTransaction
(subclass Exporting FinancialTransaction) Economy.kif 2406-2406 subclass Exporting and FinancialTransaction
(subclass Investing FinancialTransaction) FinancialOntology.kif 483-483 subclass Investing and FinancialTransaction
(subclass MuakharSadaq FinancialTransaction) ArabicCulture.kif 273-273 subclass MuakharSadaq and FinancialTransaction
(subclass MuqaddamSadaq FinancialTransaction) ArabicCulture.kif 293-293 subclass MuqaddamSadaq and FinancialTransaction
(subclass OpeningAnAccount FinancialTransaction) FinancialOntology.kif 290-290 subclass OpeningAnAccount and FinancialTransaction
(subclass Payment FinancialTransaction) FinancialOntology.kif 403-403 subclass Payment and FinancialTransaction
(subclass Renting FinancialTransaction) Mid-level-ontology.kif 21877-21877 subclass Renting and FinancialTransaction
(subclass Selling FinancialTransaction) Merge.kif 11734-11734 subclass Selling and FinancialTransaction
(subclass TransactionCollection FinancialTransaction) UXExperimentalTerms.kif 2118-2118 subclass TransactionCollection and FinancialTransaction
(subclass UsingAnAccount FinancialTransaction) FinancialOntology.kif 308-308 subclass UsingAnAccount and FinancialTransaction
(subclass Vending FinancialTransaction) Mid-level-ontology.kif 1898-1898 subclass Vending and FinancialTransaction
(subclass Withdrawal FinancialTransaction) FinancialOntology.kif 455-455 subclass Withdrawal and FinancialTransaction
(subclass Working FinancialTransaction) Mid-level-ontology.kif 19821-19821 subclass Working and FinancialTransaction
(termFormat ChineseLanguage FinancialTransaction "金融交易") chinese_format.kif 1140-1140
(termFormat EnglishLanguage FinancialTransaction "financial transaction") english_format.kif 1497-1497

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


(domain broker 1 FinancialTransaction) UXExperimentalTerms.kif 1893-1893 domain broker, 1 and FinancialTransaction
(domain eCommerceSite 1 FinancialTransaction) UXExperimentalTerms.kif 1913-1913 domain eCommerceSite, 1 and FinancialTransaction
(domain loss 1 FinancialTransaction) Mid-level-ontology.kif 6864-6864 domain loss, 1 and FinancialTransaction
(domain profit 1 FinancialTransaction) Mid-level-ontology.kif 7278-7278 domain profit, 1 and FinancialTransaction
(domain transactionAmount 1 FinancialTransaction) Merge.kif 11683-11683 domain transactionAmount, 1 and FinancialTransaction
(domainSubclass occupation 2 FinancialTransaction) Mid-level-ontology.kif 19819-19819 domainSubclass occupation, 2 and FinancialTransaction

antecedent
-------------------------


(=>
    (and
        (instance ?COLL Collection)
        (forall (?MEMBER)
            (=>
                (member ?MEMBER ?COLL)
                (instance ?MEMBER FinancialTransaction))))
    (equal
        (CardinalityFn
            (KappaFn ?ITEM
                (and
                    (instance ?ITEM Physical)
                    (instance ?BUYING Buying)
                    (member ?BUYING ?COLL)
                    (patient ?BUYING ?ITEM))))
        (BoughtItemsFn ?COLL)))		 UXExperimentalTerms.kif 3096-3111
(=>
    (and
        (instance ?TRANS FinancialTransaction)
        (attribute ?TRANS BusinessToBusiness))
    (exists (?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE)
        (and
            (instance ?ACCT1 UserAccount)
            (instance ?ACCT2 UserAccount)
            (instance ?USER1 Agent)
            (instance ?USER2 Agent)
            (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 ?ACC1 BusinessAccount)
            (attribute ?ACC2 BusinessAccount))))		 UXExperimentalTerms.kif 1935-1954
(=>
    (and
        (instance ?TRANS FinancialTransaction)
        (attribute ?TRANS BusinessToConsumer))
    (exists (?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE)
        (and
            (instance ?ACCT1 UserAccount)
            (instance ?ACCT2 UserAccount)
            (instance ?USER1 Agent)
            (instance ?USER2 Agent)
            (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 ?ACCOUNT1 BusinessAccount)
            (attribute ?ACCOUNT2 ConsumerAccount))))		 UXExperimentalTerms.kif 1967-1986
(=>
    (and
        (instance ?TRANS FinancialTransaction)
        (attribute ?TRANS ConsumerToConsumer))
    (exists (?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE)
        (and
            (instance ?ACCT1 UserAccount)
            (instance ?ACCT2 UserAccount)
            (instance ?USER1 Agent)
            (instance ?USER2 Agent)
            (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 ?ACCOUNT1 ConsumerAccount)
            (attribute ?ACCOUNT2 ConsumerAccount))))		 UXExperimentalTerms.kif 1999-2018
(=>
    (instance ?TRANS FinancialTransaction)
    (exists (?OBJ)
        (and
            (patient ?TRANS ?OBJ)
            (instance ?OBJ FinancialInstrument))))		 Merge.kif 11673-11678

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


(<=>
    (customer ?AGENT1 ?AGENT2)
    (exists (?SERVICE)
        (and
            (instance ?SERVICE FinancialTransaction)
            (agent ?SERVICE ?AGENT2)
            (destination ?SERVICE ?AGENT1))))		 Mid-level-ontology.kif 7396-7402 customer CognitiveAgent and CognitiveAgent Process instance Process and FinancialTransaction agent Process and CognitiveAgent destination Process and CognitiveAgent
(=>
    (and
        (attribute ?TRANS ?ATTR)
        (instance ?ATTR AccountAttribute))
    (instance ?TRANS FinancialTransaction))		 UXExperimentalTerms.kif 1845-1849
(=>
    (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 10519-10531
(=>
    (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
(=>
    (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 28862-28873
(=>
    (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 1929-1939
(=>
    (instance ?X Marketplace)
    (hasPurpose ?X
        (exists (?EV)
            (and
                (instance ?EV FinancialTransaction)
                (eventLocated ?EV ?X)))))		 Mid-level-ontology.kif 21897-21903
(=>
    (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 21982-21996
(=>
    (instance ?X Store)
    (hasPurpose ?X
        (exists (?EV)
            (and
                (instance ?EV FinancialTransaction)
                (eventLocated ?EV ?X)))))		 Mid-level-ontology.kif 6743-6749


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