Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| accountAt |
| appearance as argument number 1 |
|
| (subrelation accountAt partyToAgreement) | FinancialOntology.kif 230-230 | account at is a subrelation of party to agreement |
| (instance accountAt BinaryPredicate) | FinancialOntology.kif 231-231 | account at is an instance of binary predicate |
| (domain accountAt 1 FinancialAccount) | FinancialOntology.kif 232-232 | The number 1 argument of account at is an instance of financial account |
| (domain accountAt 2 FinancialOrganization) | FinancialOntology.kif 233-233 | The number 2 argument of account at is an instance of financial organization |
| (documentation accountAt EnglishLanguage "(accountAt ?Account ?Bank) means that ?Account is a FinancialAccount opened in the FinancialOrganization ?Bank.") | FinancialOntology.kif 234-235 | The number 2 argument of account at is an instance of financial organization |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage accountAt "%1 is held by %2") | domainEnglishFormat.kif 2668-2668 | |
| (format ChineseTraditionalLanguage accountAt "%1 %n 是被 %2 held ") | domainEnglishFormat.kif 2669-2669 | |
| (format ChineseLanguage accountAt "%1 %n 是被 %2 held ") | domainEnglishFormat.kif 2670-2670 | |
| (termFormat EnglishLanguage accountAt "account at") | domainEnglishFormat.kif 5245-5245 | |
| (termFormat ChineseTraditionalLanguage accountAt "帳號在") | domainEnglishFormat.kif 5246-5246 | |
| (termFormat ChineseLanguage accountAt "帐号在") | domainEnglishFormat.kif 5247-5247 |
| 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 |
|