TreeView Knowledge Base Browser

appearance as argument number 1

(documentation ParticulateMatter ChineseLanguage "ParticulateMatter 悬浮在大气中的微小固体或液体颗粒, 它的 approximateDiameter 小于 1,000 Micrometer (0.001mm)。")	Geography.kif 7400-7401
(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 7396-7398
(partition ParticulateMatter CoarseParticulateMatter FineParticulateMatter)	Geography.kif 7405-7405	ParticulateMatter è esaustivamente partizionato in CoarseParticulateMatter + FineParticulateMatter
(roomTempState ParticulateMatter Solid)	Mid-level-ontology.kif 31632-31632	roomTempState ParticulateMatter and Solid
(subclass ParticulateMatter Mixture)	Geography.kif 7403-7403	ParticulateMatter è una sottoclasse di Mistura

appearance as argument number 2

(subclass CoarseParticulateMatter ParticulateMatter)	Geography.kif 7432-7432	CoarseParticulateMatter è una sottoclasse di ParticulateMatter
(subclass FineParticulateMatter ParticulateMatter)	Geography.kif 7461-7461	FineParticulateMatter è una sottoclasse di ParticulateMatter
(termFormat ChineseLanguage ParticulateMatter "悬浮颗粒")	Geography.kif 7411-7411
(termFormat EnglishLanguage ParticulateMatter "PM")	Geography.kif 7409-7409
(termFormat EnglishLanguage ParticulateMatter "particulate matter")	Geography.kif 7407-7407

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 7440-7451	Oggetto è un' istanza di ParticulateMatter OggettoIntegro è una parte di Oggetto approximateDiameter OggettoIntegro and NumeroReale Micrometer(s 10.0 è più grande di NumeroReale NumeroReale è più grande di 2.5 Oggetto10 Oggetto10 è un' istanza di CoarseParticulateMatter Oggetto10 è una parte di Oggetto
(<=> (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 7469-7479	Oggetto è un' istanza di ParticulateMatter OggettoIntegro è una parte di Oggetto approximateDiameter OggettoIntegro and NumeroReale Micrometer(s NumeroReale è più grande di o uguale a 2.5 Oggetto25 Oggetto25 è un' istanza di FineParticulateMatter Oggetto25 è una parte di Oggetto
(=> (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 7413-7422	Oggetto è un' istanza di ParticulateMatter OggettoIntegro Oggetto and NumeroReale Oggetto è un' istanza di AtmosphericRegion Oggetto è localizzato in Oggetto OggettoIntegro è una parte di Oggetto approximateDiameter OggettoIntegro and NumeroReale Micrometer(s 1000.0 è più grande di NumeroReale

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 1275-1296

Processo è un' istanza di DustStorm Processo è un' istanza di Wind Processo è un sottoprocesso di Processo
Trasferimento Oggetto, Oggetto, Oggetto, Oggetto and NumeroReale Oggetto è un' istanza di SuperficieTerrestre eventLocated Processo and Oggetto surfaceWindSpeed Oggetto and NumeroReale KnotUnitOfSpeed(s NumeroReale è più grande di 30.0 Trasferimento è un' istanza di Translocation Trasferimento è un sottoprocesso di Processo objectTransferred Trasferimento and Oggetto objectTransferred Trasferimento and Oggetto Oggetto è un' istanza di ParticulateMatter Oggetto è un' istanza di Sand Oggetto è un' istanza di SuperficieTerrestre Trasferimento fines in Oggetto Oggetto non si sovrappone a Oggetto

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: