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 | Gas e' uma instancia de Estado Fisico |
(subAttribute Gas Fluid) | Merge.kif 17565-17565 | Gas e' um sub-atributo de Fluid |
appearance as argument number 2 |
appearance as argument number 3 |
(contraryAttribute Solid Liquid Gas Plasma) | Merge.kif 17542-17542 | Solid e' &o oposto de Liquid |
appearance as argument number 4 |
(exhaustiveAttribute PhysicalState Solid Liquid Gas Plasma) | Merge.kif 17543-17543 | exhaustiveAttribute Estado Fisico, Solid, Liquid, Gas and Plasma |
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 |