Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - statementPeriod
statementPeriod

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