grainSize - Sigma Knowledge base Browser

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 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 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: