| Chromatography(色谱) | |
| appearance as argument number 1 |
|
|
| (documentation Chromatography EnglishLanguage "Processes of Separating a LiquidMixture or a GasMixture into some or all of the PureSubstances that comprise it.") | Mid-level-ontology.kif 18995-18996 | |
| (subclass Chromatography Separating) | Mid-level-ontology.kif 18994-18994 | 色谱 是 分开 的 subclass |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Chromatography "色谱") | domainEnglishFormat.kif 14751-14751 | |
| (termFormat ChineseTraditionalLanguage Chromatography "色譜") | domainEnglishFormat.kif 14750-14750 | |
| (termFormat EnglishLanguage Chromatography "chromatography") | domainEnglishFormat.kif 14749-14749 |
| antecedent |
|
|
| (=> (instance ?C Chromatography) (exists (?M) (and (resource ?C ?M) (or (instance ?M LiquidMixture) (instance ?M GasMixture))))) |
Mid-level-ontology.kif 18998-19005 | |
| (=> (instance ?C Chromatography) (exists (?S) (and (instance ?S PureSubstance) (result ?C ?S)))) |
Mid-level-ontology.kif 19007-19012 |
|
|
|