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 4953-4954
(
domain
RadiusFn
1
Object
)
Mid-level-ontology.kif 4957-4957
Die Zahl 1 Argument von
RadiusFn
ist ein
fall
von
Object
%n{nicht}
(
instance
RadiusFn
TotalValuedRelation
)
Mid-level-ontology.kif 4956-4956
RadiusFn
ist ein
fall
von
TotalValuedRelation
%n{nicht}
(
instance
RadiusFn
UnaryFunction
)
Mid-level-ontology.kif 4955-4955
RadiusFn
ist ein
fall
von
UnaryFunction
%n{nicht}
(
range
RadiusFn
LengthMeasure
)
Mid-level-ontology.kif 4958-4958
bildbereich
von
RadiusFn
ist ein fall von
LengthMeasure
{nicht}
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 48584-48584
(
termFormat
ChineseTraditionalLanguage
RadiusFn
"半徑")
domainEnglishFormat.kif 48583-48583
(
termFormat
EnglishLanguage
RadiusFn
"radius")
domainEnglishFormat.kif 48582-48582
antecedent
(=>
(
equal
?L
(
RadiusFn
?C))
(
shape
?C
Circle
))
Mid-level-ontology.kif 4967-4970
Wenn
LengthMeasure
ist gleich
RadiusFn
Object
%n{nicht},
dann
shape
** Object
and
Circle
consequent
(=>
(
and
(
equal
(
CenterOfCircleFn
?C) ?P)
(
pointOfFigure
?P2 ?C)
(
geometricDistance
?P2 ?P ?R))
(
equal
(
RadiusFn
?C) ?R))
Mid-level-ontology.kif 4960-4965
Wenn
CenterOfCircleFn
Object
ist gleich
GeometricPoint
%n{nicht} und
pointOfFigure
** GeometricPoint
2 and
** Object
und
geometricDistance
** GeometricPoint
2,
** GeometricPoint
and
LengthMeasure
,
dann
RadiusFn
** Object
ist gleich
** LengthMeasure
%n{nicht}
(=>
(
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 4941-4946
Wenn
DiameterFn
Object
ist gleich
RealNumber
UnitOfMeasure
(s) %n{nicht},
dann es gibt
** RealNumber
um
RadiusFn
** Object
ist gleich
** ** RealNumber
** UnitOfMeasure
(s) %n{nicht} und
** ** RealNumber
und 2.0 ist gleich
** RealNumber
%n{nicht}
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