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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Pi
Pi, پي, Pi, PiGreco, paaii, pi, 圆周率

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


(documentation Pi ChineseLanguage "Pi 是一个 RealNumber,它是圆圈的圆周和直径的比率,大约等于 3.141592653589793。") Merge.kif 5183-5184
(documentation Pi EnglishLanguage "Pi is the RealNumber that is the ratio of the perimeter of a circle to its diameter. It is approximately equal to 3.141592653589793.") Merge.kif 5180-5182
(instance Pi PositiveRealNumber) Merge.kif 5179-5179

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


(termFormat ChineseLanguage Pi "圆周率") chinese_format.kif 945-945
(termFormat EnglishLanguage Pi "pi") english_format.kif 632-632
(termFormat FrenchLanguage Pi "pi") french_format.kif 621-621
(termFormat Hindi Pi "paaii") terms-hindi.txt 152-152
(termFormat ItalianLanguage Pi "PiGreco") terms-it.txt 153-153
(termFormat PortugueseLanguage Pi "Pi") portuguese_format.kif 573-573
(termFormat ar Pi "پي") arabic_format.kif 357-357
(termFormat cz Pi "pi") terms-cz.txt 189-189
(termFormat tg Pi "") terms-tg.txt 156-156

statement
-------------------------


(equal
    (MeasureFn ?NUMBER AngularDegree)
    (MeasureFn
        (MultiplicationFn ?NUMBER
            (DivisionFn Pi 180.0)) Radian))
Merge.kif 7634-7636


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