|
|
   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 19594-19595 | |
| (subclass Chromatography Separating) | Mid-level-ontology.kif 19593-19593 | Chromatography is a subclass of separating |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Chromatography "色谱") | domainEnglishFormat.kif 14748-14748 | |
| (termFormat ChineseTraditionalLanguage Chromatography "色譜") | domainEnglishFormat.kif 14747-14747 | |
| (termFormat EnglishLanguage Chromatography "chromatography") | domainEnglishFormat.kif 14746-14746 |
| antecedent |
|
|
| (=> (instance ?C Chromatography) (exists (?M) (and (resource ?C ?M) (or (instance ?M LiquidMixture) (instance ?M GasMixture))))) |
Mid-level-ontology.kif 19597-19604 |
|
| (=> (instance ?C Chromatography) (exists (?S) (and (instance ?S PureSubstance) (result ?C ?S)))) |
Mid-level-ontology.kif 19606-19611 |
|
|
|
|