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
approximateDiameter
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
The number 1 argument of
approximate diameter
is an
instance
of
self connected object
(
domain
approximateDiameter
2
LengthMeasure
)
Mid-level-ontology.kif 17969-17969
The number 2 argument of
approximate diameter
is an
instance
of
length measure
(
instance
approximateDiameter
BinaryPredicate
)
Mid-level-ontology.kif 17971-17971
approximate diameter
is an
instance
of
binary predicate
(
instance
approximateDiameter
SingleValuedRelation
)
Mid-level-ontology.kif 17972-17972
approximate diameter
is an
instance
of
single valued relation
(
instance
approximateDiameter
TotalValuedRelation
)
Mid-level-ontology.kif 17973-17973
approximate diameter
is an
instance
of
total valued relation
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
A self connected object
is an
instance
of
liquid drop
and the
approximate
diameter
of
the self connected object
is
a real number
micrometer
(s) and 500.0 is
less
than
the real number
if and only if
the self connected object
is an
instance
of
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
An object
is an
instance
of
PM
and
a self connected object
is a
part
of
the object
and the
approximate
diameter
of
the self connected object
is
a real number
micrometer
(s) and 10.0 is
greater
than
the real number
and
the real number
is
greater
than 2.5 if and only if there exists
the object
10 such that
the object
10 is an
instance
of
PM10
and
the object
10 is a
part
of
the object
(<=>
(
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
An object
is an
instance
of
PM
and
a self connected object
is a
part
of
the object
and the
approximate
diameter
of
the self connected object
is
a real number
micrometer
(s) and
the real number
is
greater
than or equal to 2.5 if and only if there exists
the object
25 such that
the object
25 is an
instance
of
PM2.5
and
the object
25 is a
part
of
the object
(=>
(
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
If the
approximate
diameter
of
a self connected object
is
a real number
the real number
M(s) and the
radius
of
an object
is
the real number
and 2.0
the real number
M(s) and the
measure
of
the object
is
another real number
another unit of measure
(s) and the
measure
of
the self connected object
is
a third real number
the other unit of measure
(s) and
the real number
M is an
instance
of
unit of length
and
the other unit of measure
is an
instance
of
unit of volume
,
then
the other real number
is
equal
to
the third real number
(=>
(
and
(
instance
?Particle
Boulder
)
(
approximateDiameter
?Particle
(
MeasureFn
?Size
Millimeter
)))
(
greaterThan
?Size 256.0))
Geography.kif 7311-7316
If
a self connected object
is an
instance
of
boulder
and the
approximate
diameter
of
the self connected object
is
a real number
millimeter
(s),
then
the real number
is
greater
than 256.0
(=>
(
and
(
instance
?Particle
Cobble
)
(
approximateDiameter
?Particle
(
MeasureFn
?Size
Millimeter
)))
(
and
(
greaterThan
256.0 ?Size)
(
greaterThan
?Size 64.0)))
Geography.kif 7288-7295
If
a self connected object
is an
instance
of
cobble
and the
approximate
diameter
of
the self connected object
is
a real number
millimeter
(s),
then 256.0 is
greater
than
the real number
and
the real number
is
greater
than 64.0
(=>
(
and
(
instance
?Particle
Pebble
)
(
approximateDiameter
?Particle
(
MeasureFn
?Size
Millimeter
)))
(
and
(
greaterThan
64.0 ?Size)
(
greaterThan
?Size 2.0)))
Geography.kif 7265-7272
If
a self connected object
is an
instance
of
pebble
and the
approximate
diameter
of
the self connected object
is
a real number
millimeter
(s),
then 64.0 is
greater
than
the real number
and
the real number
is
greater
than 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
If
a self connected object
is a
part
of
an object
and
the object
is an
instance
of
clay
and the
approximate
diameter
of
the self connected object
is
a real number
millimeter
(s),
then 0.004 is
greater
than
the real number
and
the real number
is
greater
than 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
If
a self connected object
is a
part
of
an object
and
the object
is an
instance
of
sand
and the
approximate
diameter
of
the self connected object
is
a real number
millimeter
(s),
then 2.0 is
greater
than
the real number
and
the real number
is
greater
than 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
If
a self connected object
is a
part
of
an object
and
the object
is an
instance
of
silt
and the
approximate
diameter
of
the self connected object
is
a real number
millimeter
(s),
then 0.062 is
greater
than
the real number
and
the real number
is
greater
than 0.004
consequent
(=>
(
and
(
instance
?G
Grain
)
(
grainSize
?G ?L))
(
approximateDiameter
?G
(
MeasureFn
?L
UnitOfLength
)))
Food.kif 1083-1088
If
a self connected object
is an
instance
of
grain
and
a real number
is the diameter in
UnitOFLength
of
the self connected object
,
then the
approximate
diameter
of
the self connected object
is
the real number
unit of length
(s)
(=>
(
and
(
memberMeasure
?S ?M ?Q)
(
instance
?S
Set
)
(
element
?O ?S))
(
approximateDiameter
?O ?Q))
Mid-level-ontology.kif 31211-31216
If members of
a set
have the measure
a length measure
in terms of
a measurement attribute
and
the set
is an
instance
of
set
and
a self connected object
is an
element
of
the set
,
then the
approximate
diameter
of
the self connected object
is
the length measure
(=>
(
and
(
memberMeasure
?S
ApproximateDiameter
?Q)
(
instance
?S
Class
)
(
instance
?O ?S))
(
approximateDiameter
?O ?Q))
Mid-level-ontology.kif 31218-31223
If members of
a class
have the measure
a length measure
in terms of
ApproximateDiameter
and
the class
is an
instance
of
class
and
a self connected object
is an
instance
of
the class
,
then the
approximate
diameter
of
the self connected object
is
the length measure
(=>
(
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
If
a transfer
is an
instance
of
drizzling
,
then there exist
a collection
,
a self connected object
and
a real number
such that
the collection
is an
instance
of
collection
and
the self connected object
is an
instance
of
water
and
the self connected object
is an
instance
of
liquid drop
and
the self connected object
is a
member
of
the collection
and the object transferred in
the transfer
is
the collection
and the
approximate
diameter
of
the self connected object
is
the real number
millimeter
(s) and the statement
the real number
is
less
than or equal to 0.5 has the
modal
force
of
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
If
an object
is an
instance
of
PM
,
then there exist
a self connected object
,
another object
and
a real number
such that
the other object
is an
instance
of
atmospheric region
and
the object
is
located
at
the other object
and
the self connected object
is a
part
of
the object
and the
approximate
diameter
of
the self connected object
is
the real number
micrometer
(s) and 1000.0 is
greater
than
the real number
(=>
(
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
If
an object
is an
instance
of
colloid
,
then there exist
a self connected object
and
a real number
such that
the self connected object
is a
part
of
the object
and
insoluble
is an
attribute
of
the self connected object
and the
approximate
diameter
of
the self connected object
is
the real number
nanometer
(s) and 977.0 is
greater
than
the real number
and
the real number
is
greater
than 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