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 17749-17750 | |
(instance Gas PhysicalState) | Merge.kif 17747-17747 | 加油站 是 物质状态 的 instance |
(subAttribute Gas Fluid) | Merge.kif 17748-17748 | 加油站 是 流体 的 subAttribute |
appearance as argument number 2 |
![]() |
(roomTempState Argon Gas) | Mid-level-ontology.kif 33413-33413 | roomTempState 氩 and 加油站 |
(roomTempState Arsine Gas) | Mid-level-ontology.kif 33501-33501 | roomTempState 胂 and 加油站 |
(roomTempState BZGas Gas) | Mid-level-ontology.kif 33516-33516 | roomTempState BZ气体 and 加油站 |
(roomTempState CSGas Gas) | Mid-level-ontology.kif 33535-33535 | roomTempState CS气 and 加油站 |
(roomTempState CarbonDioxide Gas) | Mid-level-ontology.kif 33519-33519 | roomTempState CarbonDioxide and 加油站 |
(roomTempState ChlorineGas Gas) | Mid-level-ontology.kif 33523-33523 | roomTempState 氯气 and 加油站 |
(roomTempState Chlorofluorocarbon Gas) | Mid-level-ontology.kif 33524-33524 | roomTempState Chlorofluorocarbon and 加油站 |
(roomTempState Chloropicrin Gas) | Mid-level-ontology.kif 33525-33525 | roomTempState 氯化苦 and 加油站 |
(roomTempState ChokingAgent Gas) | Mid-level-ontology.kif 33526-33526 | roomTempState 窒息剂 and 加油站 |
(roomTempState Diphosgene Gas) | Mid-level-ontology.kif 33539-33539 | roomTempState 双光气 and 加油站 |
(roomTempState Exhaust Gas) | Mid-level-ontology.kif 33544-33544 | roomTempState Exhaust and 加油站 |
(roomTempState Fluorine Gas) | Mid-level-ontology.kif 33404-33404 | roomTempState 氟 and 加油站 |
(roomTempState Freon12 Gas) | Mid-level-ontology.kif 33545-33545 | roomTempState Freon12 and 加油站 |
(roomTempState GasMixture Gas) | Mid-level-ontology.kif 33547-33547 | roomTempState 混合气体 and 加油站 |
(roomTempState GreenhouseGas Gas) | Mid-level-ontology.kif 33553-33553 | roomTempState 温室气体 and 加油站 |
(roomTempState Hashish Gas) | Mid-level-ontology.kif 33557-33557 | roomTempState 大麻 and 加油站 |
(roomTempState Helium Gas) | Mid-level-ontology.kif 33396-33396 | roomTempState 氦 and 加油站 |
(roomTempState Heroin Gas) | Mid-level-ontology.kif 33558-33558 | roomTempState 海洛因 and 加油站 |
(roomTempState Hydrogen Gas) | Mid-level-ontology.kif 33395-33395 | roomTempState 氢 and 加油站 |
(roomTempState Krypton Gas) | Mid-level-ontology.kif 33431-33431 | roomTempState 氪 and 加油站 |
(roomTempState LiquefiedPetroleumGas Gas) | Mid-level-ontology.kif 33341-33341 | roomTempState 液化石油气 and 加油站 |
(roomTempState MustardGas Gas) | Mid-level-ontology.kif 33493-33493 | roomTempState 芥子气 and 加油站 |
(roomTempState NaturalGas Gas) | Mid-level-ontology.kif 33572-33572 | roomTempState 天然气 and 加油站 |
(roomTempState Neon Gas) | Mid-level-ontology.kif 33405-33405 | roomTempState 氖 and 加油站 |
(roomTempState NitricOxide Gas) | Mid-level-ontology.kif 33574-33574 | roomTempState 一氧化氮 and 加油站 |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 3 |
![]() |
(contraryAttribute Solid Liquid Gas Plasma) | Merge.kif 17725-17725 | 固体 是 液体 的相反 |
appearance as argument number 4 |
![]() |
(exhaustiveAttribute PhysicalState Solid Liquid Gas Plasma) | Merge.kif 17726-17726 | 固体 是所有的 物质状态 的 attributes |
antecedent |
![]() |
(=> (and (instance ?B Bubble) (not (exists (?X ?S) (and (attribute ?X ?S) (not (equal ?X Gas)) (meetsSpatially ?X ?B))))) (attribute ?B ConvexRoundShape)) |
Mid-level-ontology.kif 5953-5962 | |
(=> (and (instance ?X Substance) (or (attribute ?X Gas) (attribute ?X Liquid) (attribute ?X Plasma))) (attribute ?X Fluid)) |
Merge.kif 17777-17784 |
consequent |
![]() |
![]() |
![]() |