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 Il numero 1 argomenti di grainSize è un istanza di Oggetto
(domain grainSize 2 RealNumber) Food.kif 1080-1080 Il numero 2 argomenti di grainSize è un istanza di NumeroReale
(instance grainSize BinaryPredicate) Food.kif 1075-1075 grainSize è un' istanza di PredicatoBinario

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