Fluid |
appearance as argument number 1 |
(documentation Fluid ChineseLanguage "Fluid 是一个没有固定形状 Object 的 PhysicalState 属性,它因此是流动的或是随着容器的形状定型。") | chinese_format.kif 3926-3927 | |
(documentation Fluid EnglishLanguage "Fluid is an InternalAttribute of an Object that does not have a fixed shape and thus tends to flow or to conform to the shape of a container.") | Merge.kif 17612-17614 | |
(externalImage Fluid "http://upload.wikimedia.org/wikipedia/commons/1/1b/ Shock_sink.jpg") | pictureList.kif 6521-6521 | |
(externalImage Fluid "http://upload.wikimedia.org/wikipedia/commons/a/a8/ BernoullisLawDerivationDiagram.png") | pictureList.kif 6016-6016 | |
(externalImage Fluid "http://upload.wikimedia.org/wikipedia/commons/b/b1/ FluidPhysics-Wake.jpg") | pictureList.kif 6520-6520 | |
(instance Fluid InternalAttribute) | Merge.kif 17611-17611 | Fluid は 内部属性 の instance では %n |
appearance as argument number 2 |
(subAttribute Gas Fluid) | Merge.kif 17587-17587 | Gas は Fluid の subattribute では %n |
(subAttribute Liquid Fluid) | Merge.kif 17578-17578 | Liquid は Fluid の subattribute では %n |
(subAttribute Plasma Fluid) | Merge.kif 17605-17605 | Plasma は Fluid の subattribute では %n |
(termFormat ChineseLanguage Fluid "流体") | domainEnglishFormat.kif 24362-24362 | |
(termFormat ChineseTraditionalLanguage Fluid "流體") | domainEnglishFormat.kif 24361-24361 | |
(termFormat EnglishLanguage Fluid "fluid") | domainEnglishFormat.kif 24360-24360 |
antecedent |
consequent |
statement |
(domain flows 1 (ExtensionFn Fluid)) |
Geography.kif 5426-5426 | flows の数値 1 引数は Fluid に対する class の instance では %n |
(domain flows 2 (ExtensionFn Fluid)) |
Geography.kif 5427-5427 | flows の数値 2 引数は Fluid に対する class の instance では %n |
(subclass Atmosphere (ExtensionFn Fluid)) |
Weather.kif 11-11 | Atmosphere は Fluid に対する class の subclass では %n |