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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Air
Air

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


(documentation Air ChineseLanguage "Air 是组成环绕地球大气层的气体物质。") chinese_format.kif 3471-3471
(documentation Air EnglishLanguage "Air is the gaseous stuff that makes up the atmosphere surrounding Earth.") Merge.kif 13722-13723
(externalImage Air "http://upload.wikimedia.org/wikipedia/commons/7/7a/Atmosphere_gas_proportions.svg") pictureList.kif 2434-2434
(externalImage Air "http://upload.wikimedia.org/wikipedia/commons/b/be/Top_of_Atmosphere.jpg") pictureList.kif 2538-2538
(subclass Air GasMixture) Merge.kif 13721-13721 subclass Air and GasMixture

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


(subclass AirStream Air) Weather.kif 63-63 subclass AirStream and Air
(termFormat ChineseLanguage Air "空气") domainEnglishFormat.kif 6103-6103
(termFormat ChineseTraditionalLanguage Air "空氣") domainEnglishFormat.kif 6102-6102
(termFormat EnglishLanguage Air "air") domainEnglishFormat.kif 6101-6101

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


(=>
    (and
        (instance ?C Colloid)
        (part ?P ?C)
        (or
            (attribute ?P Solid)
            (attribute ?P Liquid))
        (instance ?AIR Air)
        (part ?AIR ?C))
    (instance ?C Aerosal))
Geography.kif 6911-6920
(=>
    (and
        (instance ?EC EngineChoke)
        (holdsDuring ?FSC1
            (attribute ?EC DeviceOn))
        (holdsDuring ?FSC2
            (attribute ?EC DeviceOff))
        (instance ?C EngineCylinder)
        (capacity ?C ?M)
        (instance ?FSC1 FourStrokeCompression)
        (instance ?FSC2 FourStrokeCompression)
        (eventLocated ?FSC1 ?C)
        (eventLocated ?FSC2 ?C)
        (instance ?A1 Air)
        (instance ?F1 Fuel)
        (part ?A1 ?MIX1)
        (part ?F1 ?MIX1)
        (measure ?MIX1 ?M)
        (instance ?A2 Air)
        (instance ?F2 Fuel)
        (part ?A2 ?MIX2)
        (part ?F2 ?MIX2)
        (measure ?MIX2 ?M)
        (measure ?A1 ?A1M)
        (measure ?A2 ?A2M)
        (measure ?F1 ?F1M)
        (measure ?F2 ?F2M))
    (greaterThan
        (DivisionFn ?A2M ?F2M)
        (DivisionFn ?A1M ?F1M)))
Cars.kif 1315-1344
(=>
    (instance ?AIR Air)
    (exists (?PART)
        (and
            (instance ?PART Nitrogen)
            (part ?PART ?AIR))))
Weather.kif 55-60
(=>
    (instance ?AIR Air)
    (exists (?PART)
        (and
            (instance ?PART Oxygen)
            (part ?PART ?AIR))))
Weather.kif 48-53
(=>
    (instance ?AIR Air)
    (piece ?AIR EarthsAtmosphere))
Weather.kif 37-39

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


(=>
    (and
        (instance ?LECS AirEngineCoolingSystem)
        (instance ?C Cooling)
        (instrument ?C ?LECS))
    (exists (?A)
        (and
            (instance ?A Air)
            (objectTransferred ?C ?A))))
Cars.kif 2169-2177
(=>
    (instance ?AERATE Aerating)
    (exists (?AIR ?S)
        (and
            (patient ?AERATE ?AIR)
            (instance ?AIR Air)
            (patient ?AERATE ?S)
            (attribute ?S Liquid))))
Mid-level-ontology.kif 2354-2361
(=>
    (instance ?AERATOR Aerator)
    (hasPurpose ?AERATOR
        (exists (?COMBINE ?AIR)
            (and
                (instance ?COMBINE Combining)
                (resource ?COMBINE ?AIR)
                (instance ?AIR Air)
                (instrument ?COMBINE ?AERATOR)))))
Mid-level-ontology.kif 2343-2350
(=>
    (instance ?AI AirIntake)
    (hasPurpose ?AI
        (exists (?A)
            (and
                (instance ?A Air)
                (contains ?AI ?A)))))
Cars.kif 956-962
(=>
    (instance ?AI AirIntake)
    (hasPurpose ?AI
        (exists (?A)
            (and
                (instance ?A Air)
                (instance ?E Engine)
                (instance ?T Transfer)
                (origin ?T ?AI)
                (destination ?T ?E)
                (patient ?T ?A)))))
Cars.kif 964-974
(=>
    (instance ?AIRSPACE AtmosphericRegion)
    (exists (?AIR)
        (and
            (instance ?AIR Air)
            (part ?AIR ?AIRSPACE))))
Weather.kif 41-46
(=>
    (instance ?AP AirPump)
    (hasPurpose ?AP
        (exists (?T ?A)
            (and
                (instance ?T Transportation)
                (instance ?A Air)
                (instrument ?T ?AP)
                (patient ?T ?A)))))
Cars.kif 1209-1217
(=>
    (instance ?BA BleedingAir)
    (hasPurpose ?BA
        (exists (?FC ?A)
            (and
                (instance ?FC FluidContainer)
                (instance ?A Air)
                (holdsDuring
                    (ImmediatePastFn ?BA)
                    (contains ?FC ?A))
                (holdsDuring
                    (ImmediateFutureFn ?BA)
                    (not
                        (contains ?FC ?A)))))))
Cars.kif 1515-1525
(=>
    (instance ?FA FuelAtomizer)
    (hasPurpose ?FA
        (exists (?F ?S ?A ?C)
            (and
                (instance ?F Fuel)
                (instance ?S Spraying)
                (instance ?A Air)
                (instance ?C Combustion)
                (patient ?S ?A)
                (patient ?S ?F)
                (resource ?C ?F)
                (resource ?C ?A)))))
Cars.kif 1103-1115
(=>
    (instance ?FILTER AirFilter)
    (hasPurpose ?FILTER
        (exists (?REMOVE ?AIR ?NONAIR ?MIX)
            (and
                (instance ?REMOVE Removing)
                (part ?AIR ?MIX)
                (instance ?AIR Air)
                (not
                    (instance ?NONAIR Air))
                (attribute ?NONAIR Solid)
                (patient ?REMOVE ?NONAIR)
                (part ?NONAIR ?MIX)
                (origin ?REMOVE ?MIX)
                (instance ?MIX Mixture)
                (instrument ?REMOVE ?FILTER)))))
Cars.kif 934-949
(=>
    (instance ?FRONT StormFront)
    (exists (?AIR1 ?AIR2)
        (and
            (instance ?AIR1 Air)
            (instance ?AIR2 Air)
            (between ?AIR1 ?FRONT ?AIR2))))
Mid-level-ontology.kif 8803-8809
(=>
    (instance ?HABOOB Haboob)
    (exists (?TS ?DM ?A)
        (and
            (instance ?TS Thunderstorm)
            (instance ?DM MotionDownward)
            (instance ?A Air)
            (patient ?DM ?A)
            (subProcess ?DM ?TS)
            (causes ?DM ?HABOOB))))
Weather.kif 948-957
(=>
    (instance ?MAS MassAirflowSensor)
    (hasPurpose ?MAS
        (exists (?T ?M ?A)
            (and
                (instance ?T Transfer)
                (instance ?A Air)
                (patient ?T ?A)
                (instance ?M Measuring)
                (patient ?M ?A)
                (instrument ?M ?MAS)))))
Cars.kif 3278-3288
(=>
    (instance ?S Supercharger)
    (hasPurpose ?S
        (exists (?T ?IV ?A)
            (and
                (instance ?T GasMotion)
                (origin ?T ?S)
                (instance ?IV IntakeValve)
                (destination ?T ?IV)
                (instance ?A Air)
                (objectTransferred ?T ?A)
                (holdsDuring
                    (WhenFn ?T)
                    (attribute ?A Pressurized))))))
Cars.kif 5172-5184
(=>
    (instance ?STORM Storm)
    (holdsDuring
        (WhenFn ?STORM)
        (exists (?LOW ?AREA ?AIR ?RISE)
            (and
                (instance ?LOW LowPressureWeatherSystem)
                (instance ?AREA Region)
                (eventLocated ?LOW ?AREA)
                (instance ?AIR Air)
                (instance ?RISE MotionUpward)
                (patient ?RISE ?AIR)
                (eventLocated ?RISE ?AREA)
                (subProcess ?RISE ?LOW)))))
Weather.kif 1442-1455
(=>
    (instance ?WIND Wind)
    (exists (?AIR)
        (and
            (patient ?WIND ?AIR)
            (instance ?AIR Air))))
Merge.kif 13725-13730
(=>
    (instance ?X RoomHeater)
    (hasPurpose ?X
        (exists (?AIR ?HEATING ?ROOM)
            (and
                (instance ?AIR Air)
                (instance ?ROOM Room)
                (located ?AIR ?ROOM)
                (instance ?HEATING Heating)
                (patient ?HEATING ?AIR)
                (instrument ?HEATING ?X)))))
Mid-level-ontology.kif 25004-25014


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners