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 17566-17567 | |
(instance Gas PhysicalState) | Merge.kif 17564-17564 | 例 加油站 and PhysicalState |
(subAttribute Gas Fluid) | Merge.kif 17565-17565 | 子屬性 加油站 and 流體 |
appearance as argument number 2 |
(roomTempState Argon Gas) | Mid-level-ontology.kif 31468-31468 | roomTempState 氬 and 加油站 |
(roomTempState Arsine Gas) | Mid-level-ontology.kif 31556-31556 | roomTempState 胂 and 加油站 |
(roomTempState BZGas Gas) | Mid-level-ontology.kif 31571-31571 | roomTempState BZ氣體 and 加油站 |
(roomTempState CSGas Gas) | Mid-level-ontology.kif 31590-31590 | roomTempState CS氣 and 加油站 |
(roomTempState CarbonDioxide Gas) | Mid-level-ontology.kif 31574-31574 | roomTempState CarbonDioxide and 加油站 |
(roomTempState ChlorineGas Gas) | Mid-level-ontology.kif 31578-31578 | roomTempState 氯氣 and 加油站 |
(roomTempState Chlorofluorocarbon Gas) | Mid-level-ontology.kif 31579-31579 | roomTempState Chlorofluorocarbon and 加油站 |
(roomTempState Chloropicrin Gas) | Mid-level-ontology.kif 31580-31580 | roomTempState 氯化苦 and 加油站 |
(roomTempState ChokingAgent Gas) | Mid-level-ontology.kif 31581-31581 | roomTempState 窒息劑 and 加油站 |
(roomTempState Diphosgene Gas) | Mid-level-ontology.kif 31594-31594 | roomTempState 雙光氣 and 加油站 |
(roomTempState Exhaust Gas) | Mid-level-ontology.kif 31599-31599 | roomTempState Exhaust and 加油站 |
(roomTempState Fluorine Gas) | Mid-level-ontology.kif 31459-31459 | roomTempState 氟 and 加油站 |
(roomTempState Freon12 Gas) | Mid-level-ontology.kif 31600-31600 | roomTempState Freon12 and 加油站 |
(roomTempState GasMixture Gas) | Mid-level-ontology.kif 31602-31602 | roomTempState 混合氣體 and 加油站 |
(roomTempState GreenhouseGas Gas) | Mid-level-ontology.kif 31608-31608 | roomTempState 溫室氣體 and 加油站 |
(roomTempState Hashish Gas) | Mid-level-ontology.kif 31612-31612 | roomTempState 大麻 and 加油站 |
(roomTempState Helium Gas) | Mid-level-ontology.kif 31451-31451 | roomTempState 氦 and 加油站 |
(roomTempState Heroin Gas) | Mid-level-ontology.kif 31613-31613 | roomTempState 海洛因 and 加油站 |
(roomTempState Hydrogen Gas) | Mid-level-ontology.kif 31450-31450 | roomTempState 氫 and 加油站 |
(roomTempState Krypton Gas) | Mid-level-ontology.kif 31486-31486 | roomTempState 氪 and 加油站 |
(roomTempState LiquefiedPetroleumGas Gas) | Mid-level-ontology.kif 31396-31396 | roomTempState 液化石油氣 and 加油站 |
(roomTempState MustardGas Gas) | Mid-level-ontology.kif 31548-31548 | roomTempState 芥子氣 and 加油站 |
(roomTempState NaturalGas Gas) | Mid-level-ontology.kif 31627-31627 | roomTempState 天然氣 and 加油站 |
(roomTempState Neon Gas) | Mid-level-ontology.kif 31460-31460 | roomTempState 氖 and 加油站 |
(roomTempState NitricOxide Gas) | Mid-level-ontology.kif 31629-31629 | roomTempState NitricOxide 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 17542-17542 | 相反的屬性 固體, 液體, 加油站 and 等離子體 |
appearance as argument number 4 |
(exhaustiveAttribute PhysicalState Solid Liquid Gas Plasma) | Merge.kif 17543-17543 | 固體 是所有的 PhysicalState 的 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 5016-5025 | |
(=> (and (instance ?X Substance) (or (attribute ?X Gas) (attribute ?X Liquid) (attribute ?X Plasma))) (attribute ?X Fluid)) |
Merge.kif 17594-17601 |
consequent |