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 11836-11838 | |
(documentation FinancialTransaction JapaneseLanguage "Transaction は、FinancialInstrument のインスタンスがアクションの対象であり、多くの場合、他のインスタンスと交換される。") | japanese_format.kif 1866-1867 | |
(subclass FinancialTransaction Transaction) | Merge.kif 11834-11834 | FinancialTransaction ist eine teilkategorie von Transaction |
appearance as argument number 2 |
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 7204-7204 | 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 7602-7602 | 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 11850-11850 | 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 20497-20497 | 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 |
consequent |
(<=> (customer ?AGENT1 ?AGENT2) (exists (?SERVICE) (and (instance ?SERVICE FinancialTransaction) (agent ?SERVICE ?AGENT2) (destination ?SERVICE ?AGENT1)))) |
Mid-level-ontology.kif 7727-7733 | 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 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 |
|