Gas(加油站) | ![]() |
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 17311-17312 | |
(instance Gas PhysicalState) | Merge.kif 17309-17309 | 加油站 是 物质状态 的 instance |
(subAttribute Gas Fluid) | Merge.kif 17310-17310 | 加油站 是 流体 的 subAttribute |
appearance as argument number 2 |
![]() |
(subclass GreenhouseGas Gas) | Geography.kif 2739-2739 | 温室气体 是 加油站 的 subclass |
(termFormat ChineseLanguage Gas "加油站") | domainEnglishFormat.kif 25503-25503 | |
(termFormat ChineseTraditionalLanguage Gas "加油站") | domainEnglishFormat.kif 25502-25502 | |
(termFormat EnglishLanguage Gas "gas") | domainEnglishFormat.kif 25501-25501 |
appearance as argument number 3 |
![]() |
(contraryAttribute Solid Liquid Gas Plasma) | Merge.kif 17282-17282 | 固体 是 液体 的相反 |
appearance as argument number 5 |
![]() |
(exhaustiveAttribute PhysicalState Solid Fluid Liquid Gas Plasma) | Merge.kif 17283-17283 | 固体 是所有的 物质状态 的 attributes |
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 4738-4747 |
consequent |
![]() |
![]() |
![]() |