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 17328-17328
(documentation approximateDiameter EnglishLanguage "The diameter of an object if it were a perfect sphere of the same volume") Mid-level-ontology.kif 17326-17327
(domain approximateDiameter 1 SelfConnectedObject) Mid-level-ontology.kif 17333-17333 domain approximateDiameter, 1 and SelfConnectedObject
(domain approximateDiameter 2 LengthMeasure) Mid-level-ontology.kif 17334-17334 domain approximateDiameter, 2 and LengthMeasure
(instance approximateDiameter BinaryPredicate) Mid-level-ontology.kif 17336-17336 instance approximateDiameter and BinaryPredicate
(instance approximateDiameter SingleValuedRelation) Mid-level-ontology.kif 17337-17337 instance approximateDiameter and SingleValuedRelation
(instance approximateDiameter TotalValuedRelation) Mid-level-ontology.kif 17338-17338 instance approximateDiameter and TotalValuedRelation

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

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


(<=>
    (and
        (instance ?LD LiquidDrop)
        (approximateDiameter ?LD
            (MeasureFn ?S Micrometer))
        (lessThan 500.0 ?S))
    (instance ?LD Droplet))		 Geography.kif 7240-7246 instance SelfConnectedObject and LiquidDrop approximateDiameter SelfConnectedObject and MeasureFn RealNumber and Micrometer lessThan 500.0 and RealNumber instance SelfConnectedObject and Droplet
(<=>
    (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 instance Object and ParticulateMatter part SelfConnectedObject and Object approximateDiameter SelfConnectedObject and MeasureFn RealNumber and Micrometer greaterThan 10.0 and RealNumber greaterThan RealNumber and 2.5 Object0 instance Object0 and CoarseParticulateMatter part Object0 and Object
(<=>
    (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 instance Object and ParticulateMatter part SelfConnectedObject and Object approximateDiameter SelfConnectedObject and MeasureFn RealNumber and Micrometer greaterThanOrEqualTo RealNumber and 2.5 Object5 instance Object5 and FineParticulateMatter part Object5 and Object
(=>
    (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 17340-17351
(=>
    (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 17364-17372
(=>
    (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 30555-30560
(=>
    (and
        (memberMeasure ?S ApproximateDiameter ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (approximateDiameter ?O ?Q))		 Mid-level-ontology.kif 30562-30567
(=>
    (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