Browsing Interface
: Welcome guest :
log in
[
Home

Graph
 ]
KB:
SUMO
Language:
AlbanianLanguage
ArabicLanguage
BasqueLanguage
BulgarianLanguage
CatalanLanguage
ChineseLanguage
ChineseTraditionalLanguage
CroatianLanguage
DanishLanguage
Defrauding
EnglishLanguage
FarsiLanguage
FinnishLanguage
FrenchLanguage
GalicianLanguage
GermanLanguage
GreekLanguage
Haboob
HebrewLanguage
IcelandicLanguage
IndonesianLanguage
ItalianLanguage
JapaneseLanguage
MalayLanguage
NorwegianBokmalLanguage
NorwegianNorskLanguage
PolishLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
TaiwanChineseLanguage
ThaiLanguage
Formal Language:
OWL
SUOKIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
Sigma KEE  Pi
Pi
(pi)
pi
,
パイ
,
圆周率
appearance as argument number 1
(
documentation
Pi
ChineseLanguage
"
Pi
是一个
RealNumber
，它是圆圈的圆周和直径的比率，大约等于 3.141592653589793。")
chinese_format.kif 22552256
(
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 47024704
(
instance
Pi
PositiveRealNumber
)
Merge.kif 47004700
Pi
is an
instance
of
positive real number
appearance as argument number 2
(
termFormat
ChineseLanguage
Pi
"圆周率")
chinese_format.kif 945945
"圆周率" is the
printable
form
of
pi
in
ChineseLanguage
(
termFormat
EnglishLanguage
Pi
"pi")
english_format.kif 11021102
"pi" is the
printable
form
of
pi
in
english language
statement
(
equal
(
MeasureFn
?NUMBER
AngularDegree
)
(
MeasureFn
(
MultiplicationFn
?NUMBER
(
DivisionFn
Pi
180.0))
Radian
))
Merge.kif 69446946
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 2.99c (>= 2017/11/20) is
open source software
produced by
Articulate Software
and its partners