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 17936-17936
(
documentation
approximateDiameter
EnglishLanguage
"The diameter of an object if it were a perfect sphere of the same volume")
Mid-level-ontology.kif 17934-17935
(
domain
approximateDiameter
1
SelfConnectedObject
)
Mid-level-ontology.kif 17941-17941
Die Zahl 1 Argument von
approximateDiameter
ist ein
fall
von
SelfConnectedObject
%n{nicht}
(
domain
approximateDiameter
2
LengthMeasure
)
Mid-level-ontology.kif 17942-17942
Die Zahl 2 Argument von
approximateDiameter
ist ein
fall
von
LengthMeasure
%n{nicht}
(
instance
approximateDiameter
BinaryPredicate
)
Mid-level-ontology.kif 17944-17944
approximateDiameter
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
instance
approximateDiameter
SingleValuedRelation
)
Mid-level-ontology.kif 17945-17945
approximateDiameter
ist ein
fall
von
SingleValuedRelation
%n{nicht}
(
instance
approximateDiameter
TotalValuedRelation
)
Mid-level-ontology.kif 17946-17946
approximateDiameter
ist ein
fall
von
TotalValuedRelation
%n{nicht}
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 17939-17939
(
termFormat
EnglishLanguage
approximateDiameter
"approximate diameter")
Mid-level-ontology.kif 17938-17938
antecedent
(<=>
(
and
(
instance
?LD
LiquidDrop
)
(
approximateDiameter
?LD
(
MeasureFn
?S
Micrometer
))
(
lessThan
500.0 ?S))
(
instance
?LD
Droplet
))
Geography.kif 7524-7530
SelfConnectedObject
ist ein
fall
von
LiquidDrop
%n{nicht} und
approximateDiameter
** SelfConnectedObject
and
RealNumber
Micrometer
(s) und 500.0 ist
kleinerAls
** RealNumber
%n{nicht} genau dann wenn
** SelfConnectedObject
ist ein
fall
von
Droplet
%n{nicht}
(<=>
(
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
Object
ist ein
fall
von
ParticulateMatter
%n{nicht} und
SelfConnectedObject
ist ein
teil
von
** Object
%n{nicht} und
approximateDiameter
** SelfConnectedObject
and
RealNumber
Micrometer
(s) und 10.0 ist
groesserAls
** RealNumber
%n{nicht} und
** RealNumber
ist
groesserAls
2.5 %n{nicht} genau dann wenn es gibt
** Object
10 um
** Object
10 ist ein
fall
von
CoarseParticulateMatter
%n{nicht} und
** Object
10 ist ein
teil
von
** Object
%n{nicht}
(<=>
(
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
Object
ist ein
fall
von
ParticulateMatter
%n{nicht} und
SelfConnectedObject
ist ein
teil
von
** Object
%n{nicht} und
approximateDiameter
** SelfConnectedObject
and
RealNumber
Micrometer
(s) und
** RealNumber
ist
groesserAlsOderGleich
2.5 %n{nicht} genau dann wenn es gibt
** Object
25 um
** Object
25 ist ein
fall
von
FineParticulateMatter
%n{nicht} und
** Object
25 ist ein
teil
von
** Object
%n{nicht}
(=>
(
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
Wenn
approximateDiameter
SelfConnectedObject
and
RealNumber
** RealNumber
M(s) und
sphereRadius
Object
and
** RealNumber
und 2.0
** RealNumber
M(s) und das
mass
von
** Object
ist
** RealNumber
** UnitOfMeasure
(s) %n{nicht} und das
mass
von
** SelfConnectedObject
ist
** RealNumber
** ** UnitOfMeasure
(s) %n{nicht} und
** RealNumber
M ist ein
fall
von
UnitOfLength
%n{nicht} und
** ** UnitOfMeasure
ist ein
fall
von
UnitOfVolume
%n{nicht},
dann
** ** RealNumber
ist gleich
** ** RealNumber
%n{nicht}
(=>
(
and
(
instance
?Particle
Boulder
)
(
approximateDiameter
?Particle
(
MeasureFn
?Size
Millimeter
)))
(
greaterThan
?Size 256.0))
Geography.kif 7311-7316
Wenn
SelfConnectedObject
ist ein
fall
von
Boulder
%n{nicht} und
approximateDiameter
** SelfConnectedObject
and
RealNumber
Millimeter
(s),
dann
** RealNumber
ist
groesserAls
256.0 %n{nicht}
(=>
(
and
(
instance
?Particle
Cobble
)
(
approximateDiameter
?Particle
(
MeasureFn
?Size
Millimeter
)))
(
and
(
greaterThan
256.0 ?Size)
(
greaterThan
?Size 64.0)))
Geography.kif 7288-7295
Wenn
SelfConnectedObject
ist ein
fall
von
Cobble
%n{nicht} und
approximateDiameter
** SelfConnectedObject
and
RealNumber
Millimeter
(s),
dann 256.0 ist
groesserAls
** RealNumber
%n{nicht} und
** RealNumber
ist
groesserAls
64.0 %n{nicht}
(=>
(
and
(
instance
?Particle
Pebble
)
(
approximateDiameter
?Particle
(
MeasureFn
?Size
Millimeter
)))
(
and
(
greaterThan
64.0 ?Size)
(
greaterThan
?Size 2.0)))
Geography.kif 7265-7272
Wenn
SelfConnectedObject
ist ein
fall
von
Pebble
%n{nicht} und
approximateDiameter
** SelfConnectedObject
and
RealNumber
Millimeter
(s),
dann 64.0 ist
groesserAls
** RealNumber
%n{nicht} und
** RealNumber
ist
groesserAls
2.0 %n{nicht}
(=>
(
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 17972-17980
Wenn
SelfConnectedObject
ist ein
teil
von
Object
%n{nicht} und
** Object
ist ein
fall
von
Clay
%n{nicht} und
approximateDiameter
** SelfConnectedObject
and
RealNumber
Millimeter
(s),
dann 0.004 ist
groesserAls
** RealNumber
%n{nicht} und
** RealNumber
ist
groesserAls
0.001 %n{nicht}
(=>
(
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
Wenn
SelfConnectedObject
ist ein
teil
von
Object
%n{nicht} und
** Object
ist ein
fall
von
Sand
%n{nicht} und
approximateDiameter
** SelfConnectedObject
and
RealNumber
Millimeter
(s),
dann 2.0 ist
groesserAls
** RealNumber
%n{nicht} und
** RealNumber
ist
groesserAls
0.062 %n{nicht}
(=>
(
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
Wenn
SelfConnectedObject
ist ein
teil
von
Object
%n{nicht} und
** Object
ist ein
fall
von
Silt
%n{nicht} und
approximateDiameter
** SelfConnectedObject
and
RealNumber
Millimeter
(s),
dann 0.062 ist
groesserAls
** RealNumber
%n{nicht} und
** RealNumber
ist
groesserAls
0.004 %n{nicht}
consequent
(=>
(
and
(
instance
?G
Grain
)
(
grainSize
?G ?L))
(
approximateDiameter
?G
(
MeasureFn
?L
UnitOfLength
)))
Food.kif 1083-1088
Wenn
SelfConnectedObject
ist ein
fall
von
Grain
%n{nicht} und
grainSize
** SelfConnectedObject
and
RealNumber
,
dann
approximateDiameter
** SelfConnectedObject
and
** RealNumber
UnitOfLength
(s)
(=>
(
and
(
memberMeasure
?S ?M ?Q)
(
instance
?S
Set
)
(
element
?O ?S))
(
approximateDiameter
?O ?Q))
Mid-level-ontology.kif 31179-31184
Wenn
memberMeasure
Set
,
MeasurementAttribute
and
LengthMeasure
und
** Set
ist ein
fall
von
Set
%n{nicht} und
SelfConnectedObject
ist ein
element
von
** Set
%n{nicht},
dann
approximateDiameter
** SelfConnectedObject
and
** LengthMeasure
(=>
(
and
(
memberMeasure
?S
ApproximateDiameter
?Q)
(
instance
?S
Class
)
(
instance
?O ?S))
(
approximateDiameter
?O ?Q))
Mid-level-ontology.kif 31186-31191
Wenn
memberMeasure
Class
,
ApproximateDiameter
and
LengthMeasure
und
** Class
ist ein
fall
von
Class
%n{nicht} und
SelfConnectedObject
ist ein
fall
von
** Class
%n{nicht},
dann
approximateDiameter
** SelfConnectedObject
and
** LengthMeasure
(=>
(
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 2803-2815
Wenn
Transfer
ist ein
fall
von
Drizzling
%n{nicht},
dann es gibt
Collection
,
SelfConnectedObject
, and und
RealNumber
um
** Collection
ist ein
fall
von
Collection
%n{nicht} und
** SelfConnectedObject
ist ein
fall
von
Water
%n{nicht} und
** SelfConnectedObject
ist ein
fall
von
LiquidDrop
%n{nicht} und
** SelfConnectedObject
ist ein
Mitglied
von
** Collection
%n{nicht} und
objectTransferred
** Transfer
and
** Collection
und
approximateDiameter
** SelfConnectedObject
and
** RealNumber
Millimeter
(s) und die Aussage
** RealNumber
ist
kleinerAlsOderGleich
0.5 %n{nicht} hat die modale Kraft von
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
Wenn
Object
ist ein
fall
von
ParticulateMatter
%n{nicht},
dann es gibt
SelfConnectedObject
,
** Object
, and und
RealNumber
um
** ** Object
ist ein
fall
von
AtmosphericRegion
%n{nicht} und
** Object
befindet
sich an %n{nicht} und
** SelfConnectedObject
ist ein
teil
von
** Object
%n{nicht} und
approximateDiameter
** SelfConnectedObject
and
** RealNumber
Micrometer
(s) und 1000.0 ist
groesserAls
** RealNumber
%n{nicht}
(=>
(
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 21559-21568
Wenn
Object
ist ein
fall
von
Colloid
%n{nicht},
dann es gibt
SelfConnectedObject
und
RealNumber
um
** SelfConnectedObject
ist ein
teil
von
** Object
%n{nicht} und
Insoluble
ist ein
attribut
von
** SelfConnectedObject
%n{nicht} und
approximateDiameter
** SelfConnectedObject
and
** RealNumber
Nanometer
(s) und 977.0 ist
groesserAls
** RealNumber
%n{nicht} und
** RealNumber
ist
groesserAls
0.95 %n{nicht}
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