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 13472-13473
(
domain
sphereRadius
1
Object
)
Mid-level-ontology.kif 13470-13470
O argumento numero 1 de
sphereRadius
e' uma
instancia
de
Objeto
(
domain
sphereRadius
2
LengthMeasure
)
Mid-level-ontology.kif 13471-13471
O argumento numero 2 de
sphereRadius
e' uma
instancia
de
Medida de Comprimento
(
instance
sphereRadius
BinaryPredicate
)
Mid-level-ontology.kif 13469-13469
sphereRadius
e' uma
instancia
de
Predicado Binario
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 13474-13474
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 17975-17986
approximateDiameter
Objeto auto-conectado
and
Numero Real
Numero Real
M(s)
sphereRadius
Objeto
and
Numero Real
+ 2.0
Numero Real
M(s) a
medida
de
Objeto
e'
Numero Real
Unidade de Medida
(s) a
medida
de
Objeto auto-conectado
e'
Numero Real
Unidade de Medida
(s)
Numero Real
M e' uma
instancia
de
UnitOfLength
Unidade de Medida
e' uma
instancia
de
UnitOfVolume
Numero Real
e'
igual
a
Numero Real
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 13513-13524
defaultMaximumSphereRadius
Objeto
and
Numero Real
Unidade de Medida
(s)
Objeto
e' uma
instancia
de
Objeto
Sphere
e' um
atributo
de
Objeto
o argumento
Numero Real
ADIUS
sphereRadius
Objeto
and
Numero Real
ADIUS
Unidade de Medida
(s)
Numero Real
ADIUS e'
maior
que
Numero Real
tem a
forca
modal
de
Unlikely
(=>
(
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 13494-13504
defaultMinimumSphereRadius
Objeto
and
Numero Real
Unidade de Medida
(s)
Objeto
e' uma
instancia
de
Objeto
Sphere
e' um
atributo
de
Objeto
o argumento
Numero Real
ADIUS
sphereRadius
Objeto
and
Numero Real
ADIUS
Unidade de Medida
(s)
Numero Real
ADIUS e'
menos
que
Numero Real
tem a
forca
modal
de
Unlikely
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