![]() |
![]() ![]() ![]()
|
![]() |
|
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 |
|
![]() |
![]() |