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
grainSize
Sigma KEE - grainSize
grainSize
appearance as argument number 1
(
documentation
grainSize
EnglishLanguage
"
grainSize
is a
BinaryRelation
describing the diameter measure of a particle.")
Food.kif 1076-1077
(
domain
grainSize
1
Object
)
Food.kif 1079-1079
The number 1 argument of
grain size
is an
instance
of
object
(
domain
grainSize
2
RealNumber
)
Food.kif 1080-1080
The number 2 argument of
grain size
is an
instance
of
real number
(
instance
grainSize
BinaryPredicate
)
Food.kif 1075-1075
grain size
is an
instance
of
binary predicate
appearance as argument number 2
(
format
EnglishLanguage
grainSize
"%2 is the diameter in UnitOFLength of %1")
Food.kif 1081-1081
(
termFormat
EnglishLanguage
grainSize
"grain size")
Food.kif 1078-1078
antecedent
(=>
(
and
(
instance
?C
CoffeeGrind
)
(
attribute
?C
CoarseGrind
)
(
grainSize
?C ?L))
(
equal
?L 1.0))
Food.kif 1107-1112
If
an object
is an
instance
of
coffee grind
and
coarse grind
is an
attribute
of
the object
and
a real number
is the diameter in
UnitOFLength
of
the object
,
then
the real number
is
equal
to 1.0
(=>
(
and
(
instance
?C
CoffeeGrind
)
(
attribute
?C
ExtraCoarseGrind
)
(
grainSize
?C ?L))
(
equal
?L 1.5))
Food.kif 1095-1100
If
an object
is an
instance
of
coffee grind
and
extra coarse grind
is an
attribute
of
the object
and
a real number
is the diameter in
UnitOFLength
of
the object
,
then
the real number
is
equal
to 1.5
(=>
(
and
(
instance
?C
CoffeeGrind
)
(
attribute
?C
ExtraFineGrind
)
(
grainSize
?C ?L))
(
equal
?L 0.1))
Food.kif 1167-1172
If
an object
is an
instance
of
coffee grind
and
extra fine grind
is an
attribute
of
the object
and
a real number
is the diameter in
UnitOFLength
of
the object
,
then
the real number
is
equal
to 0.1
(=>
(
and
(
instance
?C
CoffeeGrind
)
(
attribute
?C
FineGrind
)
(
grainSize
?C ?L))
(
equal
?L 0.3))
Food.kif 1155-1160
If
an object
is an
instance
of
coffee grind
and
fine grind
is an
attribute
of
the object
and
a real number
is the diameter in
UnitOFLength
of
the object
,
then
the real number
is
equal
to 0.3
(=>
(
and
(
instance
?C
CoffeeGrind
)
(
attribute
?C
MediumCoarseGrind
)
(
grainSize
?C ?L))
(
equal
?L 0.85))
Food.kif 1119-1124
If
an object
is an
instance
of
coffee grind
and
medium coarse grind
is an
attribute
of
the object
and
a real number
is the diameter in
UnitOFLength
of
the object
,
then
the real number
is
equal
to 0.85
(=>
(
and
(
instance
?C
CoffeeGrind
)
(
attribute
?C
MediumFineGrind
)
(
grainSize
?C ?L))
(
equal
?L 0.5))
Food.kif 1143-1148
If
an object
is an
instance
of
coffee grind
and
medium fine grind
is an
attribute
of
the object
and
a real number
is the diameter in
UnitOFLength
of
the object
,
then
the real number
is
equal
to 0.5
(=>
(
and
(
instance
?C
CoffeeGrind
)
(
attribute
?C
MediumGrind
)
(
grainSize
?C ?L))
(
equal
?L 0.75))
Food.kif 1131-1136
If
an object
is an
instance
of
coffee grind
and
medium grind
is an
attribute
of
the object
and
a real number
is the diameter in
UnitOFLength
of
the object
,
then
the real number
is
equal
to 0.75
(=>
(
and
(
instance
?G
Grain
)
(
grainSize
?G ?L))
(
approximateDiameter
?G
(
MeasureFn
?L
UnitOfLength
)))
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)
consequent
(=>
(
and
(
instance
?A
CoffeeGrindAttribute
)
(
attribute
?C ?A)
(
instance
?C
CoffeeGrind
))
(
exists
(?L ?X)
(
and
(
grainSize
?C ?L)
(
instance
?X
LengthMeasure
)
(
equal
?X
(
MeasureFn
?L
Millimeter
)))))
Food.kif 1063-1073
If
an attribute
is an
instance
of
coffee grind attribute
and
the attribute
is an
attribute
of
an object
and
the object
is an
instance
of
coffee grind
,
then there exist
a real number
and
a physical quantity
such that
the real number
is the diameter in
UnitOFLength
of
the object
and
the physical quantity
is an
instance
of
length measure
and
the physical quantity
is
equal
to
the real number
millimeter
(s)
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