| appearance as argument number 1 |
|
| s__documentation(s__statementPeriod__m,s__EnglishLanguage,'"(statementPeriod ?Statement ?Period) means that ?Period is the time period of the BankStatement ?Statement."')
|
FinancialOntology.kif 3904-3905 | |
| s__domain(s__statementPeriod__m,n__1,s__BankStatement)
|
FinancialOntology.kif 3902-3902 | The number 1 argument of statement period is an instance of bank statement |
| s__domain(s__statementPeriod__m,n__2,s__TimeInterval)
|
FinancialOntology.kif 3903-3903 | The number 2 argument of statement period is an instance of time interval |
| s__instance(s__BinaryPredicate,s__SetOrClass) s__instance(s__statementPeriod__m,s__BinaryPredicate)
|
FinancialOntology.kif 3901-3901 | statement period is an instance of binary predicate |
| appearance as argument number 2 |
|
|
| s__format(s__ChineseLanguage,s__statementPeriod__m,'"%2 %n 是 %1 的 statement 周期"')
|
domainEnglishFormat.kif 2355-2355 | |
| s__format(s__ChineseTraditionalLanguage,s__statementPeriod__m,'"%2 %n 是 %1 的 statement 週期"')
|
domainEnglishFormat.kif 2354-2354 | |
| s__format(s__EnglishLanguage,s__statementPeriod__m,'"%2 is %n a statement period of %1"')
|
domainEnglishFormat.kif 2353-2353 | |
| s__termFormat(s__ChineseLanguage,s__statementPeriod__m,'"声明期"')
|
domainEnglishFormat.kif 55033-55033 | |
| s__termFormat(s__ChineseTraditionalLanguage,s__statementPeriod__m,'"聲明期"')
|
domainEnglishFormat.kif 55032-55032 | |
| s__termFormat(s__EnglishLanguage,s__statementPeriod__m,'"statement period"')
|
domainEnglishFormat.kif 55031-55031 |
| antecedent |
|
|
| ( ! [V__Period,V__Interest,V__Account,V__Statement] : ((s__instance(V__Period,s__TimeInterval) & s__instance(V__Interest,s__Interest) & s__instance(V__Account,s__FinancialAccount) & s__instance(V__Statement,s__BankStatement)) => (s__statementInterest(V__Statement,V__Interest) & s__statementPeriod(V__Statement,V__Period) & s__statementAccount(V__Statement,V__Account)) => s__interestEarned(V__Account,V__Interest,V__Period) ) )
|
FinancialOntology.kif 3925-3930 |
|
| ( ! [V__Period,V__Date,V__Statement] : ((s__instance(V__Period,s__TimeInterval) & s__instance(V__Date,s__Day) & s__instance(V__Statement,s__BankStatement)) => (s__statementPeriod(V__Statement,V__Period) & s__dateOfStatement(V__Statement,V__Date)) => s__finishes(V__Date,V__Period) ) )
|
FinancialOntology.kif 3913-3917 |
|
| ( ! [V__Period,V__Duration,V__Statement] : ((s__instance(V__Period,s__TimeInterval) & s__instance(V__Duration,s__TimeDuration) & s__instance(V__Statement,s__BankStatement)) => (s__statementPeriod(V__Statement,V__Period) & s__duration(V__Period,V__Duration)) => (V__Duration = s__MonthDuration) ) )
|
FinancialOntology.kif 3907-3911 |
|
|
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners