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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ExponentiationFn

Sigma KEE - ExponentiationFn
ExponentiationFn

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)

Show without tree


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