|
|
   CombinationBulkOilCarrierShip
|
|
|
| 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 19672-19673 | |
| (subclass Chromatography Separating) | Mid-level-ontology.kif 19671-19671 |
| 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 19675-19682 | |
| (=> (instance ?C Chromatography) (exists (?S) (and (instance ?S PureSubstance) (result ?C ?S)))) |
Mid-level-ontology.kif 19684-19689 |
|
|
|