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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - approximateDiameter
approximateDiameter

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


(documentation approximateDiameter ChineseLanguage "这是假设一个为和它体积相同的完美球体的直径。") Mid-level-ontology.kif 15731-15731
(documentation approximateDiameter EnglishLanguage "The diameter of an object if it were a perfect sphere of the same volume") Mid-level-ontology.kif 15729-15730
(domain approximateDiameter 1 SelfConnectedObject) Mid-level-ontology.kif 15736-15736
(domain approximateDiameter 2 LengthMeasure) Mid-level-ontology.kif 15737-15737
(instance approximateDiameter BinaryPredicate) Mid-level-ontology.kif 15739-15739
(instance approximateDiameter SingleValuedRelation) Mid-level-ontology.kif 15740-15740
(instance approximateDiameter TotalValuedRelation) Mid-level-ontology.kif 15741-15741

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

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


(<=>
    (and
        (instance ?LD LiquidDrop)
        (approximateDiameter ?LD
            (MeasureFn ?S Micrometer))
        (lessThan 500 ?S))
    (instance ?LD Droplet))		 Geography.kif 7080-7086
(<=>
    (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 6996-7007
(<=>
    (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 7025-7035
(=>
    (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 15743-15754
(=>
    (and
        (instance ?Particle Boulder)
        (approximateDiameter ?Particle
            (MeasureFn ?Size Millimeter)))
    (greaterThan ?Size 256))		 Geography.kif 6839-6844
(=>
    (and
        (instance ?Particle Cobble)
        (approximateDiameter ?Particle
            (MeasureFn ?Size Millimeter)))
    (and
        (greaterThan 256 ?Size)
        (greaterThan ?Size 64)))		 Geography.kif 6816-6823
(=>
    (and
        (instance ?Particle Pebble)
        (approximateDiameter ?Particle
            (MeasureFn ?Size Millimeter)))
    (and
        (greaterThan 64 ?Size)
        (greaterThan ?Size 2)))		 Geography.kif 6793-6800
(=>
    (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 15767-15775
(=>
    (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
-------------------------


(=>
    (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 6969-6978
(=>
    (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 6939-6948


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