| 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 11341-11343 | |
| (subclass FinancialTransaction Transaction) | Merge.kif 11339-11339 |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain broker 1 FinancialTransaction) | UXExperimentalTerms.kif 1893-1893 | |
| (domain confirmationNumber 1 FinancialTransaction) | FinancialOntology.kif 3790-3790 | |
| (domain eCommerceSite 1 FinancialTransaction) | UXExperimentalTerms.kif 1913-1913 | |
| (domain loss 1 FinancialTransaction) | Mid-level-ontology.kif 6840-6840 | |
| (domain orderFor 1 FinancialTransaction) | FinancialOntology.kif 1935-1935 | |
| (domain profit 1 FinancialTransaction) | Mid-level-ontology.kif 7254-7254 | |
| (domain serviceFee 2 FinancialTransaction) | FinancialOntology.kif 849-849 | |
| (domain transactionAmount 1 FinancialTransaction) | Merge.kif 11355-11355 | |
| (domainSubclass dailyLimit 2 FinancialTransaction) | FinancialOntology.kif 3903-3903 | |
| (domainSubclass minimumBalance 2 FinancialTransaction) | FinancialOntology.kif 640-640 | |
| (domainSubclass occupation 2 FinancialTransaction) | Mid-level-ontology.kif 19674-19674 | |
| (domainSubclass orderFor 2 FinancialTransaction) | FinancialOntology.kif 1936-1936 |
| 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 1083-1096 | |
| (=> (and (instance ?Account CreditCardAccount) (instance ?Transaction FinancialTransaction) (origin ?Transaction (CurrencyFn ?Account))) (exists (?Card) (and (instance ?Card CreditCard) (instrument ?Transaction ?Card)))) |
FinancialOntology.kif 1193-1201 | |
| (=> (and (instance ?Account SavingsAccount) (instance ?Transaction FinancialTransaction) (origin ?Transaction (CurrencyFn ?Account))) (exists (?Authorization) (and (instance ?Authorization AuthorizationOfTransaction) (subProcess ?Authorization ?Transaction)))) |
FinancialOntology.kif 987-995 | |
| (=> (and (instance ?Authorization AuthorizationOfTransaction) (instance ?Transaction FinancialTransaction) (instance ?Card BankCard) (instrument ?Transaction ?Card) (causes ?Authorization ?Transaction)) (instance ?Card ValidCard)) |
FinancialOntology.kif 3477-3484 | |
| (=> (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 ?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 3504-3515 | |
| (=> (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 | |
| (=> (and (instance ?Transaction FinancialTransaction) (destination ?Transaction ?Agent)) (and (instance ?Service CommercialService) (agent ?Service ?Agent) (attribute ?Service OpenService))) |
FinancialOntology.kif 3871-3878 | |
| (=> (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 3748-3762 | |
| (=> (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 3725-3737 | |
| (=> (and (lastStatement ?Account ?Statement) (instance ?Transaction1 FinancialTransaction) (realization ?Statement ?Transaction1) (instance ?Transaction2 FinancialTransaction) (not (realization ?Statement ?Transaction2))) (earlier (WhenFn ?Transaction2) (WhenFn ?Transaction1))) |
FinancialOntology.kif 3818-3825 | |
| (=> (instance ?TRANS FinancialTransaction) (exists (?OBJ) (and (patient ?TRANS ?OBJ) (instance ?OBJ FinancialInstrument)))) |
Merge.kif 11345-11350 |
| consequent |
|
|
| (<=> (customer ?AGENT1 ?AGENT2) (exists (?SERVICE) (and (instance ?SERVICE FinancialTransaction) (agent ?SERVICE ?AGENT2) (destination ?SERVICE ?AGENT1)))) |
Mid-level-ontology.kif 7372-7378 | |
| (<=> (customerRepresentative ?Person1 ?Person2 ?Org) (exists (?Service) (and (instance ?Service FinancialTransaction) (employs ?Org ?Person1) (agent ?Service ?Person1) (destination ?Service ?Person2)))) |
FinancialOntology.kif 3597-3604 | |
| (=> (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 10216-10228 | |
| (=> (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 1146-1161 | |
| (=> (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 3551-3562 | |
| (=> (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 3796-3806 | |
| (=> (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 28717-28728 | |
| (=> (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 1912-1922 | |
| (=> (instance ?X Marketplace) (hasPurpose ?X (exists (?EV) (and (instance ?EV FinancialTransaction) (eventLocated ?EV ?X))))) |
Mid-level-ontology.kif 21751-21757 | |
| (=> (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 21836-21850 | |
| (=> (instance ?X Store) (hasPurpose ?X (exists (?EV) (and (instance ?EV FinancialTransaction) (eventLocated ?EV ?X))))) |
Mid-level-ontology.kif 6719-6725 |
|
|
|