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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ParticulateMatter
ParticulateMatter

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


(documentation ParticulateMatter ChineseLanguage "ParticulateMatter 悬浮在大气中的微小固体或 液体颗粒, 它的 approximateDiameter 小于 1,000 Micrometer (0.001mm)。") Geography.kif 7469-7470
(documentation ParticulateMatter EnglishLanguage "ParticulateMatter is a mixture of very small solid or liquid matter suspended in Earth's atmosphere with an approximateDiameter of less than 1,000 Micrometers (0.001 mm).") Geography.kif 7465-7467
(partition ParticulateMatter CoarseParticulateMatter FineParticulateMatter) Geography.kif 7474-7474 ParticulateMatter est compl�tement d�compos� en CoarseParticulateMatter + FineParticulateMatter
(roomTempState ParticulateMatter Solid) Mid-level-ontology.kif 33323-33323 roomTempState ParticulateMatter and Solid
(subclass ParticulateMatter Mixture) Geography.kif 7472-7472 ParticulateMatter est une sous-classe de mixture

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


(subclass CoarseParticulateMatter ParticulateMatter) Geography.kif 7501-7501 CoarseParticulateMatter est une sous-classe de ParticulateMatter
(subclass FineParticulateMatter ParticulateMatter) Geography.kif 7530-7530 FineParticulateMatter est une sous-classe de ParticulateMatter
(termFormat ChineseLanguage ParticulateMatter "悬浮颗粒") Geography.kif 7480-7480 FineParticulateMatter est une sous-classe de ParticulateMatter
(termFormat EnglishLanguage ParticulateMatter "PM") Geography.kif 7478-7478 FineParticulateMatter est une sous-classe de ParticulateMatter
(termFormat EnglishLanguage ParticulateMatter "particulate matter") Geography.kif 7476-7476 FineParticulateMatter est une sous-classe de ParticulateMatter

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


(<=>
    (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 7509-7520 Objet est une instance de ParticulateMatter objet en une partie est une partie de objet approximateDiameter objet en une partie and nombre r�el Micrometer(s) 10.0 est plus grand que nombre r�el nombre r�el est plus grand que 2.5 objet10 objet10 est une instance de CoarseParticulateMatter objet10 est une partie de objet
(<=>
    (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 7538-7548 Objet est une instance de ParticulateMatter objet en une partie est une partie de objet approximateDiameter objet en une partie and nombre r�el Micrometer(s) nombre r�el est plus grand ou �gal � 2.5 objet25 objet25 est une instance de FineParticulateMatter objet25 est une partie de objet
(=>
    (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 7482-7491

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


(=>
    (and
        (instance ?DUSTSTORM DustStorm)
        (instance ?WIND Wind)
        (subProcess ?DUSTSTORM ?WIND))
    (exists (?TRANSLOCATE ?PM ?SAND ?A1 ?A2 ?STRONG)
        (and
            (instance ?A1 LandArea)
            (eventLocated ?WIND ?A1)
            (surfaceWindSpeed ?A1
                (MeasureFn ?STRONG KnotUnitOfSpeed))
            (greaterThan ?STRONG 30.0)
            (instance ?TRANSLOCATE Translocation)
            (subProcess ?TRANSLOCATE ?DUSTSTORM)
            (objectTransferred ?TRANSLOCATE ?PM)
            (objectTransferred ?TRANSLOCATE ?SAND)
            (instance ?PM ParticulateMatter)
            (instance ?SAND Sand)
            (instance ?A2 LandArea)
            (destination ?TRANSLOCATE ?A2)
            (not
                (overlapsSpatially ?A1 ?A2)))))		 Weather.kif 1259-1280


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