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 4959-4960
(
domain
RadiusFn
1
Circle
)
Mid-level-ontology.kif 4963-4963
半径
的 1 数量 是
圈
的
instance
(
instance
RadiusFn
TotalValuedRelation
)
Mid-level-ontology.kif 4962-4962
半径
是
总值关系
的
instance
(
instance
RadiusFn
UnaryFunction
)
Mid-level-ontology.kif 4961-4961
半径
是
一元函数
的
instance
(
range
RadiusFn
LengthMeasure
)
Mid-level-ontology.kif 4964-4964
半径
的
range
是
长度测量
的实例
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
consequent
(=>
(
and
(
equal
(
CenterOfCircleFn
?C) ?P)
(
pointOfFigure
?P2 ?C)
(
geometricDistance
?P2 ?P ?R))
(
equal
(
RadiusFn
?C) ?R))
Mid-level-ontology.kif 4966-4971
如果 圆
圈
的
center
equal
几何点
和
那个 几何点
2 是
那个 圈
的顶点 和
那个 几何点
2 是 对于
长度测量
的
geometric
距离
那个 几何点
,
然后
那个 圈
的
radius
equal
那个 长度测量
(=>
(
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 4952-4957
如果
圈
的
diameter
equal
实数
测量单位
,
然后 有存在
另一个 实数
这样
那个 圈
的
radius
equal
那个 另外 实数
那个 测量单位
和
那个 另外 实数
和 2.0
equal
那个 实数
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