(<=>
(and
(accountHolder ?Account ?Agent)
(instance ?Agent Corporation))
(instance ?Account CorporateAccount)) |
FinancialOntology.kif 1018-1022 |
A cognitive agent holds account a financial account and the cognitive agent is an instance of corporation if and only if the financial account is an instance of corporate account |
(<=>
(and
(accountHolder ?Account ?Agent)
(instance ?Agent Human))
(instance ?Account PersonalAccount)) |
FinancialOntology.kif 996-1000 |
A cognitive agent holds account a financial account and the cognitive agent is an instance of human if and only if the financial account is an instance of personal account |
(<=>
(and
(instance ?Account PersonalAccount)
(greaterThan
(CardinalityFn
(KappaFn ?Agent
(accountHolder ?Account ?Agent))) 1))
(instance ?Account JointAccount)) |
FinancialOntology.kif 1007-1011 |
An entity is an instance of personal account and the number of instances in the class described by a symbolic string is greater than 1 if and only if the entity is an instance of joint account |
(=>
(and
(accountHolder ?Account ?Agent)
(accountAt ?Account ?Bank))
(customer ?Agent ?Bank)) |
FinancialOntology.kif 3635-3639 |
|
(=>
(and
(amountDue ?Account ?Amount ?DueDate)
(accountHolder ?Account ?Agent))
(holdsObligation
(KappaFn ?Payment
(and
(instance ?Payment Payment)
(transactionAmount ?Payment ?Amount)
(or
(destination ?Payment
(CurrencyFn ?Account))
(origin ?Payment
(CurrencyFn ?Account)))
(date ?Payment ?Date)
(beforeOrEqual
(EndFn ?Date)
(BeginFn ?DueDate)))) ?Agent)) |
FinancialOntology.kif 655-667 |
|
(=>
(and
(instance ?Account CreditAccount)
(accountAt ?Account ?Organization)
(accountHolder ?Account ?Agent)
(interestEarned ?Account ?Interest ?Period))
(exists (?Payment)
(and
(origin ?Payment ?Agent)
(transactionAmount ?Payment ?Interest)
(destination ?Payment ?Organization)))) |
FinancialOntology.kif 1226-1236 |
|
(=>
(and
(instance ?Account CreditAccount)
(accountHolder ?Account ?Agent)
(principalAmount ?Account ?Principal)
(agreementPeriod ?Account ?Period)
(interestEarned ?Account ?Interest ?Period)
(equal ?Total
(AdditionFn ?Principal ?Interest)))
(holdsObligation
(KappaFn ?Payment
(transactionAmount ?Payment ?Total)) ?Agent)) |
FinancialOntology.kif 1238-1247 |
|
(=>
(and
(instance ?Account LiabilityAccount)
(accountHolder ?Account ?Agent)
(accountAt ?Account ?Bank))
(exists (?Debt)
(and
(property ?Debt Liability)
(partyToAgreement ?Debt ?Agent)
(partyToAgreement ?Debt ?Bank)))) |
FinancialOntology.kif 1176-1185 |
|
(=>
(and
(instance ?Account SavingsAccount)
(accountHolder ?Account ?Agent)
(interestEarned ?Account ?Interest ?Period))
(exists (?Payment)
(and
(destination ?Payment
(CurrencyFn ?Account))
(transactionAmount ?Payment ?Interest)
(destination ?Payment ?Agent)))) |
FinancialOntology.kif 1043-1052 |
|
(=>
(and
(instance ?P PensionPlan)
(accountHolder ?P ?A)
(employs ?O ?A))
(financialAccount ?P ?O)) |
FinancialOntology.kif 1194-1199 |
|
(=>
(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 1206-1221 |
|
(=>
(and
(instance ?Using UsingAnAccount)
(patient ?Using ?Account)
(accountHolder ?Account ?Agent))
(agent ?Using ?Agent)) |
FinancialOntology.kif 311-316 |
|