| 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 | |
| (domain statementPeriod 2 TimeInterval) | FinancialOntology.kif 4060-4060 | |
| (instance statementPeriod BinaryPredicate) | FinancialOntology.kif 4058-4058 |
| 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 55175-55175 | |
| (termFormat ChineseTraditionalLanguage statementPeriod "聲明期") | domainEnglishFormat.kif 55174-55174 | |
| (termFormat EnglishLanguage statementPeriod "statement period") | domainEnglishFormat.kif 55173-55173 |
| 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 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners