statementPeriod |
appearance as argument number 1 |
(documentation statementPeriod EnglishLanguage "(statementPeriod ?Statement ?Period) means that ?Period is the time period of the BankStatement ?Statement.") | FinancialOntology.kif 4061-4062 | |
(domain statementPeriod 1 BankStatement) | FinancialOntology.kif 4059-4059 | O argumento numero 1 de statementPeriod e' uma instancia de BankStatement |
(domain statementPeriod 2 TimeInterval) | FinancialOntology.kif 4060-4060 | O argumento numero 2 de statementPeriod e' uma instancia de Intervalo Temporal |
(instance statementPeriod BinaryPredicate) | FinancialOntology.kif 4058-4058 | statementPeriod e' uma instancia de Predicado Binario |
appearance as argument number 2 |
(format ChineseLanguage statementPeriod "%2 %n 是 %1 的 statement 周期") | domainEnglishFormat.kif 2359-2359 | |
(format ChineseTraditionalLanguage statementPeriod "%2 %n 是 %1 的 statement 週期") | domainEnglishFormat.kif 2358-2358 | |
(format EnglishLanguage statementPeriod "%2 is %n a statement period of %1") | domainEnglishFormat.kif 2357-2357 | |
(termFormat ChineseLanguage statementPeriod "声明期") | domainEnglishFormat.kif 55142-55142 | |
(termFormat ChineseTraditionalLanguage statementPeriod "聲明期") | domainEnglishFormat.kif 55141-55141 | |
(termFormat EnglishLanguage statementPeriod "statement period") | domainEnglishFormat.kif 55140-55140 |
antecedent |
(=> (and (statementInterest ?Statement ?Interest) (statementPeriod ?Statement ?Period) (statementAccount ?Statement ?Account)) (interestEarned ?Account ?Interest ?Period)) |
FinancialOntology.kif 4082-4087 | |
(=> (and (statementPeriod ?Statement ?Period) (dateOfStatement ?Statement ?Date)) (finishes ?Date ?Period)) |
FinancialOntology.kif 4070-4074 | |
(=> (and (statementPeriod ?Statement ?Period) (duration ?Period ?Duration)) (equal ?Duration MonthDuration)) |
FinancialOntology.kif 4064-4068 |