|
|
   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 19427-19428 | |
| (subclass Chromatography Separating) | Mid-level-ontology.kif 19426-19426 | Chromatography is a subclass of separating |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Chromatography "色谱") | domainEnglishFormat.kif 14746-14746 | |
| (termFormat ChineseTraditionalLanguage Chromatography "色譜") | domainEnglishFormat.kif 14745-14745 | |
| (termFormat EnglishLanguage Chromatography "chromatography") | domainEnglishFormat.kif 14744-14744 |
| antecedent |
|
|
| (=> (instance ?C Chromatography) (exists (?M) (and (resource ?C ?M) (or (instance ?M LiquidMixture) (instance ?M GasMixture))))) |
Mid-level-ontology.kif 19430-19437 |
|
| (=> (instance ?C Chromatography) (exists (?S) (and (instance ?S PureSubstance) (result ?C ?S)))) |
Mid-level-ontology.kif 19439-19444 |
|
|
|
|