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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ExponentiationFn
ExponentiationFn

appearance as argument number 1
-------------------------


s__documentation(s__ExponentiationFn__m,s__ChineseLanguage,'"(ExponentiationFn ?NUMBER ?INT)交出 RealNumber ?NUMBER 的 Integer ?INT次方。"')

chinese_format.kif 2232-2233
s__documentation(s__ExponentiationFn__m,s__EnglishLanguage,'"(ExponentiationFn ?NUMBER ?INT) returns the RealNumber ?NUMBER raised to the power of the Integer ?INT."')

Merge.kif 4650-4651
s__domain(s__ExponentiationFn__m,n__1,s__RealNumber)

Merge.kif 4646-4646 The number 1 argument of exponentiation is an instance of real number
s__domain(s__ExponentiationFn__m,n__2,s__Integer)

Merge.kif 4647-4647 The number 2 argument of exponentiation is an instance of integer
s__instance(s__BinaryFunction,s__SetOrClass)

s__instance(s__ExponentiationFn__m,s__BinaryFunction)

Merge.kif 4643-4643 Exponentiation is an instance of binary function
s__instance(s__TotalValuedRelation,s__SetOrClass)

s__instance(s__ExponentiationFn__m,s__TotalValuedRelation)

Merge.kif 4645-4645 Exponentiation is an instance of total valued relation
s__range(s__ExponentiationFn__m,s__RealNumber)

Merge.kif 4648-4648 The range of exponentiation is an instance of real number

appearance as argument number 2
-------------------------


s__format(s__ChineseLanguage,s__ExponentiationFn__m,'"%1 %2 的次幂"')

chinese_format.kif 696-696
s__format(s__EnglishLanguage,s__ExponentiationFn__m,'"%1 raised to the power %2"')

english_format.kif 701-701
s__termFormat(s__ChineseLanguage,s__ExponentiationFn__m,'"幂"')

domainEnglishFormat.kif 22869-22869
s__termFormat(s__ChineseLanguage,s__ExponentiationFn__m,'"次幂函数"')

chinese_format.kif 697-697
s__termFormat(s__ChineseTraditionalLanguage,s__ExponentiationFn__m,'"冪"')

domainEnglishFormat.kif 22868-22868
s__termFormat(s__EnglishLanguage,s__ExponentiationFn__m,'"exponentiation"')

domainEnglishFormat.kif 22867-22867

antecedent
-------------------------


( ! [V__Period,V__Rate,V__Balance,V__Account,V__Interest,V__Multiply,V__Exponent,V__Rate_Decimal,V__Add] :
   (((s__instance(V__Period,s__TimeInterval) &
         s__instance(V__Rate,s__Number) &
         s__instance(V__Balance,s__Number) &
         s__instance(V__Balance,s__CurrencyMeasure) &
         s__instance(V__Account,s__FinancialAccount) &
         s__instance(V__Interest,s__Interest) &
         s__instance(V__Interest,s__Number) &
         s__instance(V__Multiply,s__Number) &
         s__instance(V__Exponent,s__RealNumber) &
         s__instance(V__Rate_Decimal,s__Number) &
         s__instance(V__Add,s__RealNumber))
       =>
       (((s__principalAmount(V__Account,V__Balance)
           &
           s__fixedInterestRate(V__Account,V__Rate)
         &
         s__compoundInterest(V__Account,V__Interest,V__Period)
       &
       (V__Rate_Decimal = s__DivisionFn(V__Rate,n__100))
     &
     (V__Add = s__AdditionFn(n__1,V__Rate_Decimal))
   &
   (V__Exponent = s__ExponentiationFn(V__Add,s__MagnitudeFn(V__Period)))
&
(V__Multiply = s__MultiplicationFn(V__Exponent,V__Balance)))
=>
((V__Interest = s__SubtractionFn(V__Multiply,V__Balance))))))
)
)

FinancialOntology.kif 532-541

consequent
-------------------------


( ! [V__NUMBER] :
   ((s__instance(V__NUMBER,s__Integer) =>
       ((s__ReciprocalFn(V__NUMBER)
         = s__ExponentiationFn(V__NUMBER,n___1))))
)
)

Merge.kif 4886-4888


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