Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

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
(=>
    (and
        (instance ?C CoffeeGrind)
        (attribute ?C ExtraCoarseGrind)
        (grainSize ?C ?L))
    (equal ?L 1.5))
Food.kif 1095-1100
(=>
    (and
        (instance ?C CoffeeGrind)
        (attribute ?C ExtraFineGrind)
        (grainSize ?C ?L))
    (equal ?L 0.1))
Food.kif 1167-1172
(=>
    (and
        (instance ?C CoffeeGrind)
        (attribute ?C FineGrind)
        (grainSize ?C ?L))
    (equal ?L 0.3))
Food.kif 1155-1160
(=>
    (and
        (instance ?C CoffeeGrind)
        (attribute ?C MediumCoarseGrind)
        (grainSize ?C ?L))
    (equal ?L 0.85))
Food.kif 1119-1124
(=>
    (and
        (instance ?C CoffeeGrind)
        (attribute ?C MediumFineGrind)
        (grainSize ?C ?L))
    (equal ?L 0.5))
Food.kif 1143-1148
(=>
    (and
        (instance ?C CoffeeGrind)
        (attribute ?C MediumGrind)
        (grainSize ?C ?L))
    (equal ?L 0.75))
Food.kif 1131-1136
(=>
    (and
        (instance ?G Grain)
        (grainSize ?G ?L))
    (approximateDiameter ?G
        (MeasureFn ?L UnitOfLength)))
Food.kif 1083-1088

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


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