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
-------------------------


(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 4794-4795
(domain ExponentiationFn 1 RealNumber) Merge.kif 4790-4790 domain ExponentiationFn, 1 and RealNumber
(domain ExponentiationFn 2 Integer) Merge.kif 4791-4791 domain ExponentiationFn, 2 and Integer
(instance ExponentiationFn BinaryFunction) Merge.kif 4787-4787 instance ExponentiationFn and BinaryFunction
(instance ExponentiationFn TotalValuedRelation) Merge.kif 4789-4789 instance ExponentiationFn and TotalValuedRelation
(range ExponentiationFn RealNumber) Merge.kif 4792-4792 range ExponentiationFn and RealNumber

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 22864-22864
(termFormat ChineseLanguage ExponentiationFn "次幂函数") chinese_format.kif 697-697
(termFormat ChineseTraditionalLanguage ExponentiationFn "冪") domainEnglishFormat.kif 22863-22863
(termFormat EnglishLanguage ExponentiationFn "exponentiation") domainEnglishFormat.kif 22862-22862

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


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


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