Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| checkAccount |
| appearance as argument number 1 |
|
| (instance checkAccount BinaryPredicate) | FinancialOntology.kif 243-243 | check account is an instance of binary predicate |
| (domain checkAccount 1 Check) | FinancialOntology.kif 244-244 | The number 1 argument of check account is an instance of check |
| (domain checkAccount 2 FinancialAccount) | FinancialOntology.kif 245-245 | The number 2 argument of check account is an instance of financial account |
| (documentation checkAccount EnglishLanguage "(checkAccount ?Check ?Account) means that ?Account is the FinancialAccount from which the amount specifed on the check is paid.") | FinancialOntology.kif 246-247 | The number 2 argument of check account is an instance of financial account |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage checkAccount "%2 is %n a check account of %1") | domainEnglishFormat.kif 430-430 | |
| (format ChineseTraditionalLanguage checkAccount "%2 %n 是 %1 的 check 帳戶") | domainEnglishFormat.kif 431-431 | |
| (format ChineseLanguage checkAccount "%2 %n 是 %1 的 check 帐户") | domainEnglishFormat.kif 432-432 | |
| (termFormat EnglishLanguage checkAccount "check account") | domainEnglishFormat.kif 14238-14238 | |
| (termFormat ChineseTraditionalLanguage checkAccount "檢查帳戶") | domainEnglishFormat.kif 14239-14239 | |
| (termFormat ChineseLanguage checkAccount "检查帐户") | domainEnglishFormat.kif 14240-14240 |
| antecedent |
|
|
| (=> (and (monetaryValue ?Check ?Amount) (checkAccount ?Check ?Account) (instance ?Processing ProcessingACheck) (patient ?Processing ?Check) (equal (WhenFn ?Processing) ?ProcessingTime)) (exists (?Withdrawal ?WithdrawalTime) (and (instance ?Withdrawal Withdrawal) (instrument ?Withdrawal ?Check) (equal (WhenFn ?Withdrawal) ?WithdrawalTime) (meetsTemporally ?ProcessingTime ?WithdrawalTime) (transactionAmount ?Withdrawal ?Amount) (origin ?Withdrawal ?Account)))) |
FinancialOntology.kif 106-120 | If value of X is Y, Z is a check account of X, W is an instance of processing a check, X is a patient of W, and equal the time of existence of W and V, then All of the following hold: (1) there exist U (2) T such that U is an instance of withdrawing from an account (3) X is an instrument for U (4) equal the time of existence of U (5) T (6) V meets T (7) Y is a transaction amount of U (8) U originates at Z |
| (=> (and (instance ?Drawing DrawingACheck) (patient ?Drawing ?Check) (agent ?Drawing ?Agent) (checkAccount ?Check ?Account)) (accountHolder ?Account ?Agent)) |
FinancialOntology.kif 323-329 | If X is an instance of drawing a check, Y is a patient of X, Z is an agent of X, and W is a check account of Y, then Z holds account W |
| (=> (and (instance ?Depositing DepositingACheck) (patient ?Depositing ?Check) (instance ?Check Check) (checkAccount ?Check ?Account) (monetaryValue ?Check ?Amount)) (exists (?Deposit) (and (instance ?Deposit Deposit) (destination ?Deposit (CurrencyFn ?Account)) (transactionAmount ?Deposit ?Amount)))) |
FinancialOntology.kif 342-353 | If X is an instance of depositing a check, Y is a patient of X, Y is an instance of check, Z is a check account of Y, and value of Y is W, then there exists V such that V is an instance of deposit, V ends up at the currency of Z, and W is a transaction amount of V |
| consequent |
|
|
| (=> (instance ?Check Check) (exists (?Account) (checkAccount ?Check ?Account))) |
FinancialOntology.kif 101-104 | If X is an instance of check, then there exists Y such that Y is a check account of X |
|