TreeView Knowledge Base Browser

appearance as argument number 1

(documentation ParticulateMatter ChineseLanguage "ParticulateMatter 悬浮在大气中的微小固体或液体颗粒, 它的 approximateDiameter 小于 1,000 Micrometer (0.001mm)。")	Geography.kif 7116-7117
(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 7112-7114
(partition ParticulateMatter CoarseParticulateMatter FineParticulateMatter)	Geography.kif 7121-7121	partition ParticulateMatter, CoarseParticulateMatter and FineParticulateMatter
(subclass ParticulateMatter Mixture)	Geography.kif 7119-7119	subclass ParticulateMatter and Mixture

appearance as argument number 2

(subclass CoarseParticulateMatter ParticulateMatter)	Geography.kif 7148-7148	subclass CoarseParticulateMatter and ParticulateMatter
(subclass FineParticulateMatter ParticulateMatter)	Geography.kif 7177-7177	subclass FineParticulateMatter and ParticulateMatter
(termFormat ChineseLanguage ParticulateMatter "悬浮颗粒")	Geography.kif 7127-7127
(termFormat EnglishLanguage ParticulateMatter "PM")	Geography.kif 7125-7125
(termFormat EnglishLanguage ParticulateMatter "particulate matter")	Geography.kif 7123-7123

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 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
(=> (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 Object and ParticulateMatter SelfConnectedObject Object and RealNumber instance Object and AtmosphericRegion located Object and Object part SelfConnectedObject and Object approximateDiameter SelfConnectedObject and MeasureFn RealNumber and Micrometer greaterThan 1000.0 and RealNumber

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 1274-1295

instance Process and DustStorm instance Process and Wind subProcess Process and Process
Transfer Object, Object, Object, Entity and RealNumber instance Object and LandArea eventLocated Process and Object surfaceWindSpeed Object and MeasureFn RealNumber and KnotUnitOfSpeed greaterThan RealNumber and 30.0 instance Transfer and Translocation subProcess Transfer and Process objectTransferred Transfer and Object objectTransferred Transfer and Object instance Object and ParticulateMatter instance Object and Sand instance Entity and LandArea destination Transfer and Entity overlapsSpatially Object and Entity

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

KB Term:			Term intersection

English Word: