TreeView Knowledge Base Browser

appearance as argument number 1

(documentation ExponentiationFn ChineseLanguage "(ExponentiationFn ?NUMBER ?INT)交出 RealNumber ?NUMBER 的 Integer ?INT次方。")	Merge.kif 4970-4971
(documentation ExponentiationFn EnglishLanguage "(ExponentiationFn ?NUMBER ?INT) returns the RealNumber ?NUMBER raised to the power of the Integer ?INT.")	Merge.kif 4968-4969
(domain ExponentiationFn 1 RealNumber)	Merge.kif 4965-4965
(domain ExponentiationFn 2 Integer)	Merge.kif 4966-4966
(instance ExponentiationFn BinaryFunction)	Merge.kif 4962-4962
(instance ExponentiationFn TotalValuedRelation)	Merge.kif 4964-4964
(range ExponentiationFn RealNumber)	Merge.kif 4967-4967

appearance as argument number 2

(format ChineseLanguage ExponentiationFn "%1 %2 的次幂")	chinese_format.kif 696-696
(format EnglishLanguage ExponentiationFn "%1 raised to the power %2")	english_format.kif 432-432
(format FrenchLanguage ExponentiationFn "%1 �lev� � la puissance %2")	french_format.kif 421-421
(format ItalianLanguage ExponentiationFn "%1 elevato a potenza %2")	relations-it.txt 104-104
(format PortugueseLanguage ExponentiationFn "%1 elevado a potencia %2")	portuguese_format.kif 373-373
(format de ExponentiationFn "%1 in der %2te Potenz")	relations-de.txt 909-909
(format hi ExponentiationFn "%1 %2 kaa charaghaataanka")	relations-hindi.txt 144-144
(termFormat ChineseLanguage ExponentiationFn "次幂函数")	chinese_format.kif 697-697
(termFormat EnglishLanguage ExponentiationFn "exponentiation")	domainEnglishFormat.kif 4234-4234

antecedent

(=>
    (and
        (principalAmount ?Account ?Balance)
        (fixedInterestRate ?Account ?Rate)
        (compoundInterest ?Account ?Interest ?Period)
        (equal ?Rate-Decimal
            (DivisionFn ?Rate 100))
        (equal ?Add
            (AdditionFn 1 ?Rate-Decimal))
        (equal ?Exponent
            (ExponentiationFn ?Add
                (MagnitudeFn ?Period)))
        (equal ?Multiply
            (MultiplicationFn ?Exponent ?Balance)))
    (equal ?Interest
        (SubtractionFn ?Multiply ?Balance)))

FinancialOntology.kif 532-541

consequent

(=>
    (instance ?NUMBER Integer)
    (equal
        (ReciprocalFn ?NUMBER)
        (ExponentiationFn ?NUMBER -1)))

Merge.kif 5225-5227

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: