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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Gas
Gas(gas)VX_gas, aeriform, airlike, compressed_gas, gas, gaseous, gaseous_state, gaseousness, gassy, ideal_gas, inhalant, mephitis, miasmal, miasmic, nerve_agent, nerve_gas, ozone, perfect_gas, phosphine, poison_gas, propene, propylene, sewer_gas, smoggy, vaporific, vaporish, vaporous, vapourific, vapourish, vapourous

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


s__documentation(s__Gas,s__ChineseLanguage,'"这是如果一个 Object 的体积和形状都不是固定的话,那么它的 Attribute 便是属于 Gas。"')

chinese_format.kif 3930-3931
s__documentation(s__Gas,s__EnglishLanguage,'"An Object has the Attribute of Gas if it has neither a fixed volume nor a fixed shape."')

Merge.kif 16864-16865
s__instance(s__Gas,s__PhysicalState)

s__instance(s__PhysicalState,s__SetOrClass)

Merge.kif 16862-16862 Gas is an instance of physical state
s__subAttribute(s__Gas,s__Fluid)

Merge.kif 16863-16863 Gas is a subattribute of fluid

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


s__instance(s__GreenhouseGas,s__SetOrClass)

s__instance(s__Gas,s__SetOrClass)

s__subclass(s__GreenhouseGas,s__Gas)

Geography.kif 2698-2698 Greenhouse gas is a subclass of gas
s__termFormat(s__ChineseLanguage,s__Gas,'"加油站"')

domainEnglishFormat.kif 25503-25503
s__termFormat(s__ChineseTraditionalLanguage,s__Gas,'"加油站"')

domainEnglishFormat.kif 25502-25502
s__termFormat(s__EnglishLanguage,s__Gas,'"gas"')

domainEnglishFormat.kif 25501-25501

appearance as argument number 3
-------------------------


s__contraryAttribute__4(s__Solid,s__Liquid,s__Gas,s__Plasma)

Merge.kif 16835-16835 Solid is the opposite of liquid

appearance as argument number 5
-------------------------


s__exhaustiveAttribute__6(s__PhysicalState,s__Solid,s__Fluid,s__Liquid,s__Gas,s__Plasma)

Merge.kif 16836-16836 Solid are all the attributes of physical state

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


( ! [V__B] :
   (((s__instance(V__B,s__Bubble) &
         ~(( ? [V__X, V__S] :
             ((s__instance(V__X,s__Object) &
                 s__instance(V__S,s__Attribute) &
                 (s__attribute(V__X,V__S)
                 &
                 ~((V__X = s__Gas))
                   &
                   s__meetsSpatially(V__X,V__B)))))))
     =>
     (s__attribute(V__B,s__RoundShape)))
   )
)

Mid-level-ontology.kif 4715-4724

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13210-13223
( ! [V__AR,V__AS,V__AIR] :
   (((s__instance(V__AR,s__Object) &
         s__instance(V__AIR,s__Physical))
       =>
       (((s__instance(V__AS,s__AirStream) &
             s__located(V__AIR,V__AS))
         =>
         (s__attribute(V__AR,s__Gas)))))
   )
)

Weather.kif 69-73
( ! [V__P,V__B] :
   ((s__instance(V__P,s__Object) =>
       (((s__instance(V__B,s__Bubble) &
             s__interiorPart(V__P,V__B))
         =>
         (s__attribute(V__P,s__Gas)))))
   )
)

Mid-level-ontology.kif 4709-4713
No TPTP formula. May not be expressible in strict first order. Merge.kif 13302-13310
No TPTP formula. May not be expressible in strict first order. Merge.kif 13341-13349
No TPTP formula. May not be expressible in strict first order. Geography.kif 6527-6544
No TPTP formula. May not be expressible in strict first order. Merge.kif 13316-13328
( ! [V__OBJ,V__MOTION] :
   ((s__instance(V__OBJ,s__Object) =>
       (((s__instance(V__MOTION,s__GasMotion) &
             s__patient(V__MOTION,V__OBJ))
         =>
         (s__attribute(V__OBJ,s__Gas)))))
   )
)

Merge.kif 10806-10810
No TPTP formula. May not be expressible in strict first order. Geography.kif 6579-6596
( ! [V__PRES,V__X,V__BOIL,V__Y,V__TEMP] :
   (((s__instance(V__PRES,s__RealNumber) &
         s__instance(V__X,s__Object) &
         s__instance(V__BOIL,s__RealNumber) &
         s__instance(V__Y,s__Class) &
         s__subclass(V__Y,s__PureSubstance) &
         s__instance(V__TEMP,s__RealNumber))
       =>
       (((s__instance(V__X,V__Y)
           &
           s__subclass(V__Y,s__PureSubstance) &
           s__barometricPressure(V__X,s__MeasureFn(V__PRES,s__InchMercury))
         &
         s__greaterThan(n__29_92,V__PRES)
       &
       s__boilingPoint(V__Y,s__MeasureFn(V__BOIL,s__KelvinDegree))
     &
     s__measure(V__X,s__MeasureFn(V__TEMP,s__KelvinDegree))
   &
   s__greaterThan(V__TEMP,V__BOIL))
=>
(s__attribute(V__X,s__Gas)))))
)
)

Merge.kif 13167-13176
No TPTP formula. May not be expressible in strict first order. Geography.kif 6746-6752
No TPTP formula. May not be expressible in strict first order. Geography.kif 6771-6777
No TPTP formula. May not be expressible in strict first order. Geography.kif 6711-6717
No TPTP formula. May not be expressible in strict first order. Cars.kif 3597-3603
( ! [V__B] :
   ((s__instance(V__B,s__Bloating) =>
       (( ? [V__P, V__S, V__I, V__G] :
           ((s__instance(V__P,s__Agent) &
               (s__experiencer(V__B,V__P)
               &
               s__instance(V__G,s__Gas) &
               ((s__part(V__I,V__P)
                 &
                 s__instance(V__I,s__Intestine) &
                 s__contains(V__I,V__G))
             |
             (s__part(V__S,V__P)
             &
             s__instance(V__S,s__Stomach) &
             s__contains(V__S,V__G)))))))))
)
)

Mid-level-ontology.kif 6104-6118
( ! [V__E] :
   ((s__instance(V__E,s__Exhaust) =>
       (( ? [V__S, V__G, V__C] :
           ((s__instance(V__S,s__Object) &
               s__instance(V__G,s__Object) &
               (s__instance(V__C,s__Combustion) &
                 s__attribute(V__S,s__Solid) &
                 s__attribute(V__G,s__Gas) &
                 s__part(V__S,V__E)
               &
               s__part(V__G,V__E)
             &
             s__result(V__C,V__E)))))))
)
)

Cars.kif 1150-1159
( ! [V__GAS] :
   ((s__instance(V__GAS,s__NaturalGas) =>
       (s__attribute(V__GAS,s__Gas)))
     )
   )

Geography.kif 2011-2013
No TPTP formula. May not be expressible in strict first order. Cars.kif 5177-5185
No TPTP formula. May not be expressible in strict first order. Cars.kif 3610-3626
( ! [V__MIX] :
   ((s__instance(V__MIX,s__GasMixture) =>
       (( ? [V__PART] :
           ((s__instance(V__PART,s__Object) &
               (s__part(V__PART,V__MIX)
               &
               s__attribute(V__PART,s__Gas)))))))
   )
)

Merge.kif 14088-14093
( ! [V__S] :
   ((s__instance(V__S,s__Spark) =>
       (( ? [V__E, V__G] :
           ((s__instance(V__E,s__Electricity) &
               s__patient(V__S,V__E)
             &
             s__instance(V__G,s__Substance) &
             s__attribute(V__G,s__Gas) &
             s__eventLocated(V__S,V__G))))))
)
)

Cars.kif 424-432
( ! [V__S] :
   ((s__instance(V__S,s__Spraying) =>
       (( ? [V__G, V__L, V__M] :
           ((s__instance(V__G,s__Object) &
               s__instance(V__L,s__Object) &
               (s__attribute(V__G,s__Gas) &
                 s__attribute(V__L,s__Liquid) &
                 s__instance(V__M,s__GasMixture) &
                 s__part(V__M,V__G)
               &
               s__part(V__M,V__L)
             &
             s__patient(V__S,V__G)
           &
           s__patient(V__S,V__L)
         &
         s__result(V__S,V__M)))))))
)
)

Cars.kif 1092-1103
( ! [V__STEAM] :
   ((s__instance(V__STEAM,s__Steam) =>
       (( ? [V__BOIL, V__WATER] :
           ((s__instance(V__BOIL,s__Boiling) &
               s__instance(V__WATER,s__Water) &
               s__patient(V__BOIL,V__WATER)
             &
             s__result(V__BOIL,V__STEAM)
           &
           s__attribute(V__STEAM,s__Gas))))))
)
)

Mid-level-ontology.kif 24687-24695


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