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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Air
Air(air)
air, hot_air, liquid_air

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


s__documentation(s__Air,s__ChineseLanguage,'"Air 是组成环绕地球大气层的气体物质。"')

chinese_format.kif 3471-3471
s__documentation(s__Air,s__EnglishLanguage,'"Air is the gaseous stuff that makes up the atmosphere surrounding Earth."')

Merge.kif 14099-14100
s__externalImage(s__Air,'"http://upload.wikimedia.org/wikipedia/commons/7/7a/Atmosphere_gas_proportions.svg"')

pictureList.kif 2434-2434
s__externalImage(s__Air,'"http://upload.wikimedia.org/wikipedia/commons/b/be/Top_of_Atmosphere.jpg"')

pictureList.kif 2538-2538
s__instance(s__GasMixture,s__SetOrClass)

s__instance(s__Air,s__SetOrClass)

s__subclass(s__Air,s__GasMixture)

Merge.kif 14098-14098 Air is a subclass of gas mixture

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


s__subclass(s__AirStream,s__Air)

s__instance(s__Air,s__SetOrClass)

s__instance(s__AirStream,s__SetOrClass)

Weather.kif 63-63 Air stream is a subclass of air
s__termFormat(s__ChineseLanguage,s__Air,'"空气"')

domainEnglishFormat.kif 6105-6105
s__termFormat(s__ChineseTraditionalLanguage,s__Air,'"空氣"')

domainEnglishFormat.kif 6104-6104
s__termFormat(s__EnglishLanguage,s__Air,'"air"')

domainEnglishFormat.kif 6103-6103

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


( ! [V__P,V__C,V__AIR] :
   ((s__instance(V__P,s__Object) =>
       (((s__instance(V__C,s__Colloid) &
             s__part(V__P,V__C)
           &
           (s__attribute(V__P,s__Solid) |
             s__attribute(V__P,s__Liquid))
           &
           s__instance(V__AIR,s__Air) &
           s__part(V__AIR,V__C))
       =>
       (s__instance(V__C,s__Aerosal)))))
)
)

Geography.kif 7103-7112
No TPTP formula. May not be expressible in strict first order. Cars.kif 1328-1362
( ! [V__A,V__R,V__T,V__TRAN] :
   (((s__instance(V__T,s__Tornado) &
         s__instance(V__R,s__Rotating) &
         s__instance(V__A,s__Air) &
         s__instance(V__TRAN,s__Translocation) &
         s__subProcess(V__R,V__T)
       &
       s__subProcess(V__TRAN,V__R)
     &
     s__patient(V__TRAN,V__A)
   &
   s__direction(V__TRAN,s__Horizontal))
=>
(( ? [V__G, V__FUNNEL, V__TOP, V__BOTTOM, V__C, V__BASE] :
     ((s__instance(V__FUNNEL,s__SelfConnectedObject) &
         s__instance(V__TOP,s__SelfConnectedObject) &
         s__instance(V__BOTTOM,s__SelfConnectedObject) &
         s__instance(V__BASE,s__SelfConnectedObject) &
         (s__instance(V__G,s__GeographicArea) &
           s__eventLocated(V__T,V__G)
         &
         s__part(V__FUNNEL,V__A)
       &
       s__attribute(V__FUNNEL,s__ConeSegment) &
       s__top(V__TOP,V__FUNNEL)
     &
     s__bottom(V__BOTTOM,V__FUNNEL)
   &
   s__instance(V__C,s__Cloud) &
   s__bottom(V__BASE,V__C)
&
s__meetsSpatially(V__TOP,V__BASE)
&
s__meetsSpatially(V__BOTTOM,V__G)))))))
)
)

Weather.kif 1650-1671
( ! [V__AIR] :
   ((s__instance(V__AIR,s__Air) =>
       (( ? [V__PART] :
           ((s__instance(V__PART,s__Nitrogen) &
               s__part(V__PART,V__AIR))))))
   )
)

Weather.kif 55-60
( ! [V__AIR] :
   ((s__instance(V__AIR,s__Air) =>
       (( ? [V__PART] :
           ((s__instance(V__PART,s__Oxygen) &
               s__part(V__PART,V__AIR))))))
   )
)

Weather.kif 48-53
( ! [V__AIR] :
   ((s__instance(V__AIR,s__Air) =>
       (s__piece(V__AIR,s__EarthsAtmosphere)))
     )
   )

Weather.kif 37-39

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


( ! [V__LECS,V__C] :
   (((s__instance(V__LECS,s__AirEngineCoolingSystem) &
         s__instance(V__C,s__Cooling) &
         s__instrument(V__C,V__LECS))
     =>
     (( ? [V__A] :
         ((s__instance(V__A,s__Air) &
             s__objectTransferred(V__C,V__A))))))
)
)

Cars.kif 2196-2204
( ! [V__AERATE] :
   ((s__instance(V__AERATE,s__Aerating) =>
       (( ? [V__AIR, V__S] :
           ((s__instance(V__S,s__Object) &
               (s__patient(V__AERATE,V__AIR)
               &
               s__instance(V__AIR,s__Air) &
               s__patient(V__AERATE,V__S)
             &
             s__attribute(V__S,s__Liquid)))))))
)
)

Mid-level-ontology.kif 1836-1843
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1823-1831
No TPTP formula. May not be expressible in strict first order. Cars.kif 965-971
No TPTP formula. May not be expressible in strict first order. Cars.kif 973-983
( ! [V__AIRSPACE] :
   ((s__instance(V__AIRSPACE,s__AtmosphericRegion) =>
       (( ? [V__AIR] :
           ((s__instance(V__AIR,s__Air) &
               s__part(V__AIR,V__AIRSPACE))))))
   )
)

Weather.kif 41-46
No TPTP formula. May not be expressible in strict first order. Cars.kif 1218-1226
No TPTP formula. May not be expressible in strict first order. Cars.kif 1533-1543
( ! [V__TRAN,V__T,V__CS] :
   (((s__instance(V__TRAN,s__Process) &
         s__instance(V__T,s__Process))
       =>
       ((s__instance(V__CS,s__CyclonicStorm) =>
           (( ? [V__R, V__A] :
               ((s__instance(V__R,s__Rotating) &
                   s__instance(V__A,s__Air) &
                   s__instance(V__TRAN,s__Translocation) &
                   s__subProcess(V__R,V__T)
                 &
                 s__subProcess(V__TRAN,V__R)
               &
               s__patient(V__TRAN,V__A)
             &
             s__direction(V__TRAN,s__Horizontal))))))))
)
)

Weather.kif 560-570
No TPTP formula. May not be expressible in strict first order. Cars.kif 1112-1124
No TPTP formula. May not be expressible in strict first order. Cars.kif 943-958
( ! [V__FRONT] :
   ((s__instance(V__FRONT,s__StormFront) =>
       (( ? [V__AIR1, V__AIR2] :
           ((s__instance(V__AIR1,s__Air) &
               s__instance(V__AIR2,s__Air) &
               s__between(V__AIR1,V__FRONT,V__AIR2))))))
   )
)

Mid-level-ontology.kif 8350-8356
( ! [V__HABOOB] :
   ((s__instance(V__HABOOB,s__Haboob) =>
       (( ? [V__TS, V__DM, V__A] :
           ((s__instance(V__TS,s__Thunderstorm) &
               s__instance(V__DM,s__MotionDownward) &
               s__instance(V__A,s__Air) &
               s__patient(V__DM,V__A)
             &
             s__subProcess(V__DM,V__TS)
           &
           s__causes(V__DM,V__HABOOB))))))
)
)

Weather.kif 1316-1325
No TPTP formula. May not be expressible in strict first order. Cars.kif 3317-3327
No TPTP formula. May not be expressible in strict first order. Cars.kif 5215-5227
No TPTP formula. May not be expressible in strict first order. Weather.kif 2909-2922
( ! [V__WIND] :
   ((s__instance(V__WIND,s__Wind) =>
       (( ? [V__AIR] :
           ((s__patient(V__WIND,V__AIR)
             &
             s__instance(V__AIR,s__Air))))))
   )
)

Merge.kif 14102-14107
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24954-24964


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