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
Champagne
Sigma KEE - approximateDiameter
approximateDiameter
appearance as argument number 1
(
documentation
approximateDiameter
ChineseLanguage
"这是假设一个为和它体积相同的完美球体的直径。")
Mid-level-ontology.kif 17963-17963
(
documentation
approximateDiameter
EnglishLanguage
"The diameter of an object if it were a perfect sphere of the same volume")
Mid-level-ontology.kif 17961-17962
(
domain
approximateDiameter
1
SelfConnectedObject
)
Mid-level-ontology.kif 17968-17968
O argumento numero 1 de
approximateDiameter
e' uma
instancia
de
Objeto auto-conectado
(
domain
approximateDiameter
2
LengthMeasure
)
Mid-level-ontology.kif 17969-17969
O argumento numero 2 de
approximateDiameter
e' uma
instancia
de
Medida de Comprimento
(
instance
approximateDiameter
BinaryPredicate
)
Mid-level-ontology.kif 17971-17971
approximateDiameter
e' uma
instancia
de
Predicado Binario
(
instance
approximateDiameter
SingleValuedRelation
)
Mid-level-ontology.kif 17972-17972
approximateDiameter
e' uma
instancia
de
Relacao com Valor Unico
(
instance
approximateDiameter
TotalValuedRelation
)
Mid-level-ontology.kif 17973-17973
approximateDiameter
e' uma
instancia
de
Relacao Total
appearance as argument number 2
(
format
ChineseLanguage
approximateDiameter
"1 的 approximate
diameter
是 %2 ")
domainEnglishFormat.kif 2818-2818
(
format
ChineseTraditionalLanguage
approximateDiameter
"%1 的 approximate
diameter
是 %2 ")
domainEnglishFormat.kif 2817-2817
(
format
EnglishLanguage
approximateDiameter
"the approximate
diameter
of %1 is %2")
domainEnglishFormat.kif 2816-2816
(
termFormat
ChineseLanguage
approximateDiameter
"近似直径")
Mid-level-ontology.kif 17966-17966
(
termFormat
EnglishLanguage
approximateDiameter
"approximate diameter")
Mid-level-ontology.kif 17965-17965
antecedent
(<=>
(
and
(
instance
?LD
LiquidDrop
)
(
approximateDiameter
?LD
(
MeasureFn
?S
Micrometer
))
(
lessThan
500.0 ?S))
(
instance
?LD
Droplet
))
Geography.kif 7524-7530
Objeto auto-conectado
e' uma
instancia
de
LiquidDrop
approximateDiameter
Objeto auto-conectado
and
Numero Real
Micrometer
(s) 500.0 e'
menos
que
Numero Real
Objeto auto-conectado
e' uma
instancia
de
Droplet
(<=>
(
and
(
instance
?PM
ParticulateMatter
)
(
part
?P ?PM)
(
approximateDiameter
?P
(
MeasureFn
?S
Micrometer
))
(
greaterThan
10.0 ?S)
(
greaterThan
?S 2.5))
(
exists
(?PM10)
(
and
(
instance
?PM10
CoarseParticulateMatter
)
(
part
?PM10 ?PM))))
Geography.kif 7440-7451
Objeto
e' uma
instancia
de
ParticulateMatter
Objeto auto-conectado
e' uma &parte de
Objeto
approximateDiameter
Objeto auto-conectado
and
Numero Real
Micrometer
(s) 10.0 e'
maior
que
Numero Real
Numero Real
e'
maior
que 2.5
Objeto
10
Objeto
10 e' uma
instancia
de
CoarseParticulateMatter
Objeto
10 e' uma &parte de
Objeto
(<=>
(
and
(
instance
?PM
ParticulateMatter
)
(
part
?P ?PM)
(
approximateDiameter
?P
(
MeasureFn
?S
Micrometer
))
(
greaterThanOrEqualTo
?S 2.5))
(
exists
(?PM25)
(
and
(
instance
?PM25
FineParticulateMatter
)
(
part
?PM25 ?PM))))
Geography.kif 7469-7479
Objeto
e' uma
instancia
de
ParticulateMatter
Objeto auto-conectado
e' uma &parte de
Objeto
approximateDiameter
Objeto auto-conectado
and
Numero Real
Micrometer
(s)
Numero Real
e'
maior
ou igual a 2.5
Objeto
25
Objeto
25 e' uma
instancia
de
FineParticulateMatter
Objeto
25 e' uma &parte de
Objeto
(=>
(
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
(=>
(
and
(
instance
?Particle
Boulder
)
(
approximateDiameter
?Particle
(
MeasureFn
?Size
Millimeter
)))
(
greaterThan
?Size 256.0))
Geography.kif 7311-7316
Objeto auto-conectado
e' uma
instancia
de
Boulder
approximateDiameter
Objeto auto-conectado
and
Numero Real
Millimeter
(s)
Numero Real
e'
maior
que 256.0
(=>
(
and
(
instance
?Particle
Cobble
)
(
approximateDiameter
?Particle
(
MeasureFn
?Size
Millimeter
)))
(
and
(
greaterThan
256.0 ?Size)
(
greaterThan
?Size 64.0)))
Geography.kif 7288-7295
Objeto auto-conectado
e' uma
instancia
de
Cobble
approximateDiameter
Objeto auto-conectado
and
Numero Real
Millimeter
(s)
256.0 e'
maior
que
Numero Real
Numero Real
e'
maior
que 64.0
(=>
(
and
(
instance
?Particle
Pebble
)
(
approximateDiameter
?Particle
(
MeasureFn
?Size
Millimeter
)))
(
and
(
greaterThan
64.0 ?Size)
(
greaterThan
?Size 2.0)))
Geography.kif 7265-7272
Objeto auto-conectado
e' uma
instancia
de
Pebble
approximateDiameter
Objeto auto-conectado
and
Numero Real
Millimeter
(s)
64.0 e'
maior
que
Numero Real
Numero Real
e'
maior
que 2.0
(=>
(
and
(
part
?Particle ?Soil)
(
instance
?Soil
Clay
)
(
approximateDiameter
?Particle
(
MeasureFn
?Size
Millimeter
)))
(
and
(
greaterThan
0.004 ?Size)
(
greaterThan
?Size 0.001)))
Mid-level-ontology.kif 17999-18007
Objeto auto-conectado
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Clay
approximateDiameter
Objeto auto-conectado
and
Numero Real
Millimeter
(s)
0.004 e'
maior
que
Numero Real
Numero Real
e'
maior
que 0.001
(=>
(
and
(
part
?Particle ?Soil)
(
instance
?Soil
Sand
)
(
approximateDiameter
?Particle
(
MeasureFn
?Size
Millimeter
)))
(
and
(
greaterThan
2.0 ?Size)
(
greaterThan
?Size 0.062)))
Geography.kif 4375-4383
Objeto auto-conectado
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Sand
approximateDiameter
Objeto auto-conectado
and
Numero Real
Millimeter
(s)
2.0 e'
maior
que
Numero Real
Numero Real
e'
maior
que 0.062
(=>
(
and
(
part
?Particle ?Soil)
(
instance
?Soil
Silt
)
(
approximateDiameter
?Particle
(
MeasureFn
?Size
Millimeter
)))
(
and
(
greaterThan
0.062 ?Size)
(
greaterThan
?Size 0.004)))
Geography.kif 4420-4428
Objeto auto-conectado
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Silt
approximateDiameter
Objeto auto-conectado
and
Numero Real
Millimeter
(s)
0.062 e'
maior
que
Numero Real
Numero Real
e'
maior
que 0.004
consequent
(=>
(
and
(
instance
?G
Grain
)
(
grainSize
?G ?L))
(
approximateDiameter
?G
(
MeasureFn
?L
UnitOfLength
)))
Food.kif 1083-1088
Objeto auto-conectado
e' uma
instancia
de
Grain
grainSize
Objeto auto-conectado
and
Numero Real
approximateDiameter
Objeto auto-conectado
and
Numero Real
UnitOfLength
(s)
(=>
(
and
(
memberMeasure
?S ?M ?Q)
(
instance
?S
Set
)
(
element
?O ?S))
(
approximateDiameter
?O ?Q))
Mid-level-ontology.kif 31211-31216
memberMeasure
Conjunto
,
MeasurementAttribute
and
Medida de Comprimento
Conjunto
e' uma
instancia
de
Conjunto
Objeto auto-conectado
e' um
elemento
de
Conjunto
approximateDiameter
Objeto auto-conectado
and
Medida de Comprimento
(=>
(
and
(
memberMeasure
?S
ApproximateDiameter
?Q)
(
instance
?S
Class
)
(
instance
?O ?S))
(
approximateDiameter
?O ?Q))
Mid-level-ontology.kif 31218-31223
memberMeasure
Classe
,
ApproximateDiameter
and
Medida de Comprimento
Classe
e' uma
instancia
de
Classe
Objeto auto-conectado
e' uma
instancia
de
Classe
approximateDiameter
Objeto auto-conectado
and
Medida de Comprimento
(=>
(
instance
?DRIZZLE
Drizzling
)
(
exists
(?CLTN ?R ?SIZE)
(
and
(
instance
?CLTN
Collection
)
(
instance
?R
Water
)
(
instance
?R
LiquidDrop
)
(
member
?R ?CLTN)
(
objectTransferred
?DRIZZLE ?CLTN)
(
approximateDiameter
?R
(
MeasureFn
?SIZE
Millimeter
))
(
modalAttribute
(
lessThanOrEqualTo
?SIZE 0.5)
Likely
))))
Weather.kif 2786-2798
Transferencia
e' uma
instancia
de
Drizzling
Colecao
Objeto auto-conectado
and
Numero Real
Colecao
e' uma
instancia
de
Colecao
Objeto auto-conectado
e' uma
instancia
de
Agua
Objeto auto-conectado
e' uma
instancia
de
LiquidDrop
Objeto auto-conectado
e'
membro
de
Colecao
objectTransferred
Transferencia
and
Colecao
approximateDiameter
Objeto auto-conectado
and
Numero Real
Millimeter
(s) o argumento
Numero Real
e'
menor
ou igual a 0.5 tem a
forca
modal
de
Likely
(=>
(
instance
?PM
ParticulateMatter
)
(
exists
(?P ?ATMOSPHERE ?S)
(
and
(
instance
?ATMOSPHERE
AtmosphericRegion
)
(
located
?PM ?ATMOSPHERE)
(
part
?P ?PM)
(
approximateDiameter
?P
(
MeasureFn
?S
Micrometer
))
(
greaterThan
1000.0 ?S))))
Geography.kif 7413-7422
Objeto
e' uma
instancia
de
ParticulateMatter
Objeto auto-conectado
Objeto
and
Numero Real
Objeto
e' uma
instancia
de
AtmosphericRegion
Objeto
e'
situado
em
Objeto
Objeto auto-conectado
e' uma &parte de
Objeto
approximateDiameter
Objeto auto-conectado
and
Numero Real
Micrometer
(s) 1000.0 e'
maior
que
Numero Real
(=>
(
instance
?Z
Colloid
)
(
exists
(?P ?S)
(
and
(
part
?P ?Z)
(
attribute
?P
Insoluble
)
(
approximateDiameter
?P
(
MeasureFn
?S
Nanometer
))
(
greaterThan
977.0 ?S)
(
greaterThan
?S 0.95))))
Mid-level-ontology.kif 21586-21595
Objeto
e' uma
instancia
de
Colloid
Objeto auto-conectado
Numero Real
Objeto auto-conectado
e' uma &parte de
Objeto
Insoluble
e' um
atributo
de
Objeto auto-conectado
approximateDiameter
Objeto auto-conectado
and
Numero Real
Nanometer
(s) 977.0 e'
maior
que
Numero Real
Numero Real
e'
maior
que 0.95
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