   Polyhedron
|
|
Sigma KEE - accountAt
|
appearance as argument number 1
|
|
|
|
appearance as argument number 2
|
|
|
|
antecedent
|
|
|
(=>
(and
(instance ?Account FinancialAccount)
(accountAt ?Account ?Bank))
(exists (?Activity)
(and
(instance ?Activity ControllingAnAccount)
(patient ?Activity ?Account)
(agent ?Activity ?Bank)))) |
FinancialOntology.kif 78-86 |
If X is an instance of financial account and X is held by Y, then there exists Z such that Z is an instance of controlling an account, X is a patient of Z, and Y is an agent of Z |
(=>
(and
(instance ?Controlling ControllingAnAccount)
(patient ?Controlling ?Account)
(accountAt ?Account ?Bank))
(agent ?Controlling ?Bank)) |
FinancialOntology.kif 358-363 |
If X is an instance of controlling an account, Y is a patient of X, and Y is held by Z, then Z is an agent of X |
(=>
(and
(instance ?Account LiabilityAccount)
(accountHolder ?Account ?Agent)
(accountAt ?Account ?Bank))
(exists (?Debt)
(and
(property ?Debt Liability)
(partyToAgreement ?Debt ?Agent)
(partyToAgreement ?Debt ?Bank)))) |
FinancialOntology.kif 1199-1208 |
If X is an instance of liability account, Y holds account X, and X is held by Z, then there exists W such that W the attribute liability, Y is a party to agreement of W, and Z is a party to agreement of W |
(=>
(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 1249-1259 |
If X is an instance of credit account, X is held by Y, Z holds account X, and X is interest earned W for V, then there exists U such that U originates at Z, W is a transaction amount of U, and U ends up at Y |
(=>
(and
(accountHolder ?Account ?Agent)
(accountAt ?Account ?Bank))
(customer ?Agent ?Bank)) |
FinancialOntology.kif 3679-3683 |
If X holds account Y and Y is held by Z, then Z is a customer of X |
|
consequent
|
|
|
(=>
(instance ?Account FinancialAccount)
(exists (?Organization)
(and
(instance ?Organization FinancialOrganization)
(accountAt ?Account ?Organization)))) |
FinancialOntology.kif 71-76 |
If X is an instance of financial account, then there exists Y such that Y is an instance of financial organization and X is held by Y |
(=>
(and
(instance ?Card BankCard)
(issuedBy ?Card ?Bank))
(exists (?Account)
(and
(instance ?Account FinancialAccount)
(cardAccount ?Card ?Account)
(accountAt ?Account ?Bank)))) |
FinancialOntology.kif 190-198 |
If X is an instance of bank card and Y is an issued by of X, then there exists Z such that Z is an instance of financial account, Z is a card account of X, and Z is held by Y |
(=>
(and
(instance ?Opening OpeningAnAccount)
(eventLocated ?Opening ?Bank)
(instance ?Bank FinancialOrganization)
(agent ?Opening ?Agent)
(equal
(WhenFn ?Opening) ?OpeningTime))
(exists (?Account ?AccountPeriod)
(and
(agreementPeriod ?Account ?AccountPeriod)
(meetsTemporally ?OpeningTime ?AccountPeriod)
(instance ?Account FinancialAccount)
(accountAt ?Account ?Bank)
(accountHolder ?Account ?Agent)))) |
FinancialOntology.kif 295-308 |
If X is an instance of opening an account, X is located at Y, Y is an instance of financial organization, Z is an agent of X, and equal the time of existence of X and W, then there exist V, U such that U is an agreement period of V, W meets U, V is an instance of financial account, V is held by Y, and Z holds account V |
(<=>
(bankAccount ?AccountType ?Bank)
(exists (?Account)
(and
(instance ?Account ?AccountType)
(accountAt ?Account ?Bank)))) |
FinancialOntology.kif 4001-4006 |
X is a bank account of Y if, only if there exists Z such that Z is an instance of Y, and Z is held by X |
|
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
