Browsing Interface
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
RadiusFn
Sigma KEE - RadiusFn
RadiusFn
appearance as argument number 1
(
documentation
RadiusFn
EnglishLanguage
"(RadiusFn ?CIRCLE) denotes the length of the radius of the
Circle
?CIRCLE.")
Mid-level-ontology.kif 4931-4932
(
domain
RadiusFn
1
Circle
)
Mid-level-ontology.kif 4935-4935
The number 1 argument of
radius
is an
instance
of
circle
(
instance
RadiusFn
TotalValuedRelation
)
Mid-level-ontology.kif 4934-4934
Radius
is an
instance
of
total valued relation
(
instance
RadiusFn
UnaryFunction
)
Mid-level-ontology.kif 4933-4933
Radius
is an
instance
of
unary function
(
range
RadiusFn
LengthMeasure
)
Mid-level-ontology.kif 4936-4936
The
range
of
radius
is an instance of
length measure
appearance as argument number 2
(
format
ChineseLanguage
RadiusFn
"%1 的
radius
")
domainEnglishFormat.kif 2095-2095
(
format
ChineseTraditionalLanguage
RadiusFn
"%1 的
radius
")
domainEnglishFormat.kif 2094-2094
(
format
EnglishLanguage
RadiusFn
"the
radius
of %1")
domainEnglishFormat.kif 2093-2093
(
termFormat
ChineseLanguage
RadiusFn
"半径")
domainEnglishFormat.kif 48596-48596
(
termFormat
ChineseTraditionalLanguage
RadiusFn
"半徑")
domainEnglishFormat.kif 48595-48595
(
termFormat
EnglishLanguage
RadiusFn
"radius")
domainEnglishFormat.kif 48594-48594
consequent
(=>
(
and
(
equal
(
CenterOfCircleFn
?C) ?P)
(
pointOfFigure
?P2 ?C)
(
geometricDistance
?P2 ?P ?R))
(
equal
(
RadiusFn
?C) ?R))
Mid-level-ontology.kif 4938-4943
If the
center
of circle of
a circle
is
equal
to
a geometric point
and
the geometric point
2 is a
vertex
of
the circle
and
the geometric point
2 is
geometric
distance
the geometric point
for
a length measure
,
then the
radius
of
the circle
is
equal
to
the length measure
(=>
(
equal
(
DiameterFn
?C)
(
MeasureFn
?L ?U))
(
exists
(?R)
(
and
(
equal
(
RadiusFn
?C)
(
MeasureFn
?R ?U))
(
equal
(
MultiplicationFn
?R 2.0) ?L))))
Mid-level-ontology.kif 4924-4929
If the
diameter
of
a circle
is
equal
to
a real number
an unit of measure
(s),
then there exists
another real number
such that the
radius
of
the circle
is
equal
to
the other real number
the unit of measure
(s) and
the other real number
and 2.0 is
equal
to
the real number
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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
RadiusFn