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
sphereRadius
Sigma KEE - sphereRadius
sphereRadius
appearance as argument number 1
(
documentation
sphereRadius
EnglishLanguage
"(
sphereRadius
?OBJECT ?LENGTH) means the radius of the spherical
Object
, ?OBJECT, is ?LENGTH.")
Mid-level-ontology.kif 13445-13446
(
domain
sphereRadius
1
Object
)
Mid-level-ontology.kif 13443-13443
域
sphereRadius
, 1 and
Object
(
domain
sphereRadius
2
LengthMeasure
)
Mid-level-ontology.kif 13444-13444
域
sphereRadius
, 2 and
LengthMeasure
(
instance
sphereRadius
BinaryPredicate
)
Mid-level-ontology.kif 13442-13442
例
sphereRadius
and
BinaryPredicate
appearance as argument number 2
(
format
ChineseLanguage
sphereRadius
"%1 的
radius
是 %2 ")
domainEnglishFormat.kif 4590-4590
(
format
ChineseTraditionalLanguage
sphereRadius
"%1 的
radius
是 %2 ")
domainEnglishFormat.kif 4589-4589
(
format
EnglishLanguage
sphereRadius
"the
radius
of %1 is %2")
domainEnglishFormat.kif 4588-4588
(
termFormat
EnglishLanguage
sphereRadius
"sphere radius")
Mid-level-ontology.kif 13447-13447
antecedent
(=>
(
and
(
approximateDiameter
?O
(
MeasureFn
?L ?LM))
(
sphereRadius
?S
(
MeasureFn
(
DivisionFn
?L 2.0) ?LM))
(
measure
?S
(
MeasureFn
?V1 ?VM))
(
measure
?O
(
MeasureFn
?V2 ?VM))
(
instance
?LM
UnitOfLength
)
(
instance
?VM
UnitOfVolume
))
(
equal
?V1 ?V2))
Mid-level-ontology.kif 17948-17959
SelfConnectedObject
的
approximate
diameter
是
測量
RealNumber
and
RealNumber
M
Object
的
radius
是
測量
部
RealNumber
and 2.0 and
RealNumber
M
測量
Object
and
測量
RealNumber
and
UnitOfMeasure
測量
SelfConnectedObject
and
測量
RealNumber
and
UnitOfMeasure
例
RealNumber
M and
UnitOfLength
例
UnitOfMeasure
and
UnitOfVolume
等於
RealNumber
and
RealNumber
consequent
(=>
(
and
(
defaultMaximumSphereRadius
?OBJECT
(
MeasureFn
?R ?U))
(
instance
?INST ?OBJECT)
(
attribute
?INST
Sphere
))
(
modalAttribute
(
exists
(?RADIUS)
(
and
(
sphereRadius
?INST
(
MeasureFn
?RADIUS ?U))
(
greaterThan
?RADIUS ?R)))
Unlikely
))
Mid-level-ontology.kif 13486-13497
Object
的
maximum
預期半徑是
測量
RealNumber
and
UnitOfMeasure
例
Object
and
Object
attribute
Object
and
球
模態屬性
RealNumber
ADIUS
Object
的
radius
是
測量
RealNumber
ADIUS and
UnitOfMeasure
比較多
RealNumber
ADIUS and
RealNumber
and
較不可能
(=>
(
and
(
defaultMinimumSphereRadius
?OBJECT
(
MeasureFn
?R ?U))
(
instance
?INST ?OBJECT)
(
attribute
?INST
Sphere
))
(
modalAttribute
(
exists
(?RADIUS)
(
and
(
sphereRadius
?INST
(
MeasureFn
?RADIUS ?U))
(
lessThan
?RADIUS ?R)))
Unlikely
))
Mid-level-ontology.kif 13467-13477
Object
的
minimum
預期半徑是
測量
RealNumber
and
UnitOfMeasure
例
Object
and
Object
attribute
Object
and
球
模態屬性
RealNumber
ADIUS
Object
的
radius
是
測量
RealNumber
ADIUS and
UnitOfMeasure
少於
RealNumber
ADIUS and
RealNumber
and
較不可能
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