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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ReciprocalFn
ReciprocalFn

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


(documentation ReciprocalFn ChineseLanguage "(ReciprocalFn ?NUMBER) 是相对于乘法运算 (MultiplicationFn),?NUMBER 的乘法逆元素(倒数),即是 1/ ?NUMBER。不是所有的数字都有倒数的, 比如说数字0就没有。如果一个数字 ?NUMBER有倒数 ?RECIP的话,那么 ?NUMBER 和 ?RECIP 的积会是1, 例如:3*1/ 3 = 1。一个元素的倒数 equal 对那个元素以-1的次方,应用 ExponentiationFn 函数。") chinese_format.kif 2263-2266
(documentation ReciprocalFn EnglishLanguage "(ReciprocalFn ?NUMBER) is the reciprocal element of ?NUMBER with respect to the multiplication operator (MultiplicationFn), i.e. 1/ ?NUMBER. Not all numbers have a reciprocal element. For example the number 0 does not. If a number ?NUMBER has a reciprocal ?RECIP, then the product of ?NUMBER and ?RECIP will be 1, e.g. 3*1/ 3 = 1. The reciprocal of an element is equal to applying the ExponentiationFn function to the element to the power -1.") Merge.kif 4731-4738
(domain ReciprocalFn 1 RealNumber) Merge.kif 4728-4728 domain ReciprocalFn, 1 and RealNumber
(instance ReciprocalFn TotalValuedRelation) Merge.kif 4727-4727 instance ReciprocalFn and TotalValuedRelation
(instance ReciprocalFn UnaryFunction) Merge.kif 4725-4725 instance ReciprocalFn and UnaryFunction
(range ReciprocalFn RealNumber) Merge.kif 4729-4729 range ReciprocalFn and RealNumber

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


(format ChineseLanguage ReciprocalFn "%1 的倒数") chinese_format.kif 720-720
(format EnglishLanguage ReciprocalFn "the reciprocal of %1") english_format.kif 725-725
(termFormat ChineseLanguage ReciprocalFn "倒数") domainEnglishFormat.kif 48901-48901 termFormat ChineseLanguage, ReciprocalFn and "倒数"
(termFormat ChineseLanguage ReciprocalFn "倒数函数") chinese_format.kif 721-721 termFormat ChineseLanguage, ReciprocalFn and "倒数函数"
(termFormat ChineseTraditionalLanguage ReciprocalFn "互相") domainEnglishFormat.kif 48900-48900 termFormat ChineseTraditionalLanguage, ReciprocalFn and "互相"
(termFormat EnglishLanguage ReciprocalFn "互相") domainEnglishFormat.kif 48899-48899 termFormat EnglishLanguage, ReciprocalFn and "互相"

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


(=>
    (and
        (instance ?NUMBER Integer)
        (not
            (equal ?NUMBER 0)))
    (equal 1
        (MultiplicationFn ?NUMBER
            (ReciprocalFn ?NUMBER))))
Merge.kif 4744-4749
(=>
    (instance ?NUMBER Integer)
    (equal
        (ReciprocalFn ?NUMBER)
        (ExponentiationFn ?NUMBER -1)))
Merge.kif 4740-4742


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners