grainSize - Sigma Knowledge base Browser

appearance as argument number 1

(instance grainSize BinaryPredicate)	Food.kif 1053-1053	grain size is an instance of binary predicate
(documentation grainSize EnglishLanguage "grainSize is a BinaryRelation describing the diameter measure of a particle.")	Food.kif 1054-1055	grain size is an instance of binary predicate
(domain grainSize 1 Object)	Food.kif 1057-1057	The number 1 argument of grain size is an instance of object
(domain grainSize 2 RealNumber)	Food.kif 1058-1058	The number 2 argument of grain size is an instance of real number

appearance as argument number 2

(termFormat EnglishLanguage grainSize "grain size")	Food.kif 1056-1056
(format EnglishLanguage grainSize "%2 is the diameter in UnitOFLength of %1")	Food.kif 1059-1059

antecedent

(=> (and (instance ?G Grain) (grainSize ?G ?L)) (approximateDiameter ?G (MeasureFn ?L UnitOfLength)))	Food.kif 1061-1066	If X is an instance of grain and Y is the diameter in UnitOFLength of X, then the approximate diameter of X is Y unit of length(s)
(=> (and (instance ?C CoffeeGrind) (attribute ?C ExtraCoarseGrind) (grainSize ?C ?L)) (equal ?L 1.5))	Food.kif 1073-1078	If X is an instance of coffee grind, extra coarse grind is an attribute of X, and Y is the diameter in UnitOFLength of X, then equal Y and 1.5
(=> (and (instance ?C CoffeeGrind) (attribute ?C CoarseGrind) (grainSize ?C ?L)) (equal ?L 1.0))	Food.kif 1085-1090	If X is an instance of coffee grind, coarse grind is an attribute of X, and Y is the diameter in UnitOFLength of X, then equal Y and 1.0
(=> (and (instance ?C CoffeeGrind) (attribute ?C MediumCoarseGrind) (grainSize ?C ?L)) (equal ?L 0.85))	Food.kif 1097-1102	If X is an instance of coffee grind, medium coarse grind is an attribute of X, and Y is the diameter in UnitOFLength of X, then equal Y and 0.85
(=> (and (instance ?C CoffeeGrind) (attribute ?C MediumGrind) (grainSize ?C ?L)) (equal ?L 0.75))	Food.kif 1109-1114	If X is an instance of coffee grind, medium grind is an attribute of X, and Y is the diameter in UnitOFLength of X, then equal Y and 0.75
(=> (and (instance ?C CoffeeGrind) (attribute ?C MediumFineGrind) (grainSize ?C ?L)) (equal ?L 0.5))	Food.kif 1121-1126	If X is an instance of coffee grind, medium fine grind is an attribute of X, and Y is the diameter in UnitOFLength of X, then equal Y and 0.5
(=> (and (instance ?C CoffeeGrind) (attribute ?C FineGrind) (grainSize ?C ?L)) (equal ?L 0.3))	Food.kif 1133-1138	If X is an instance of coffee grind, fine grind is an attribute of X, and Y is the diameter in UnitOFLength of X, then equal Y and 0.3
(=> (and (instance ?C CoffeeGrind) (attribute ?C ExtraFineGrind) (grainSize ?C ?L)) (equal ?L 0.1))	Food.kif 1145-1150	If X is an instance of coffee grind, extra fine grind is an attribute of X, and Y is the diameter in UnitOFLength of X, then equal Y and 0.1

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 1041-1051

If X is an instance of coffee grind attribute, X is an attribute of Y, and Y is an instance of coffee grind, then there exist Z and W such that Z is the diameter in UnitOFLength of Y and W is an instance of length measure and equal W and Z millimeter(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 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners