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 17009-17009
(documentation approximateDiameter EnglishLanguage "The diameter of an object if it were a perfect sphere of the same volume") Mid-level-ontology.kif 17007-17008
(domain approximateDiameter 1 SelfConnectedObject) Mid-level-ontology.kif 17014-17014
(domain approximateDiameter 2 LengthMeasure) Mid-level-ontology.kif 17015-17015
(instance approximateDiameter BinaryPredicate) Mid-level-ontology.kif 17017-17017
(instance approximateDiameter SingleValuedRelation) Mid-level-ontology.kif 17018-17018
(instance approximateDiameter TotalValuedRelation) Mid-level-ontology.kif 17019-17019

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 17012-17012
(termFormat EnglishLanguage approximateDiameter "approximate diameter") Mid-level-ontology.kif 17011-17011

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


(<=>
    (and
        (instance ?LD LiquidDrop)
        (approximateDiameter ?LD
            (MeasureFn ?S Micrometer))
        (lessThan 500 ?S))
    (instance ?LD Droplet))		 Geography.kif 7082-7088
(<=>
    (and
        (instance ?PM ParticulateMatter)
        (part ?P ?PM)
        (approximateDiameter ?P
            (MeasureFn ?S Micrometer))
        (greaterThan 10 ?S)
        (greaterThan ?S 2.5))
    (exists (?PM10)
        (and
            (instance ?PM10 CoarseParticulateMatter)
            (part ?PM10 ?PM))))		 Geography.kif 6998-7009
(<=>
    (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 7027-7037
(=>
    (and
        (approximateDiameter ?O
            (MeasureFn ?L ?LM))
        (sphereRadius ?S
            (MeasureFn
                (DivisionFn ?L 2) ?LM))
        (measure ?S
            (MeasureFn ?V1 ?VM))
        (measure ?O
            (MeasureFn ?V2 ?VM))
        (instance ?LM LengthMeasure)
        (instance ?VM VolumeMeasure))
    (equal ?V1 ?V2))		 Mid-level-ontology.kif 17021-17032
(=>
    (and
        (instance ?Particle Boulder)
        (approximateDiameter ?Particle
            (MeasureFn ?Size Millimeter)))
    (greaterThan ?Size 256))		 Geography.kif 6841-6846
(=>
    (and
        (instance ?Particle Cobble)
        (approximateDiameter ?Particle
            (MeasureFn ?Size Millimeter)))
    (and
        (greaterThan 256 ?Size)
        (greaterThan ?Size 64)))		 Geography.kif 6818-6825
(=>
    (and
        (instance ?Particle Pebble)
        (approximateDiameter ?Particle
            (MeasureFn ?Size Millimeter)))
    (and
        (greaterThan 64 ?Size)
        (greaterThan ?Size 2)))		 Geography.kif 6795-6802
(=>
    (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 17045-17053
(=>
    (and
        (part ?Particle ?Soil)
        (instance ?Soil Sand)
        (approximateDiameter ?Particle
            (MeasureFn ?Size Millimeter)))
    (and
        (greaterThan 2 ?Size)
        (greaterThan ?Size 0.062)))		 Geography.kif 4213-4221
(=>
    (and
        (part ?Particle ?Soil)
        (instance ?Soil Silt)
        (approximateDiameter ?Particle
            (MeasureFn ?Size Millimeter)))
    (and
        (greaterThan 0.062 ?Size)
        (greaterThan ?Size 0.004)))		 Geography.kif 4236-4244

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


(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (member ?O ?S))
    (approximateDiameter ?O ?Q))		 Mid-level-ontology.kif 30224-30229
(=>
    (and
        (memberMeasure ?S ApproximateDiameter ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (approximateDiameter ?O ?Q))		 Mid-level-ontology.kif 30231-30236
(=>
    (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 2796-2808
(=>
    (instance ?PM ParticulateMatter)
    (exists (?P ?ATMOSPHERE ?S)
        (and
            (instance ?ATMOSPHERE AtmosphericRegion)
            (located ?PM ?ATMOSPHERE)
            (part ?P ?PM)
            (approximateDiameter ?P
                (MeasureFn ?S Micrometer))
            (greaterThan 1000 ?S))))		 Geography.kif 6971-6980
(=>
    (instance ?Z Colloid)
    (exists (?P ?S)
        (and
            (part ?P ?Z)
            (attribute ?P Insoluble)
            (approximateDiameter ?P
                (MeasureFn ?S Nanometer))
            (greaterThan 977 ?S)
            (greaterThan ?S 0.95))))		 Geography.kif 6941-6950


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