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
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 17935-17935
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 17933-17934
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 17940-17940
The number 1 argument of
approximate diameter
is an
instance
of
self connected object
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 17941-17941
The number 2 argument of
approximate diameter
is an
instance
of
length measure
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 17943-17943
approximate diameter
is an
instance
of
binary predicate
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 17944-17944
approximate diameter
is an
instance
of
single valued relation
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 17945-17945
approximate diameter
is an
instance
of
total valued relation
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 2818-2818
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 2817-2817
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 2816-2816
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 17938-17938
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 17937-17937
antecedent
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 17947-17958
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 17971-17979
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31175-31180
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
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31182-31187
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
No TPTP formula. May not be expressible in strict first order.
Weather.kif 2799-2811
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 21558-21567
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