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 |
![]() |
(documentation Gas ChineseLanguage "这是如果一个 Object 的体积和形状都不是固定的话,那么它的 Attribute 便是属于 Gas。") | chinese_format.kif 3930-3931 | |
(documentation Gas EnglishLanguage "An Object has the Attribute of Gas if it has neither a fixed volume nor a fixed shape.") | Merge.kif 16242-16243 | |
(instance Gas PhysicalState) | Merge.kif 16240-16240 | Gas is an instance of physical state |
(subAttribute Gas Fluid) | Merge.kif 16241-16241 | Gas is a subattribute of fluid |
appearance as argument number 2 |
![]() |
(subclass GreenhouseGas Gas) | Geography.kif 2676-2676 | Greenhouse gas is a subclass of gas |
(termFormat ChineseLanguage Gas "加油站") | domainEnglishFormat.kif 25441-25441 | "加油站" is the printable form of gas in ChineseLanguage |
(termFormat ChineseTraditionalLanguage Gas "加油站") | domainEnglishFormat.kif 25440-25440 | "加油站" is the printable form of gas in ChineseTraditionalLanguage |
(termFormat EnglishLanguage Gas "gas") | domainEnglishFormat.kif 25439-25439 | "gas" is the printable form of gas in english language |
appearance as argument number 3 |
![]() |
(contraryAttribute Solid Liquid Gas Plasma) | Merge.kif 16213-16213 | Solid is the opposite of liquid |
appearance as argument number 5 |
![]() |
(exhaustiveAttribute PhysicalState Solid Fluid Liquid Gas Plasma) | Merge.kif 16214-16214 | Solid are all the attributes of physical state |
antecedent |
![]() |
(=> (and (instance ?B Bubble) (not (exists (?X ?S) (and (attribute ?X ?S) (not (equal ?X Gas)) (meetsSpatially ?X ?B))))) (attribute ?B RoundShape)) |
Mid-level-ontology.kif 5313-5322 |
|
consequent |
![]() |
![]() |
![]() |