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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Poker

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 11858-11860
(documentation FinancialTransaction JapaneseLanguage "Transaction は、FinancialInstrument のインスタンスがアクションの対象であり、多くの場合、他のインスタンスと交換される。") japanese_format.kif 1866-1867
(subclass FinancialTransaction Transaction) Merge.kif 11856-11856 FinancialTransaction ist eine teilkategorie von Transaction

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


(rangeSubclass OccupationFn FinancialTransaction) Mid-level-ontology.kif 20488-20488 Die werte die OccupationFn zurueckgibt sind teilkategorien von FinancialTransaction
(subclass AssetAllocation FinancialTransaction) FinancialOntology.kif 1799-1799 AssetAllocation ist eine teilkategorie von FinancialTransaction
(subclass AutomaticTransaction FinancialTransaction) FinancialOntology.kif 507-507 AutomaticTransaction ist eine teilkategorie von FinancialTransaction
(subclass Betting FinancialTransaction) Merge.kif 11906-11906 Betting ist eine teilkategorie von FinancialTransaction
(subclass Buying FinancialTransaction) Merge.kif 11912-11912 Buying ist eine teilkategorie von FinancialTransaction
(subclass Call FinancialTransaction) FinancialOntology.kif 1424-1424 Call ist eine teilkategorie von FinancialTransaction
(subclass CancellingAnOrder FinancialTransaction) FinancialOntology.kif 2833-2833 CancellingAnOrder ist eine teilkategorie von FinancialTransaction
(subclass ChargingAFee FinancialTransaction) FinancialOntology.kif 890-890 ChargingAFee ist eine teilkategorie von FinancialTransaction
(subclass ClosingAnAccount FinancialTransaction) FinancialOntology.kif 388-388 ClosingAnAccount ist eine teilkategorie von FinancialTransaction
(subclass CommercialService FinancialTransaction) Merge.kif 11894-11894 CommercialService ist eine teilkategorie von FinancialTransaction
(subclass ControllingAnAccount FinancialTransaction) FinancialOntology.kif 353-353 ControllingAnAccount ist eine teilkategorie von FinancialTransaction
(subclass Deposit FinancialTransaction) FinancialOntology.kif 426-426 Deposit ist eine teilkategorie von FinancialTransaction
(subclass ExerciseAnOption FinancialTransaction) FinancialOntology.kif 2749-2749 ExerciseAnOption ist eine teilkategorie von FinancialTransaction
(subclass Exporting FinancialTransaction) Economy.kif 2396-2396 Exporting ist eine teilkategorie von FinancialTransaction
(subclass ExternalTransfer FinancialTransaction) FinancialOntology.kif 4125-4125 ExternalTransfer ist eine teilkategorie von FinancialTransaction
(subclass FillingAnOrder FinancialTransaction) FinancialOntology.kif 2829-2829 FillingAnOrder ist eine teilkategorie von FinancialTransaction
(subclass FinancialDefault FinancialTransaction) FinancialOntology.kif 2146-2146 FinancialDefault ist eine teilkategorie von FinancialTransaction
(subclass FinancialRequest FinancialTransaction) FinancialOntology.kif 3976-3976 FinancialRequest ist eine teilkategorie von FinancialTransaction
(subclass FinancialResponse FinancialTransaction) FinancialOntology.kif 3980-3980 FinancialResponse ist eine teilkategorie von FinancialTransaction
(subclass InternalTransfer FinancialTransaction) FinancialOntology.kif 4138-4138 InternalTransfer ist eine teilkategorie von FinancialTransaction
(subclass Investing FinancialTransaction) FinancialOntology.kif 483-483 Investing ist eine teilkategorie von FinancialTransaction
(subclass Liquidation FinancialTransaction) FinancialOntology.kif 2069-2069 Liquidation ist eine teilkategorie von FinancialTransaction
(subclass MuakharSadaq FinancialTransaction) ArabicCulture.kif 284-284 MuakharSadaq ist eine teilkategorie von FinancialTransaction
(subclass MuqaddamSadaq FinancialTransaction) ArabicCulture.kif 304-304 MuqaddamSadaq ist eine teilkategorie von FinancialTransaction
(subclass OpeningAnAccount FinancialTransaction) FinancialOntology.kif 290-290 OpeningAnAccount ist eine teilkategorie von FinancialTransaction

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 Die Zahl 1 Argument von broker ist ein fall von FinancialTransaction %n{nicht}
(domain confirmationNumber 1 FinancialTransaction) FinancialOntology.kif 3879-3879 Die Zahl 1 Argument von confirmationNumber ist ein fall von FinancialTransaction %n{nicht}
(domain eCommerceSite 1 FinancialTransaction) UXExperimentalTerms.kif 1705-1705 Die Zahl 1 Argument von eCommerceSite ist ein fall von FinancialTransaction %n{nicht}
(domain loss 1 FinancialTransaction) Mid-level-ontology.kif 7203-7203 Die Zahl 1 Argument von loss ist ein fall von FinancialTransaction %n{nicht}
(domain orderFor 1 FinancialTransaction) FinancialOntology.kif 1965-1965 Die Zahl 1 Argument von orderFor ist ein fall von FinancialTransaction %n{nicht}
(domain profit 1 FinancialTransaction) Mid-level-ontology.kif 7601-7601 Die Zahl 1 Argument von profit ist ein fall von FinancialTransaction %n{nicht}
(domain serviceFee 2 FinancialTransaction) FinancialOntology.kif 895-895 Die Zahl 2 Argument von serviceFee ist ein fall von FinancialTransaction %n{nicht}
(domain transactionAmount 1 FinancialTransaction) Merge.kif 11872-11872 Die Zahl 1 Argument von transactionAmount ist ein fall von FinancialTransaction %n{nicht}
(domainSubclass dailyLimit 2 FinancialTransaction) FinancialOntology.kif 3991-3991 Die Zahl 2 Argument von dailyLimit ist eine teilkategorie von FinancialTransaction %n{nicht}
(domainSubclass minimumBalance 2 FinancialTransaction) FinancialOntology.kif 680-680 Die Zahl 2 Argument von minimumBalance ist eine teilkategorie von FinancialTransaction %n{nicht}
(domainSubclass occupation 2 FinancialTransaction) Mid-level-ontology.kif 20496-20496 Die Zahl 2 Argument von occupation ist eine teilkategorie von FinancialTransaction %n{nicht}
(domainSubclass orderFor 2 FinancialTransaction) FinancialOntology.kif 1966-1966 Die Zahl 2 Argument von orderFor ist eine teilkategorie von FinancialTransaction %n{nicht}

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 11862-11867

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


(<=>
    (customer ?AGENT1 ?AGENT2)
    (exists (?SERVICE)
        (and
            (instance ?SERVICE FinancialTransaction)
            (agent ?SERVICE ?AGENT2)
            (destination ?SERVICE ?AGENT1))))
Mid-level-ontology.kif 7726-7732 customer CognitiveAgent and AutonomousAgent genau dann wenn es gibt Process um ** Process ist ein fall von FinancialTransaction %n{nicht} und ** Process ist der agent von ** AutonomousAgent %n{nicht} und ** Process endet an ** CognitiveAgent %n{nicht}
(<=>
    (customerRepresentative ?Person1 ?Person2 ?Org)
    (exists (?Service)
        (and
            (instance ?Service FinancialTransaction)
            (employs ?Org ?Person1)
            (agent ?Service ?Person1)
            (destination ?Service ?Person2))))
FinancialOntology.kif 3635-3642 customerRepresentative CognitiveAgent, ** CognitiveAgent and Organization genau dann wenn es gibt Process um ** Process ist ein fall von FinancialTransaction %n{nicht} und ** Organization beschaeftigt ** CognitiveAgent %n{nicht} und ** Process ist der agent von ** CognitiveAgent %n{nicht} und ** Process endet an ** ** CognitiveAgent %n{nicht}
(=>
    (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 10653-10665
(=>
    (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 29462-29473
(=>
    (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 22440-22446
(=>
    (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 22559-22573
(=>
    (instance ?X Store)
    (hasPurpose ?X
        (exists (?EV)
            (and
                (instance ?EV FinancialTransaction)
                (eventLocated ?EV ?X)))))
Mid-level-ontology.kif 7082-7088
(=>
    (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