Browsing Interface
: Welcome guest :
log in
[
Home

Graph
 ]
KB:
SUMO
Language:
AlbanianLanguage
ArabicLanguage
BasqueLanguage
BulgarianLanguage
CatalanLanguage
ChineseLanguage
ChineseTraditionalLanguage
CroatianLanguage
DanishLanguage
Defrauding
EnglishLanguage
FarsiLanguage
FinnishLanguage
FrenchLanguage
GalicianLanguage
GermanLanguage
GreekLanguage
Haboob
HebrewLanguage
IcelandicLanguage
IndonesianLanguage
ItalianLanguage
JapaneseLanguage
MalayLanguage
NorwegianBokmalLanguage
NorwegianNorskLanguage
PolishLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
TaiwanChineseLanguage
ThaiLanguage
Formal Language:
OWL
SUOKIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
Sigma KEE  Micrometer
Micrometer
(micrometer)
micrometer
,
micron
,
微米
appearance as argument number 1
(
documentation
Micrometer
ChineseLanguage
"这是米的约数，符号：µm。1微米是1000000分之一米。")
Geography.kif 64276427
(
documentation
Micrometer
EnglishLanguage
"Submultiple of Metre. Symbol:µm. It is a unit of length in the metric system, equal to one million of a metre.")
Geography.kif 64246425
(
instance
Micrometer
UnitOfLength
)
Geography.kif 64296429
Micrometer
is an
instance
of
UnitOfLength
appearance as argument number 2
(
termFormat
ChineseLanguage
Micrometer
"微米")
Geography.kif 64336433
"微米" is the
printable
form
of
micrometer
in
ChineseLanguage
(
termFormat
EnglishLanguage
Micrometer
"micrometer")
Geography.kif 64316431
"micrometer" is the
printable
form
of
micrometer
in
english language
antecedent
(<=>
(
and
(
instance
?LD
LiquidDrop
)
(
approximateDiameter
?LD
(
MeasureFn
?S
Micrometer
))
(
lessThan
500 ?S))
(
instance
?LD
Droplet
))
Geography.kif 68906896
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 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 ?S)
(
greaterThan
?S 2.5))
(
exists
(?PM10)
(
and
(
instance
?PM10
CoarseParticulateMatter
)
(
part
?PM10 ?PM))))
Geography.kif 68066817
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 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 68356845
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
consequent
(=>
(
instance
?PM
ParticulateMatter
)
(
exists
(?P ?ATMOSPHERE ?S)
(
and
(
instance
?ATMOSPHERE
AtmosphericRegion
)
(
located
?PM ?ATMOSPHERE)
(
part
?P ?PM)
(
approximateDiameter
?P
(
MeasureFn
?S
Micrometer
))
(
greaterThan
1000 ?S))))
Geography.kif 67796788
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 is
greater
than
the real number
statement
(
equal
(
MeasureFn
?NUMBER
Micrometer
)
(
MeasureFn
(
MultiplicationFn
?NUMBER 0.0000001)
Meter
))
Geography.kif 64356438
A real number
micrometer
(s) is
equal
to
the real number
and 0.0000001
meter
(s)
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Sigma web home
Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is
open source software
produced by
Articulate Software
and its partners