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 17935-17935
(
documentation
approximateDiameter
EnglishLanguage
"The diameter of an object if it were a perfect sphere of the same volume")
Mid-level-ontology.kif 17933-17934
(
domain
approximateDiameter
1
SelfConnectedObject
)
Mid-level-ontology.kif 17940-17940
域
approximateDiameter
, 1 and
SelfConnectedObject
(
domain
approximateDiameter
2
LengthMeasure
)
Mid-level-ontology.kif 17941-17941
域
approximateDiameter
, 2 and
LengthMeasure
(
instance
approximateDiameter
BinaryPredicate
)
Mid-level-ontology.kif 17943-17943
例
approximateDiameter
and
BinaryPredicate
(
instance
approximateDiameter
SingleValuedRelation
)
Mid-level-ontology.kif 17944-17944
例
approximateDiameter
and
SingleValuedRelation
(
instance
approximateDiameter
TotalValuedRelation
)
Mid-level-ontology.kif 17945-17945
例
approximateDiameter
and
TotalValuedRelation
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 17938-17938
(
termFormat
EnglishLanguage
approximateDiameter
"approximate diameter")
Mid-level-ontology.kif 17937-17937
antecedent
(<=>
(
and
(
instance
?LD
LiquidDrop
)
(
approximateDiameter
?LD
(
MeasureFn
?S
Micrometer
))
(
lessThan
500.0 ?S))
(
instance
?LD
Droplet
))
Geography.kif 7524-7530
例
SelfConnectedObject
and
LiquidDrop
SelfConnectedObject
的
approximate
diameter
是
測量
RealNumber
and
Micrometer
少於
500.0 and
RealNumber
例
SelfConnectedObject
and
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
例
Object
and
ParticulateMatter
部分
SelfConnectedObject
and
Object
SelfConnectedObject
的
approximate
diameter
是
測量
RealNumber
and
Micrometer
比較多
10.0 and
RealNumber
比較多
RealNumber
and 2.5
Object
0
例
Object
0 and
CoarseParticulateMatter
部分
Object
0 and
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
例
Object
and
ParticulateMatter
部分
SelfConnectedObject
and
Object
SelfConnectedObject
的
approximate
diameter
是
測量
RealNumber
and
Micrometer
大於或等於
RealNumber
and 2.5
Object
5
例
Object
5 and
FineParticulateMatter
部分
Object
5 and
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 17947-17958
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
(=>
(
and
(
instance
?Particle
Boulder
)
(
approximateDiameter
?Particle
(
MeasureFn
?Size
Millimeter
)))
(
greaterThan
?Size 256.0))
Geography.kif 7311-7316
例
SelfConnectedObject
and
Boulder
SelfConnectedObject
的
approximate
diameter
是
測量
RealNumber
and
毫米
比較多
RealNumber
and 256.0
(=>
(
and
(
instance
?Particle
Cobble
)
(
approximateDiameter
?Particle
(
MeasureFn
?Size
Millimeter
)))
(
and
(
greaterThan
256.0 ?Size)
(
greaterThan
?Size 64.0)))
Geography.kif 7288-7295
例
SelfConnectedObject
and
Cobble
SelfConnectedObject
的
approximate
diameter
是
測量
RealNumber
and
毫米
比較多
256.0 and
RealNumber
比較多
RealNumber
and 64.0
(=>
(
and
(
instance
?Particle
Pebble
)
(
approximateDiameter
?Particle
(
MeasureFn
?Size
Millimeter
)))
(
and
(
greaterThan
64.0 ?Size)
(
greaterThan
?Size 2.0)))
Geography.kif 7265-7272
例
SelfConnectedObject
and
Pebble
SelfConnectedObject
的
approximate
diameter
是
測量
RealNumber
and
毫米
比較多
64.0 and
RealNumber
比較多
RealNumber
and 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 17971-17979
部分
SelfConnectedObject
and
Object
例
Object
and
粘土
SelfConnectedObject
的
approximate
diameter
是
測量
RealNumber
and
毫米
比較多
0.004 and
RealNumber
比較多
RealNumber
and 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
部分
SelfConnectedObject
and
Object
例
Object
and
砂
SelfConnectedObject
的
approximate
diameter
是
測量
RealNumber
and
毫米
比較多
2.0 and
RealNumber
比較多
RealNumber
and 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
部分
SelfConnectedObject
and
Object
例
Object
and
淤泥
SelfConnectedObject
的
approximate
diameter
是
測量
RealNumber
and
毫米
比較多
0.062 and
RealNumber
比較多
RealNumber
and 0.004
consequent
(=>
(
and
(
instance
?G
Grain
)
(
grainSize
?G ?L))
(
approximateDiameter
?G
(
MeasureFn
?L
UnitOfLength
)))
Food.kif 1083-1088
例
SelfConnectedObject
and
Grain
grainSize
SelfConnectedObject
and
RealNumber
SelfConnectedObject
的
approximate
diameter
是
測量
RealNumber
and
UnitOfLength
(=>
(
and
(
memberMeasure
?S ?M ?Q)
(
instance
?S
Set
)
(
element
?O ?S))
(
approximateDiameter
?O ?Q))
Mid-level-ontology.kif 31175-31180
memberMeasure
Set
,
MeasurementAttribute
and
LengthMeasure
例
Set
and
Set
元件
SelfConnectedObject
and
Set
SelfConnectedObject
的
approximate
diameter
是
LengthMeasure
(=>
(
and
(
memberMeasure
?S
ApproximateDiameter
?Q)
(
instance
?S
Class
)
(
instance
?O ?S))
(
approximateDiameter
?O ?Q))
Mid-level-ontology.kif 31182-31187
memberMeasure
Class
,
ApproximateDiameter
and
LengthMeasure
例
Class
and
Class
例
SelfConnectedObject
and
Class
SelfConnectedObject
的
approximate
diameter
是
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 2799-2811
例
Transfer
and
Drizzling
Collection
SelfConnectedObject
and
RealNumber
例
Collection
and
Collection
例
SelfConnectedObject
and
Water
例
SelfConnectedObject
and
LiquidDrop
會員
SelfConnectedObject
and
Collection
objectTransferred
Transfer
and
Collection
SelfConnectedObject
的
approximate
diameter
是
測量
RealNumber
and
毫米
模態屬性
小於或等於
RealNumber
and 0.5 and
容易
(=>
(
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
例
Object
and
ParticulateMatter
SelfConnectedObject
Object
and
RealNumber
例
Object
and
大氣地區
位於
Object
and
Object
部分
SelfConnectedObject
and
Object
SelfConnectedObject
的
approximate
diameter
是
測量
RealNumber
and
Micrometer
比較多
1000.0 and
RealNumber
(=>
(
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 21558-21567
例
Object
and
膠體
SelfConnectedObject
RealNumber
部分
SelfConnectedObject
and
Object
attribute
SelfConnectedObject
and
Insoluble
SelfConnectedObject
的
approximate
diameter
是
測量
RealNumber
and
Nanometer
比較多
977.0 and
RealNumber
比較多
RealNumber
and 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