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次方。") chinese_format.kif 2232-2233
(documentation ExponentiationFn EnglishLanguage "(ExponentiationFn ?NUMBER ?INT) returns the RealNumber ?NUMBER raised to the power of the Integer ?INT.") Merge.kif 4758-4759
(domain ExponentiationFn 1 RealNumber) Merge.kif 4754-4754
(domain ExponentiationFn 2 Integer) Merge.kif 4755-4755
(instance ExponentiationFn BinaryFunction) Merge.kif 4751-4751
(instance ExponentiationFn TotalValuedRelation) Merge.kif 4753-4753
(range ExponentiationFn RealNumber) Merge.kif 4756-4756

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 698-698
(termFormat ChineseLanguage ExponentiationFn "幂") domainEnglishFormat.kif 22868-22868
(termFormat ChineseLanguage ExponentiationFn "次幂函数") chinese_format.kif 697-697
(termFormat ChineseTraditionalLanguage ExponentiationFn "冪") domainEnglishFormat.kif 22867-22867
(termFormat EnglishLanguage ExponentiationFn "exponentiation") domainEnglishFormat.kif 22866-22866

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


(=>
    (instance ?NUMBER Integer)
    (equal
        (ReciprocalFn ?NUMBER)
        (ExponentiationFn ?NUMBER -1)))
Merge.kif 5017-5019


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 3.0 is open source software produced by Articulate Software and its partners