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
Le nombre 1 argument de
approximateDiameter
est une
instance
de
objet en une partie
(
domain
approximateDiameter
2
LengthMeasure
)
Mid-level-ontology.kif 17942-17942
Le nombre 2 argument de
approximateDiameter
est une
instance
de
mesure de longueur
(
instance
approximateDiameter
BinaryPredicate
)
Mid-level-ontology.kif 17944-17944
approximateDiameter
est une
instance
de
pr�dicat binaire
(
instance
approximateDiameter
SingleValuedRelation
)
Mid-level-ontology.kif 17945-17945
approximateDiameter
est une
instance
de
relation simple
(
instance
approximateDiameter
TotalValuedRelation
)
Mid-level-ontology.kif 17946-17946
approximateDiameter
est une
instance
de
relation 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 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
Objet en une partie
est une
instance
de
LiquidDrop
approximateDiameter
objet en une partie
and
nombre r�el
Micrometer
(s) 500.0 est
moins
que
nombre r�el
objet en une partie
est une
instance
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
Objet
est une
instance
de
ParticulateMatter
objet en une partie
est une
partie
de
objet
approximateDiameter
objet en une partie
and
nombre r�el
Micrometer
(s) 10.0 est
plus
grand
que
nombre r�el
nombre r�el
est
plus
grand
que 2.5
objet
10
objet
10 est une
instance
de
CoarseParticulateMatter
objet
10 est une
partie
de
objet
(<=>
(
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
Objet
est une
instance
de
ParticulateMatter
objet en une partie
est une
partie
de
objet
approximateDiameter
objet en une partie
and
nombre r�el
Micrometer
(s)
nombre r�el
est
plus
grand
ou �gal � 2.5
objet
25
objet
25 est une
instance
de
FineParticulateMatter
objet
25 est une
partie
de
objet
(=>
(
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
approximateDiameter
objet en une partie
and
nombre r�el
nombre r�el
M(s)
sphereRadius
objet
and
nombre r�el
+ 2.0
nombre r�el
M(s) la
mesure
de
objet
est
nombre r�el
unit� de mesure
(s) la
mesure
de
objet en une partie
est
nombre r�el
unit� de mesure
(s)
nombre r�el
M est une
instance
de
UnitOfLength
unit� de mesure
est une
instance
de
UnitOfVolume
nombre r�el
est
nombre r�el
(=>
(
and
(
instance
?Particle
Boulder
)
(
approximateDiameter
?Particle
(
MeasureFn
?Size
Millimeter
)))
(
greaterThan
?Size 256.0))
Geography.kif 7311-7316
Objet en une partie
est une
instance
de
Boulder
approximateDiameter
objet en une partie
and
nombre r�el
Millimeter
(s)
nombre r�el
est
plus
grand
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
Objet en une partie
est une
instance
de
Cobble
approximateDiameter
objet en une partie
and
nombre r�el
Millimeter
(s)
256.0 est
plus
grand
que
nombre r�el
nombre r�el
est
plus
grand
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
Objet en une partie
est une
instance
de
Pebble
approximateDiameter
objet en une partie
and
nombre r�el
Millimeter
(s)
64.0 est
plus
grand
que
nombre r�el
nombre r�el
est
plus
grand
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 17972-17980
Objet en une partie
est une
partie
de
objet
objet
est une
instance
de
Clay
approximateDiameter
objet en une partie
and
nombre r�el
Millimeter
(s)
0.004 est
plus
grand
que
nombre r�el
nombre r�el
est
plus
grand
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
Objet en une partie
est une
partie
de
objet
objet
est une
instance
de
Sand
approximateDiameter
objet en une partie
and
nombre r�el
Millimeter
(s)
2.0 est
plus
grand
que
nombre r�el
nombre r�el
est
plus
grand
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
Objet en une partie
est une
partie
de
objet
objet
est une
instance
de
Silt
approximateDiameter
objet en une partie
and
nombre r�el
Millimeter
(s)
0.062 est
plus
grand
que
nombre r�el
nombre r�el
est
plus
grand
que 0.004
consequent
(=>
(
and
(
instance
?G
Grain
)
(
grainSize
?G ?L))
(
approximateDiameter
?G
(
MeasureFn
?L
UnitOfLength
)))
Food.kif 1083-1088
Objet en une partie
est une
instance
de
Grain
grainSize
objet en une partie
and
nombre r�el
approximateDiameter
objet en une partie
and
nombre r�el
UnitOfLength
(s)
(=>
(
and
(
memberMeasure
?S ?M ?Q)
(
instance
?S
Set
)
(
element
?O ?S))
(
approximateDiameter
?O ?Q))
Mid-level-ontology.kif 31179-31184
memberMeasure
ensemble
,
MeasurementAttribute
and
mesure de longueur
ensemble
est une
instance
de
ensemble
objet en une partie
est un
ensemble
approximateDiameter
objet en une partie
and
mesure de longueur
(=>
(
and
(
memberMeasure
?S
ApproximateDiameter
?Q)
(
instance
?S
Class
)
(
instance
?O ?S))
(
approximateDiameter
?O ?Q))
Mid-level-ontology.kif 31186-31191
memberMeasure
classe
,
ApproximateDiameter
and
mesure de longueur
classe
est une
instance
de
classe
objet en une partie
est une
instance
de
classe
approximateDiameter
objet en une partie
and
mesure de longueur
(=>
(
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
Transf�re
est une
instance
de
Drizzling
collection
objet en une partie
and
nombre r�el
collection
est une
instance
de
collection
objet en une partie
est une
instance
de
eau
objet en une partie
est une
instance
de
LiquidDrop
objet en une partie
est un
membre
de
collection
objectTransferred
transf�re
and
collection
approximateDiameter
objet en une partie
and
nombre r�el
Millimeter
(s) l'argument
nombre r�el
est plus
petit
ou �gal � 0.5 a la
force
modale
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
Objet
est une
instance
de
ParticulateMatter
objet en une partie
objet
and
nombre r�el
objet
est une
instance
de
AtmosphericRegion
objet
est
situ
� �
objet
objet en une partie
est une
partie
de
objet
approximateDiameter
objet en une partie
and
nombre r�el
Micrometer
(s) 1000.0 est
plus
grand
que
nombre r�el
(=>
(
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
Objet
est une
instance
de
Colloid
objet en une partie
nombre r�el
objet en une partie
est une
partie
de
objet
Insoluble
est un
attribut
de
objet en une partie
approximateDiameter
objet en une partie
and
nombre r�el
Nanometer
(s) 977.0 est
plus
grand
que
nombre r�el
nombre r�el
est
plus
grand
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