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

Formal Language: 



KB Term:  Term intersection
English Word: 

  approximateDiameter

Sigma KEE - approximateDiameter
approximateDiameter

appearance as argument number 1
-------------------------


(documentation approximateDiameter ChineseLanguage "这是假设一个为和它体积相同的完美球体的直径。") Mid-level-ontology.kif 17348-17348
(documentation approximateDiameter EnglishLanguage "The diameter of an object if it were a perfect sphere of the same volume") Mid-level-ontology.kif 17346-17347
(domain approximateDiameter 1 SelfConnectedObject) Mid-level-ontology.kif 17353-17353
(domain approximateDiameter 2 LengthMeasure) Mid-level-ontology.kif 17354-17354
(instance approximateDiameter BinaryPredicate) Mid-level-ontology.kif 17356-17356
(instance approximateDiameter SingleValuedRelation) Mid-level-ontology.kif 17357-17357
(instance approximateDiameter TotalValuedRelation) Mid-level-ontology.kif 17358-17358

appearance as argument number 2
-------------------------


(format ChineseLanguage approximateDiameter "1 的 approximate diameter 是 %2 ") domainEnglishFormat.kif 2819-2819
(format ChineseTraditionalLanguage approximateDiameter "%1 的 approximate diameter 是 %2 ") domainEnglishFormat.kif 2818-2818
(format EnglishLanguage approximateDiameter "the approximate diameter of %1 is %2") domainEnglishFormat.kif 2817-2817
(termFormat ChineseLanguage approximateDiameter "近似直径") Mid-level-ontology.kif 17351-17351
(termFormat EnglishLanguage approximateDiameter "approximate diameter") Mid-level-ontology.kif 17350-17350

antecedent
-------------------------


(<=>
    (and
        (instance ?LD LiquidDrop)
        (approximateDiameter ?LD
            (MeasureFn ?S Micrometer))
        (lessThan 500.0 ?S))
    (instance ?LD Droplet))
Geography.kif 7240-7246
(<=>
    (and
        (instance ?PM ParticulateMatter)
        (part ?P ?PM)
        (approximateDiameter ?P
            (MeasureFn ?S Micrometer))
        (greaterThan 10.0 ?S)
        (greaterThan ?S 2.5))
    (exists (?PM10)
        (and
            (instance ?PM10 CoarseParticulateMatter)
            (part ?PM10 ?PM))))
Geography.kif 7156-7167
(<=>
    (and
        (instance ?PM ParticulateMatter)
        (part ?P ?PM)
        (approximateDiameter ?P
            (MeasureFn ?S Micrometer))
        (greaterThanOrEqualTo ?S 2.5))
    (exists (?PM25)
        (and
            (instance ?PM25 FineParticulateMatter)
            (part ?PM25 ?PM))))
Geography.kif 7185-7195
(=>
    (and
        (approximateDiameter ?O
            (MeasureFn ?L ?LM))
        (sphereRadius ?S
            (MeasureFn
                (DivisionFn ?L 2.0) ?LM))
        (measure ?S
            (MeasureFn ?V1 ?VM))
        (measure ?O
            (MeasureFn ?V2 ?VM))
        (instance ?LM LengthMeasure)
        (instance ?VM VolumeMeasure))
    (equal ?V1 ?V2))
Mid-level-ontology.kif 17360-17371
(=>
    (and
        (instance ?Particle Boulder)
        (approximateDiameter ?Particle
            (MeasureFn ?Size Millimeter)))
    (greaterThan ?Size 256.0))
Geography.kif 6999-7004
(=>
    (and
        (instance ?Particle Cobble)
        (approximateDiameter ?Particle
            (MeasureFn ?Size Millimeter)))
    (and
        (greaterThan 256.0 ?Size)
        (greaterThan ?Size 64.0)))
Geography.kif 6976-6983
(=>
    (and
        (instance ?Particle Pebble)
        (approximateDiameter ?Particle
            (MeasureFn ?Size Millimeter)))
    (and
        (greaterThan 64.0 ?Size)
        (greaterThan ?Size 2.0)))
Geography.kif 6953-6960
(=>
    (and
        (part ?Particle ?Soil)
        (instance ?Soil Clay)
        (approximateDiameter ?Particle
            (MeasureFn ?Size Millimeter)))
    (and
        (greaterThan 0.004 ?Size)
        (greaterThan ?Size 0.001)))
Mid-level-ontology.kif 17384-17392
(=>
    (and
        (part ?Particle ?Soil)
        (instance ?Soil Sand)
        (approximateDiameter ?Particle
            (MeasureFn ?Size Millimeter)))
    (and
        (greaterThan 2.0 ?Size)
        (greaterThan ?Size 0.062)))
Geography.kif 4297-4305
(=>
    (and
        (part ?Particle ?Soil)
        (instance ?Soil Silt)
        (approximateDiameter ?Particle
            (MeasureFn ?Size Millimeter)))
    (and
        (greaterThan 0.062 ?Size)
        (greaterThan ?Size 0.004)))
Geography.kif 4320-4328

consequent
-------------------------


(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (member ?O ?S))
    (approximateDiameter ?O ?Q))
Mid-level-ontology.kif 30575-30580
(=>
    (and
        (memberMeasure ?S ApproximateDiameter ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (approximateDiameter ?O ?Q))
Mid-level-ontology.kif 30582-30587
(=>
    (instance ?DRIZZLE Drizzling)
    (exists (?CLTN ?R ?SIZE)
        (and
            (instance ?CLTN Collection)
            (instance ?R Water)
            (instance ?R LiquidDrop)
            (member ?R ?CLTN)
            (objectTransferred ?DRIZZLE ?CLTN)
            (approximateDiameter ?R
                (MeasureFn ?SIZE Millimeter))
            (modalAttribute
                (lessThanOrEqualTo ?SIZE 0.5) Likely))))
Weather.kif 2802-2814
(=>
    (instance ?PM ParticulateMatter)
    (exists (?P ?ATMOSPHERE ?S)
        (and
            (instance ?ATMOSPHERE AtmosphericRegion)
            (located ?PM ?ATMOSPHERE)
            (part ?P ?PM)
            (approximateDiameter ?P
                (MeasureFn ?S Micrometer))
            (greaterThan 1000.0 ?S))))
Geography.kif 7129-7138
(=>
    (instance ?Z Colloid)
    (exists (?P ?S)
        (and
            (part ?P ?Z)
            (attribute ?P Insoluble)
            (approximateDiameter ?P
                (MeasureFn ?S Nanometer))
            (greaterThan 977.0 ?S)
            (greaterThan ?S 0.95))))
Geography.kif 7099-7108


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