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 7737-7738
(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 7733-7735
(partition ParticulateMatter CoarseParticulateMatter FineParticulateMatter) Geography.kif 7742-7742 ParticulateMatter は CoarseParticulateMatter + FineParticulateMatter に exhaustively partitioned
(roomTempState ParticulateMatter Solid) Mid-level-ontology.kif 33577-33577 roomTempState ParticulateMatter and Solid
(subclass ParticulateMatter Mixture) Geography.kif 7740-7740 ParticulateMatter は 混合物 の subclass では

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


(subclass CoarseParticulateMatter ParticulateMatter) Geography.kif 7769-7769 CoarseParticulateMatter は ParticulateMatter の subclass では
(subclass FineParticulateMatter ParticulateMatter) Geography.kif 7798-7798 FineParticulateMatter は ParticulateMatter の subclass では
(termFormat ChineseLanguage ParticulateMatter "悬浮颗粒") Geography.kif 7748-7748 FineParticulateMatter は ParticulateMatter の subclass では
(termFormat EnglishLanguage ParticulateMatter "PM") Geography.kif 7746-7746 FineParticulateMatter は ParticulateMatter の subclass では
(termFormat EnglishLanguage ParticulateMatter "particulate matter") Geography.kif 7744-7744 FineParticulateMatter は ParticulateMatter の subclass では

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 7777-7788 オブジェクト は ParticulateMatter の instance では 自己接続オブジェクト は オブジェクト の part では approximateDiameter 自己接続オブジェクト and 実数 の Micrometer(s) 10.0 は 実数 より greater では　 実数 は 2.5 より greater では　 オブジェクト10 オブジェクト10 は CoarseParticulateMatter の instance では オブジェクト10 は オブジェクト の part では
(<=>
    (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 7806-7816 オブジェクト は ParticulateMatter の instance では 自己接続オブジェクト は オブジェクト の part では approximateDiameter 自己接続オブジェクト and 実数 の Micrometer(s) 実数 は 2.5 greater では　 オブジェクト25 オブジェクト25 は FineParticulateMatter の instance では オブジェクト25 は オブジェクト の part では
(=>
    (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 7750-7759

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 1991-2012


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