Browsing Interface
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
Englishlanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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
Romania
Sigma KEE - approximateDiameter
approximateDiameter
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 19507-19507
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 19505-19506
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 19512-19512
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 19513-19513
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 19515-19515
approximate diameter
is an
instance
of
binary predicate
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 19516-19516
approximate diameter
is an
instance
of
single valued relation
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 19517-19517
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 2814-2814
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 2813-2813
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 2812-2812
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 19510-19510
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 19509-19509
antecedent
No TPTP formula. May not be expressible in strict first order.
Geography.kif 7861-7867
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 7777-7788
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 7806-7816
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 19519-19530
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
equal
the other real number
and
the third real number
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 27453-27467
If
a self connected object
is an
instance
of
astronomical body
and the
approximate
diameter
of
the self connected object
is
a real number
an unit of measure
(s) and
the unit of measure
is an
instance
of
unit of length
and
an object
is an
instance
of
point in space
and
the object
is a
part
of
the self connected object
,
then there exists
a point in space
such that
equal
the point in space
and the centre of
AstronomicalBody
the self connected object
is and the
distance
between
the point in space
and
the object
is
the real number
and 2.0
the unit of measure
(s)
No TPTP formula. May not be expressible in strict first order.
Geography.kif 7648-7653
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 7625-7632
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 7602-7609
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 19543-19551
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 4615-4623
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 4660-4668
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 1084-1089
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 33124-33129
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 33131-33136
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 3528-3540
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 7750-7759
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 1150-1163
If
an entity
is an
instance
of
firearm shot
,
then there exist
a collection
,
a self connected object
,, ,
the collection
LASS and
a real number
such that
the collection
is an
instance
of
collection
and
the self connected object
is a
member
of
the collection
and
the self connected object
is an
instance
of
the collection
LASS and
the collection
LASS is a
subclass
of
spherical object
and the
approximate
diameter
of
the self connected object
is
the real number
millimeter
(s) and the statement
lead
is
made
of
the collection
LASS and
the real number
is
less
than 10 has the
modal
force
of
likely
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23176-23185
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
Romania