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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Pi
Pi(pi)pi

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


(documentation Pi ChineseLanguage "Pi 是一个 RealNumber,它是圆圈的圆周和直径的比率,大约等于 3.141592653589793。") chinese_format.kif 2255-2256
(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 5045-5047
(documentation Pi JapaneseLanguage "Pi は、円の周囲の直径に対する比率である RealNumber である。これは、3.141592653589793 とほぼ同じである。") japanese_format.kif 919-920
(instance Pi PositiveRealNumber) Merge.kif 5043-5043 Pi is an instance of positive real number

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


(termFormat ChineseLanguage Pi "圆周率") chinese_format.kif 945-945
(termFormat EnglishLanguage Pi "pi") english_format.kif 1097-1097
(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 155-155
(termFormat JapaneseLanguage Pi "パイ") japanese_format.kif 2306-2306
(termFormat PortugueseLanguage Pi "Pi") portuguese_format.kif 573-573
(termFormat cz Pi "pi") terms-cz.txt 189-189
(termFormat ro Pi "pi") relations-ro.kif 642-642
(termFormat tg Pi "") terms-tg.txt 156-156

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


(equal
    (MeasureFn ?NUMBER AngularDegree)
    (MeasureFn
        (MultiplicationFn ?NUMBER
            (DivisionFn Pi 180.0)) Radian))
Merge.kif 7368-7370 A real number angular degree(s) is equal to the real number and pi and 180.0 radian(s)


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